Graphiti: Bridging Graph and Relational Database Queries

Yang He, Ruijie Fang, Işıl Dillig, Yuepeng Wang. 2025. Proc. ACM Program. Lang..

Read the paper · doi:10.1145/3729319 · arXiv:2504.03182

What this paper does with SQLancer

One citation in related work, listing metamorphic testing for DBMS bug detection alongside differential testing, with work by the SQLancer authors among the references. Graphiti checks whether a Cypher graph query and a SQL relational query are equivalent. To make that question well-posed across two data models the authors introduce database transformers, mapping instances between the graph and relational representations, and define equivalence modulo a transformer. Verification reduces to checking two SQL queries by translating a subset of Cypher into SQL. Graphiti proved useful for verification and refutation, uncovering subtle bugs including some in Cypher tutorials and academic papers. Written by claude-opus-5 from the 1 place this paper refers to SQLancer. The quotations below are the paper's own words, stored verbatim when the text was extracted.

How it was classified

uses infrastructure — no

SQLancer is cited, not used; nothing in the mentions describes reusing its code.

extends technique — no

No technique is extended; the citation is background.

compares with — no

No empirical comparison against SQLancer is reported in the mentions.

describes as state of the art — no

The citation does not characterise SQLancer as the state of the art.

SQLancer publications it cites (2)

Bibliography entries that resolved to a SQLancer publication, or to a paper by one of the project's authors. A sentence citing one of these numbers is a reference to SQLancer even when it never writes the name.

#	Entry	Matched as
26	Yuancheng Jiang, Jiahao Liu, Jinsheng Ba, Roland HC Yap, Zhenkai Liang, and Manuel Rigger. 2024. Detecting Logic Bugs in Graph Database Management Systems via Injective and Surjective Graph Query Transformation. In Pr...	project authored
44	Manuel Rigger and Zhendong Su. 2020. Finding bugs in database systems via query partitioning. Proc. ACM Program. Lang. 4, OOPSLA (2020), 211:1–211:30. https://doi.org/10.1145/3428279	sqlancer publication · TLP

Every place it refers to SQLancer (1)

1 sentence, each stored verbatim from the extracted text with where it was found and how. “Citation marker” means the sentence names no tool at all and was reached through a reference number that resolved to a SQLancer publication.

Id	Sentence	Found by	Where
M1	Work in this space includes differential testing [ 25,33,60] and metamorphic testing [ 7,26,31,44] to detect bugs in database management systems, mutation-based testing to grade programming assignments involving SQL queries [ 6], and provenance-based techniques for explaining wrong SQL queries [ 34].	citation marker background	7 Related Work page 22

This page is rendered from _data/papers/paper_doi_10_1145_3729319.json, extracted from arxiv. 44 pages, 62 references parsed.