FlowLog: Efficient and Extensible Datalog via Incrementality

Hangdong Zhao, Zhenghong Yu, Srinag Rao +3

Datalog-based languages are regaining popularity as a powerful abstraction for expressing recursive computations in domains such as program analysis and graph processing. However,…