FlowLog: Efficient and Extensible Datalog via Incrementality

Summary: FlowLog separates recursive control from per-rule logical plans via an explicit IR, enabling Datalog-aware optimizations while reusing off-the-shelf DB execution primitives. Built on Differential Dataflow, it adds robustness-first planning, sideways information passing, and recursion-aware Boolean specialization to speed scalable batch and incremental Datalog. (summarized by gpt-5-mini on Mar 13 2026)

Paper ID: 14324
Venue: VLDB
Year: 2026
Pagerank: 4.1945683e-05
Overall Rank: 10,284 | 28.46%
DOI: 10.14778/3778092.3778098

Incoming Non-self Citations Over Time

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

Authors

Incoming Citations (Sorted by Pagerank)

Showing 1 of 1 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
9,988	I Can't Believe It's Not Yannakakis: Pragmatic Bitmap Filters in Microsoft SQL Server	2026	CIDR	4.1945683e-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
31	Provenance Semirings	2007	PODS	0.0007857786
71	How Good Are Query Optimizers, Really?	2016	VLDB	0.00059038975
418	Morsel-Driven Parallelism: A NUMA-Aware Query Evaluation Framework for the Many-Core Age	2014	SIGMOD	0.00023729211
522	Differential dataflow	2013	CIDR	0.00021099241
583	FAQ: Questions Asked Frequently	2016	PODS	0.00019717214
1,442	What do Shannon-type Inequalities, Submodular Width, and Disjunctive Datalog have to do with one another?	2017	PODS	0.00011956109
1,865	Diagnosis of Asynchronous Discrete Event Systems: Datalog to the Rescue!	2005	PODS	0.00010275334
2,275	Adopting Worst-Case Optimal Joins in Relational Database Systems	2020	VLDB	9.1262202e-05
2,443	Data Management for Data Science: Towards Embedded Analytics	2020	CIDR	8.8078476e-05
2,772	Quickstep: A Data Platform Based on the Scaling-Up Approach	2018	VLDB	8.1401661e-05
2,907	Convergence of Datalog over (Pre-) Semirings	2022	PODS	7.933806e-05
3,200	Big Data Analytics with Datalog Queries on Spark	2016	SIGMOD	7.3912411e-05
4,465	Robust Join Processing with Diamond Hardened Joins	2024	VLDB	6.1604282e-05
4,920	Shared Arrangements: practical inter-query sharing for streaming dataflows	2020	VLDB	5.8241888e-05
4,924	User-Defined Operators: Efficiently Integrating Custom Algorithms into Modern Databases	2022	VLDB	5.822682e-05
5,765	Predicate Transfer: Efficient Pre-Filtering on Multi-Join Queries	2024	CIDR	5.336442e-05
5,992	Evaluating Datalog over Semirings: A Grounding-based Approach	2024	PODS	5.2415551e-05
6,276	Scaling-Up In-Memory Datalog Processing: Observations and Techniques	2019	VLDB	5.1314426e-05
6,303	Rel: A Programming Language for Relational Data	2025	SIGMOD	5.1214271e-05
6,305	Free Join: Unifying Worst-Case Optimal and Traditional Joins	2023	SIGMOD	5.1209718e-05
6,650	Efficient Identification of Implicit Facts in Incomplete OWL2-EL Knowledge Bases	2014	VLDB	4.9763184e-05
7,342	Optimizing Recursive Queries with Program Synthesis	2022	SIGMOD	4.7576316e-05
8,883	Optimizing Parallel Recursive Datalog Evaluation on Multicore Machines	2022	SIGMOD	4.4285471e-05
8,994	Automatic Index Selection for Large-Scale Datalog Computation	2019	VLDB	4.4129398e-05
9,269	Optimizing Distributed Protocols with Query Rewrites	2024	SIGMOD	4.3655761e-05
9,811	How DuckDB is USING KEY to Unlock Recursive Query Performance	2025	SIGMOD	4.2783272e-05
9,813	Datalog with First-Class Facts	2025	VLDB	4.2783272e-05
9,814	Optimizing Nested Recursive Queries	2024	SIGMOD	4.2783272e-05

Semantically Similar Papers

Overall Rank	Paper	Year	Venue	Pagerank
9,813	Datalog with First-Class Facts	2025	VLDB	4.2783272e-05
2,907	Convergence of Datalog over (Pre-) Semirings	2022	PODS	7.933806e-05
11,053	Efficient Enumeration of Recursive Plans in Transformation-based Query Optimizers	2024	VLDB	4.1945683e-05
6,662	Selective Provenance for Datalog Programs Using Top-K Queries	2015	VLDB	4.9704872e-05
8,354	LogiQL: a Declarative Language for Enterprise Applications	2015	PODS	4.538638e-05
8,883	Optimizing Parallel Recursive Datalog Evaluation on Multicore Machines	2022	SIGMOD	4.4285471e-05
256	GraphLog: a Visual Formalism for Real Life Recursion	1990	PODS	0.00030259041
6,216	Automating Incremental and Asynchronous Evaluation for Recursive Aggregate Data Processing	2020	SIGMOD	5.1534945e-05
9,814	Optimizing Nested Recursive Queries	2024	SIGMOD	4.2783272e-05
6,276	Scaling-Up In-Memory Datalog Processing: Observations and Techniques	2019	VLDB	5.1314426e-05