FlowLog: Efficient and Extensible Datalog via Incrementality

Summary: FlowLog separates recursive control from per-rule relational plans, combining Datalog-specific optimization with reusable database execution primitives. Built on Differential Dataflow, it supports batch/incremental workloads and recursion-aware Boolean specialization. (summarized by gpt-5.6-luna on Jul 24 2026)

Paper ID: h86951b741e52f0cc
Venue: VLDB
Year: 2026
Pagerank: 4.9605343e-05
Overall Rank: 10,954 | 26.58%
DOI: 10.14778/3778092.3778098
PDF: Download (CC BY-NC-ND 4.0)

Incoming Non-self Citations Over Time

No non-self incoming citations found for this paper in this database.

Authors

1. Hangdong Zhao (Microsoft)
2. Zhenghong Yu (University of Wisconsin)
3. Srinag Rao (University of Wisconsin)
4. Simon Frisk (University of Wisconsin)
5. Zhiwei Fan (Meta)
6. Paraschos Koutris (University of Wisconsin)

BibTeX Citation

@article{zhao_vldb26,
        title = {{FlowLog: Efficient and Extensible Datalog via Incrementality}},
        author = {Zhao, Hangdong and Yu, Zhenghong and Rao, Srinag and Frisk, Simon and Fan, Zhiwei and Koutris, Paraschos},
        journal = {PVLDB},
        series = {{VLDB} '26},
        volume = {19},
        number = {3},
        pages = {361--374},
        doi = {10.14778/3778092.3778098},
        url = {https://doi.org/10.14778/3778092.3778098},
        year = {2026}
}

Incoming Citations (Sorted by Pagerank)

Showing 1 of 1 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
10,435	I Can't Believe It's Not Yannakakis: Pragmatic Bitmap Filters in Microsoft SQL Server	2026	CIDR	4.9605343e-05

Outgoing Citations (Sorted by Pagerank)

Showing 28 of 28 cited papers.

Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.

Rank	Cited Paper	Year	Venue	Pagerank
15	How Good Are Query Optimizers, Really?	2016	VLDB	0.00061463175
17	Provenance Semirings	2007	PODS	0.00059660827
215	Morsel-Driven Parallelism: A NUMA-Aware Query Evaluation Framework for the Many-Core Age	2014	SIGMOD	0.00024554257
357	FAQ: Questions Asked Frequently	2016	PODS	0.00020048899
444	Differential dataflow	2013	CIDR	0.0001815754
1,096	What do Shannon-type Inequalities, Submodular Width, and Disjunctive Datalog have to do with one another?	2017	PODS	0.00012035761
1,603	Adopting Worst-Case Optimal Joins in Relational Database Systems	2020	VLDB	0.00010090639
1,835	Data Management for Data Science: Towards Embedded Analytics	2020	CIDR	9.5293678e-05
2,147	Quickstep: A Data Platform Based on the Scaling-Up Approach	2018	VLDB	8.9595129e-05
2,483	Diagnosis of Asynchronous Discrete Event Systems: Datalog to the Rescue!	2005	PODS	8.3820186e-05
2,638	Convergence of Datalog over (Pre-) Semirings	2022	PODS	8.1763678e-05
2,644	Big Data Analytics with Datalog Queries on Spark	2016	SIGMOD	8.1655777e-05
3,165	Robust Join Processing with Diamond Hardened Joins	2024	VLDB	7.5598778e-05
3,654	User-Defined Operators: Efficiently Integrating Custom Algorithms into Modern Databases	2022	VLDB	7.1147757e-05
4,396	Predicate Transfer: Efficient Pre-Filtering on Multi-Join Queries	2024	CIDR	6.6072577e-05
4,422	Shared Arrangements: practical inter-query sharing for streaming dataflows	2020	VLDB	6.5902096e-05
4,900	Rel: A Programming Language for Relational Data	2025	SIGMOD	6.348695e-05
5,034	Free Join: Unifying Worst-Case Optimal and Traditional Joins	2023	SIGMOD	6.2921115e-05
5,881	Scaling-Up In-Memory Datalog Processing: Observations and Techniques	2019	VLDB	5.94241e-05
6,443	Evaluating Datalog over Semirings: A Grounding-based Approach	2024	PODS	5.7666211e-05
7,167	Optimizing Recursive Queries with Program Synthesis	2022	SIGMOD	5.5794956e-05
7,293	Efficient Identification of Implicit Facts in Incomplete OWL2-EL Knowledge Bases	2014	VLDB	5.5484494e-05
8,376	Optimizing Nested Recursive Queries	2024	SIGMOD	5.3279812e-05
9,047	Optimizing Parallel Recursive Datalog Evaluation on Multicore Machines	2022	SIGMOD	5.2168077e-05
9,144	Automatic Index Selection for Large-Scale Datalog Computation	2019	VLDB	5.2072761e-05
9,553	Optimizing Distributed Protocols with Query Rewrites	2024	SIGMOD	5.1496254e-05
10,187	How DuckDB is USING KEY to Unlock Recursive Query Performance	2025	SIGMOD	5.052396e-05
10,188	Datalog with First-Class Facts	2025	VLDB	5.052396e-05

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	10,188	Datalog with First-Class Facts	2025	VLDB
2	2,638	Convergence of Datalog over (Pre-) Semirings	2022	PODS
3	10,368	Efficient Enumeration of Recursive Plans in Transformation-based Query Optimizers	2024	VLDB
4	6,728	Selective Provenance for Datalog Programs Using Top-K Queries	2015	VLDB
5	8,658	LogiQL: a Declarative Language for Enterprise Applications	2015	PODS
6	9,047	Optimizing Parallel Recursive Datalog Evaluation on Multicore Machines	2022	SIGMOD
7	299	GraphLog: a Visual Formalism for Real Life Recursion	1990	PODS
8	6,325	Automating Incremental and Asynchronous Evaluation for Recursive Aggregate Data Processing	2020	SIGMOD
9	8,376	Optimizing Nested Recursive Queries	2024	SIGMOD
10	5,881	Scaling-Up In-Memory Datalog Processing: Observations and Techniques	2019	VLDB