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.9793485e-05
Overall Rank: 10,884 | 26.83%
DOI: 10.14778/3778092.3778098

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,356	I Can't Believe It's Not Yannakakis: Pragmatic Bitmap Filters in Microsoft SQL Server	2026	CIDR	4.9793485e-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.00061066921
17	Provenance Semirings	2007	PODS	0.00059752575
215	Morsel-Driven Parallelism: A NUMA-Aware Query Evaluation Framework for the Many-Core Age	2014	SIGMOD	0.00024598661
357	FAQ: Questions Asked Frequently	2016	PODS	0.00020020639
442	Differential dataflow	2013	CIDR	0.00018210463
1,091	What do Shannon-type Inequalities, Submodular Width, and Disjunctive Datalog have to do with one another?	2017	PODS	0.00012074152
1,596	Adopting Worst-Case Optimal Joins in Relational Database Systems	2020	VLDB	0.00010127607
1,825	Data Management for Data Science: Towards Embedded Analytics	2020	CIDR	9.5603293e-05
2,137	Quickstep: A Data Platform Based on the Scaling-Up Approach	2018	VLDB	8.9777553e-05
2,473	Diagnosis of Asynchronous Discrete Event Systems: Datalog to the Rescue!	2005	PODS	8.4120524e-05
2,630	Convergence of Datalog over (Pre-) Semirings	2022	PODS	8.2027684e-05
2,635	Big Data Analytics with Datalog Queries on Spark	2016	SIGMOD	8.1965216e-05
3,153	Robust Join Processing with Diamond Hardened Joins	2024	VLDB	7.5883271e-05
3,642	User-Defined Operators: Efficiently Integrating Custom Algorithms into Modern Databases	2022	VLDB	7.1416697e-05
4,369	Predicate Transfer: Efficient Pre-Filtering on Multi-Join Queries	2024	CIDR	6.6315141e-05
4,400	Shared Arrangements: practical inter-query sharing for streaming dataflows	2020	VLDB	6.6151947e-05
4,874	Rel: A Programming Language for Relational Data	2025	SIGMOD	6.3727742e-05
5,010	Free Join: Unifying Worst-Case Optimal and Traditional Joins	2023	SIGMOD	6.3149028e-05
5,867	Scaling-Up In-Memory Datalog Processing: Observations and Techniques	2019	VLDB	5.9649467e-05
6,429	Evaluating Datalog over Semirings: A Grounding-based Approach	2024	PODS	5.7884926e-05
7,139	Optimizing Recursive Queries with Program Synthesis	2022	SIGMOD	5.6006128e-05
7,271	Efficient Identification of Implicit Facts in Incomplete OWL2-EL Knowledge Bases	2014	VLDB	5.5694935e-05
8,356	Optimizing Nested Recursive Queries	2024	SIGMOD	5.3481891e-05
9,018	Optimizing Parallel Recursive Datalog Evaluation on Multicore Machines	2022	SIGMOD	5.2365938e-05
9,116	Automatic Index Selection for Large-Scale Datalog Computation	2019	VLDB	5.2270261e-05
9,515	Optimizing Distributed Protocols with Query Rewrites	2024	SIGMOD	5.1691568e-05
10,147	How DuckDB is USING KEY to Unlock Recursive Query Performance	2025	SIGMOD	5.0715586e-05
10,149	Datalog with First-Class Facts	2025	VLDB	5.0715586e-05

Semantically Similar Papers

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