Graphiti: Bridging Graph and Relational Database Queries
summary
Builds an automated pipeline called Graphiti that encodes user mappings as a user-provided transformer, automatically derives a standard transformer, and transpiles Cypher into SQL so equivalence reduces to SQL equivalence checking. Implementation hooks two off‑the‑shelf checkers: a bounded model checker that finds 34 real bugs and proves 376 of ~400 benchmarks equivalent in ~20s each, and a deductive verifier that proves 152 supported cases with ~70s average before timing out on complex joins.
AI-written summary · about
chapters (13)
- 0:00Graphiti project introduction
- 1:26Query equivalence after migration
- 2:31User transformers for schema alignment
- 4:40Query equivalence definition
- 5:42SMT encoding challenges
- 6:25Transpilation for equivalence checking
- 8:11Verification methodology steps
- 9:15Method example walkthrough
- 12:51Implementation and evaluation
- 13:35Results with BMC backend
- 14:39Results with deductive verifier
- 15:22Summary and contributions
- 15:47Q&A
related talks
41mGraphGen: Conducting Graph Analytics over Relational Databases
14mA Practitioner's Guide to Graphs
49mModern Graph Databases
38mGraphs & gremlins
19mUnraveling the Web of Relationships: Understanding Graph Data
55mA Practical Guide to Graph Databases
26mRelational E-matching
01h 01mA Skeptics Guide to Graph Databases