Optimizing Nested Recursive Queries

Summary: Temporel enables recursion to mix with non-monotone operators, reducing inefficiencies in relaxed Datalog. It compiles to TempoDL, a novel IR enabling optimizations and outperforming Datalog and in-memory engines on ML/graph workloads. (summarized by gpt-5-nano on Feb 09 2026)

Paper ID: h0a685fefa335b0fe
Venue: SIGMOD
Year: 2024
Pagerank: 5.3481891e-05
Overall Rank: 8,356 | 43.82%
DOI: 10.1145/3639271

Incoming Non-self Citations Over Time

Authors

1. Amir Shaikhha (University of Edinburgh)
2. Dan Suciu (University of Washington)
3. Maximilian Schleich (RelationalAI)
4. Hung Ngo (RelationalAI)

BibTeX Citation

@inproceedings{shaikhha_sigmod24,
        title = {{Optimizing Nested Recursive Queries}},
        author = {Shaikhha, Amir and Suciu, Dan and Schleich, Maximilian and Ngo, Hung},
        series = {{SIGMOD} '24},
        booktitle = {Proceedings of the {ACM} {SIGMOD} International Conference on Management of Data},
        publisher = {Association for Computing Machinery},
        doi = {10.1145/3639271},
        url = {https://dl.acm.org/doi/10.1145/3639271},
        year = {2024}
}

Incoming Citations (Sorted by Pagerank)

Showing 3 of 3 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
9,794	Raqlet: Cross-Paradigm Compilation for Recursive Queries	2026	CIDR	5.1257999e-05
10,884	FlowLog: Efficient and Extensible Datalog via Incrementality	2026	VLDB	4.9793485e-05
10,962	GraphAlg Playground: An Online Platform for Learning and Experimenting with the GraphAlg Language	2026	VLDB	4.9793485e-05

Outgoing Citations (Sorted by Pagerank)

Showing 24 of 24 cited papers.

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

Rank	Cited Paper	Year	Venue	Pagerank
18	MAGIC SETS AND OTHER STRANGE WAYS TO IMPLEMENT LOGIC PROGRAMS (Extended Abstract)	1986	PODS	0.00059023577
21	Efficiently Compiling Efficient Query Plans for Modern Hardware	2011	VLDB	0.00056855599
466	Design and Implementation of the LogicBlox System	2015	SIGMOD	0.00017773029
531	The Magic of Duplicates and Aggregates	1990	VLDB	0.00016847212
1,438	Magic is Relevant	1990	SIGMOD	0.00010648031
1,742	How to Architect a Query Compiler	2016	SIGMOD	9.7378418e-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
2,938	RaSQL: Greater Power and Performance for Big Data Analytics with Recursive-aggregate-SQL on Spark	2019	SIGMOD	7.8355984e-05
3,194	One WITH RECURSIVE is Worth Many GOTOs	2021	SIGMOD	7.5498012e-05
3,623	Minimum and Maximum Predicates in Logic Programming	1991	PODS	7.1535991e-05
3,707	Implementation of Magic-sets in a Relational Database System	1994	SIGMOD	7.0820673e-05
4,076	Monotonic Aggregation in Deductive Databases	1992	PODS	6.8187173e-05
4,154	Asynchronous and Fault-Tolerant Recursive Datalog Evaluation in Shared-Nothing Engines	2015	VLDB	6.776227e-05
4,325	Polynomial Time Query Processing in Temporal Deductive Databases	1990	PODS	6.6653142e-05
5,439	Optimizing Tensor Programs on Flexible Storage	2023	SIGMOD	6.1279464e-05
5,592	Datalog and Emerging Applications: An Interactive Tutorial	2011	SIGMOD	6.0736086e-05
5,867	Scaling-Up In-Memory Datalog Processing: Observations and Techniques	2019	VLDB	5.9649467e-05
5,903	PL/SQL Without the PL	2020	SIGMOD	5.9523418e-05
6,309	Automating Incremental and Asynchronous Evaluation for Recursive Aggregate Data Processing	2020	SIGMOD	5.8176815e-05
6,400	Functional-Style SQL UDFs With a Capital 'F'	2020	SIGMOD	5.7981078e-05
6,707	Machine Learning, Linear Algebra, and More: Is SQL All You Need?	2022	CIDR	5.7038956e-05
7,139	Optimizing Recursive Queries with Program Synthesis	2022	SIGMOD	5.6006128e-05
7,448	A Fix for the Fixation on Fixpoints	2023	CIDR	5.5239801e-05

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	9,611	A Theory of Regular Queries	2016	PODS
2	6,741	Inherent Complexity of Recursive Queries (Extended Abstract)	1999	PODS
3	6,429	Evaluating Datalog over Semirings: A Grounding-based Approach	2024	PODS
4	4,833	Graph Queries in a Next-Generation Datalog System	2013	VLDB
5	9,018	Optimizing Parallel Recursive Datalog Evaluation on Multicore Machines	2022	SIGMOD
6	10,884	FlowLog: Efficient and Extensible Datalog via Incrementality	2026	VLDB
7	7,139	Optimizing Recursive Queries with Program Synthesis	2022	SIGMOD
8	2,630	Convergence of Datalog over (Pre-) Semirings	2022	PODS
9	5,867	Scaling-Up In-Memory Datalog Processing: Observations and Techniques	2019	VLDB
10	13,389	Structural Query Optimization — A Uniform Framework For Semantic Query Optimization In Deductive Databases	1991	PODS