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.9769913e-05
Overall Rank: 10,893 | 26.79%
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,368	I Can't Believe It's Not Yannakakis: Pragmatic Bitmap Filters in Microsoft SQL Server	2026	CIDR	4.9769913e-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.00061067652
17	Provenance Semirings	2007	PODS	0.00059813669
215	Morsel-Driven Parallelism: A NUMA-Aware Query Evaluation Framework for the Many-Core Age	2014	SIGMOD	0.00024589307
357	FAQ: Questions Asked Frequently	2016	PODS	0.00020013731
442	Differential dataflow	2013	CIDR	0.00018201988
1,091	What do Shannon-type Inequalities, Submodular Width, and Disjunctive Datalog have to do with one another?	2017	PODS	0.00012068611
1,596	Adopting Worst-Case Optimal Joins in Relational Database Systems	2020	VLDB	0.00010122962
1,825	Data Management for Data Science: Towards Embedded Analytics	2020	CIDR	9.5558093e-05
2,139	Quickstep: A Data Platform Based on the Scaling-Up Approach	2018	VLDB	8.9735524e-05
2,474	Diagnosis of Asynchronous Discrete Event Systems: Datalog to the Rescue!	2005	PODS	8.4083096e-05
2,632	Convergence of Datalog over (Pre-) Semirings	2022	PODS	8.1988853e-05
2,636	Big Data Analytics with Datalog Queries on Spark	2016	SIGMOD	8.1926426e-05
3,154	Robust Join Processing with Diamond Hardened Joins	2024	VLDB	7.5849549e-05
3,645	User-Defined Operators: Efficiently Integrating Custom Algorithms into Modern Databases	2022	VLDB	7.1383149e-05
4,371	Predicate Transfer: Efficient Pre-Filtering on Multi-Join Queries	2024	CIDR	6.6284915e-05
4,402	Shared Arrangements: practical inter-query sharing for streaming dataflows	2020	VLDB	6.6120647e-05
4,877	Rel: A Programming Language for Relational Data	2025	SIGMOD	6.3697574e-05
5,013	Free Join: Unifying Worst-Case Optimal and Traditional Joins	2023	SIGMOD	6.3119508e-05
5,868	Scaling-Up In-Memory Datalog Processing: Observations and Techniques	2019	VLDB	5.962124e-05
6,432	Evaluating Datalog over Semirings: A Grounding-based Approach	2024	PODS	5.7857524e-05
7,141	Optimizing Recursive Queries with Program Synthesis	2022	SIGMOD	5.5979985e-05
7,274	Efficient Identification of Implicit Facts in Incomplete OWL2-EL Knowledge Bases	2014	VLDB	5.5668569e-05
8,362	Optimizing Nested Recursive Queries	2024	SIGMOD	5.3456573e-05
9,026	Optimizing Parallel Recursive Datalog Evaluation on Multicore Machines	2022	SIGMOD	5.2341149e-05
9,125	Automatic Index Selection for Large-Scale Datalog Computation	2019	VLDB	5.2245517e-05
9,526	Optimizing Distributed Protocols with Query Rewrites	2024	SIGMOD	5.1667098e-05
10,151	How DuckDB is USING KEY to Unlock Recursive Query Performance	2025	SIGMOD	5.0691578e-05
10,153	Datalog with First-Class Facts	2025	VLDB	5.0691578e-05

Semantically Similar Papers

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