Raqlet: Cross-Paradigm Compilation for Recursive Queries
Summary: Raqlet is a source-to-source compilation framework translating recursive queries across relational (recursive SQL), graph (Cypher/SQL/PGQ/GQL) and deductive (Datalog) paradigms via staged IRs (PGIR→DLIR→SQIR) with formalized semantics. Enables portable recursive queries, cross-paradigm static analysis and optimizations (e.g., magic-sets), and acts as a golden reference for language standards and formal reasoning about recursion. (summarized by gpt-5-mini on Feb 09 2026)
Incoming Non-self Citations Over Time
No non-self incoming citations found for this paper in this database.
Authors
- 1. Amir Shaikhha (University of Edinburgh)
- 2. Youning Xia (University of Edinburgh)
- 3. Jazal Saleem (University of Edinburgh)
- 4. Meisam Tarabkhah (University of Edinburgh)
- 5. Anna Herlihy (EPFL)
BibTeX Citation
@inproceedings{shaikhha_cidr26,
address = {Amsterdam, Netherlands},
series = {{CIDR} '26},
title = {{Raqlet: Cross-Paradigm Compilation for Recursive Queries}},
booktitle = {Proceedings of the {Conference} on {Innovative} {Data} {Systems} {Research}},
author = {Shaikhha, Amir and Xia, Youning and Saleem, Jazal and Tarabkhah, Meisam and Herlihy, Anna},
year = {2026}
}Incoming Citations (Sorted by Pagerank)
Showing 0 of 0 citing papers.
| Rank | Citing Paper | Year | Venue | Pagerank |
|---|
Outgoing Citations (Sorted by Pagerank)
Showing 21 of 21 cited papers.
Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.
Semantically Similar Papers
| # | Overall Rank | Paper | Year | Venue |
|---|---|---|---|---|
| 1 | 10,401 | SEFRQO: A Self-Evolving Fine-Tuned RAG-Based Query Optimizer | 2026 | SIGMOD |
| 2 | 9,960 | Optimizing Nested Recursive Queries | 2024 | SIGMOD |
| 3 | 11,500 | SparqLog: A System for Efficient Evaluation of SPARQL 1.1 Queries via Datalog | 2023 | VLDB |
| 4 | 5,783 | Scaling-Up In-Memory Datalog Processing: Observations and Techniques | 2019 | VLDB |
| 5 | 4,972 | On the Optimization of Recursive Relational Queries: Application to Graph Queries | 2020 | SIGMOD |
| 6 | 11,261 | Efficient Enumeration of Recursive Plans in Transformation-based Query Optimizers | 2024 | VLDB |
| 7 | 312 | A Graphical Query Language Supporting Recursion | 1987 | SIGMOD |
| 8 | 9,430 | A Theory of Regular Queries | 2016 | PODS |
| 9 | 2,935 | RaSQL: Greater Power and Performance for Big Data Analytics with Recursive-aggregate-SQL on Spark | 2019 | SIGMOD |
| 10 | 11,772 | RASQL: A Powerful Language and its System for Big Data Applications | 2020 | SIGMOD |