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
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 1 of 1 citing papers.
| Rank | Citing Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 11,103 | An Extended Tutorial and Vocabulary for Relational Language Design in an Era of AI-Assisted Query Generation | 2026 | VLDB | 4.9605343e-05 |
Previous
Page 1 / 1
Next
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.
Previous
Page 1 / 1
Next
Semantically Similar Papers
| # | Overall Rank | Paper | Year | Venue |
|---|---|---|---|---|
| 1 | 10,668 | SEFRQO: A Self-Evolving Fine-Tuned RAG-Based Query Optimizer | 2026 | SIGMOD |
| 2 | 8,376 | Optimizing Nested Recursive Queries | 2024 | SIGMOD |
| 3 | 11,859 | SparqLog: A System for Efficient Evaluation of SPARQL 1.1 Queries via Datalog | 2023 | VLDB |
| 4 | 5,881 | Scaling-Up In-Memory Datalog Processing: Observations and Techniques | 2019 | VLDB |
| 5 | 5,073 | On the Optimization of Recursive Relational Queries: Application to Graph Queries | 2020 | SIGMOD |
| 6 | 10,368 | Efficient Enumeration of Recursive Plans in Transformation-based Query Optimizers | 2024 | VLDB |
| 7 | 306 | A Graphical Query Language Supporting Recursion | 1987 | SIGMOD |
| 8 | 9,647 | A Theory of Regular Queries | 2016 | PODS |
| 9 | 2,953 | RaSQL: Greater Power and Performance for Big Data Analytics with Recursive-aggregate-SQL on Spark | 2019 | SIGMOD |
| 10 | 12,124 | RASQL: A Powerful Language and its System for Big Data Applications | 2020 | SIGMOD |