Raqlet: Cross-Paradigm Compilation for Recursive Queries
Amir Shaikhha, Youning Xia, Meisam Tarabkhah, Jazal Saleem, Anna Herlihy

TL;DR
Raqlet is a compilation framework that translates recursive queries across relational, graph, and deductive paradigms, enabling interoperability, standard compliance, and performance optimization.
Contribution
It introduces a multi-stage translation process leveraging intermediate representations to unify recursive query semantics across diverse systems.
Findings
Supports translation of Cypher and SQL/PGQ to a common IR
Enables static analysis and optimization of recursive queries
Provides a semantic foundation for cross-paradigm query standardization
Abstract
We introduce Raqlet, a source-to-source compilation framework that addresses the fragmentation of recursive querying engines spanning relational (recursive SQL), graph (Cypher, GQL), and deductive (Datalog) systems. Recent standards such as SQL:2023's SQL/PGQ and the GQL standard provide a common foundation for querying graph data within relational and graph databases; however, real-world support remains inconsistent across systems. Raqlet bridges this gap by translating recursive queries across paradigms through leveraging intermediate representations (IRs) grounded in well-defined semantics; it translates Cypher or SQL/PGQ to PGIR (inspired by Cypher), then into DLIR (inspired by Datalog), and finally to SQIR (inspired by recursive SQL). Raqlet provides a shared semantic basis that can serve as a golden reference implementation for language standards, while supporting static analysis…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
