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: 14338
Venue: VLDB
Year: 2026
Pagerank: 4.1905499e-05
Overall Rank: 10,296 | 28.45%
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,987	I Can't Believe It's Not Yannakakis: Pragmatic Bitmap Filters in Microsoft SQL Server	2026	CIDR	4.1905499e-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.00078516827
71	How Good Are Query Optimizers, Really?	2016	VLDB	0.00059446482
417	Morsel-Driven Parallelism: A NUMA-Aware Query Evaluation Framework for the Many-Core Age	2014	SIGMOD	0.00023734582
524	Differential dataflow	2013	CIDR	0.00021093133
564	FAQ: Questions Asked Frequently	2016	PODS	0.00020002796
1,452	What do Shannon-type Inequalities, Submodular Width, and Disjunctive Datalog have to do with one another?	2017	PODS	0.00011922523
1,872	Diagnosis of Asynchronous Discrete Event Systems: Datalog to the Rescue!	2005	PODS	0.00010255586
2,281	Adopting Worst-Case Optimal Joins in Relational Database Systems	2020	VLDB	9.122455e-05
2,445	Data Management for Data Science: Towards Embedded Analytics	2020	CIDR	8.7999299e-05
2,777	Quickstep: A Data Platform Based on the Scaling-Up Approach	2018	VLDB	8.1346418e-05
2,912	Convergence of Datalog over (Pre-) Semirings	2022	PODS	7.9261665e-05
3,207	Big Data Analytics with Datalog Queries on Spark	2016	SIGMOD	7.3847098e-05
4,466	Robust Join Processing with Diamond Hardened Joins	2024	VLDB	6.1545841e-05
4,925	Shared Arrangements: practical inter-query sharing for streaming dataflows	2020	VLDB	5.818597e-05
4,930	User-Defined Operators: Efficiently Integrating Custom Algorithms into Modern Databases	2022	VLDB	5.8171482e-05
5,772	Predicate Transfer: Efficient Pre-Filtering on Multi-Join Queries	2024	CIDR	5.3313794e-05
5,996	Evaluating Datalog over Semirings: A Grounding-based Approach	2024	PODS	5.2365238e-05
6,276	Scaling-Up In-Memory Datalog Processing: Observations and Techniques	2019	VLDB	5.1265189e-05
6,294	Free Join: Unifying Worst-Case Optimal and Traditional Joins	2023	SIGMOD	5.1202075e-05
6,303	Rel: A Programming Language for Relational Data	2025	SIGMOD	5.1165121e-05
6,650	Efficient Identification of Implicit Facts in Incomplete OWL2-EL Knowledge Bases	2014	VLDB	4.9715438e-05
7,338	Optimizing Recursive Queries with Program Synthesis	2022	SIGMOD	4.7531793e-05
8,884	Optimizing Parallel Recursive Datalog Evaluation on Multicore Machines	2022	SIGMOD	4.4243024e-05
9,000	Automatic Index Selection for Large-Scale Datalog Computation	2019	VLDB	4.4087102e-05
9,274	Optimizing Distributed Protocols with Query Rewrites	2024	SIGMOD	4.3613923e-05
9,810	How DuckDB is USING KEY to Unlock Recursive Query Performance	2025	SIGMOD	4.2742278e-05
9,812	Datalog with First-Class Facts	2025	VLDB	4.2742278e-05
9,813	Optimizing Nested Recursive Queries	2024	SIGMOD	4.2742278e-05

Semantically Similar Papers

Overall Rank	Paper	Year	Venue	Pagerank
9,812	Datalog with First-Class Facts	2025	VLDB	4.2742278e-05
2,912	Convergence of Datalog over (Pre-) Semirings	2022	PODS	7.9261665e-05
11,056	Efficient Enumeration of Recursive Plans in Transformation-based Query Optimizers	2024	VLDB	4.1905499e-05
6,665	Selective Provenance for Datalog Programs Using Top-K Queries	2015	VLDB	4.9657158e-05
8,350	LogiQL: a Declarative Language for Enterprise Applications	2015	PODS	4.5342845e-05
8,884	Optimizing Parallel Recursive Datalog Evaluation on Multicore Machines	2022	SIGMOD	4.4243024e-05
256	GraphLog: a Visual Formalism for Real Life Recursion	1990	PODS	0.00030241337
6,209	Automating Incremental and Asynchronous Evaluation for Recursive Aggregate Data Processing	2020	SIGMOD	5.1508692e-05
9,813	Optimizing Nested Recursive Queries	2024	SIGMOD	4.2742278e-05
6,276	Scaling-Up In-Memory Datalog Processing: Observations and Techniques	2019	VLDB	5.1265189e-05