Back to papers
Testing Graph Databases with Synthesized Queries
Summary: GQS automates GDB testing by generating a ground truth graph with results, then synthesizing retrieval queries. It introduces syntactic and semantic query synthesis, including a Cypher tester, and finds 36 previously unknown bugs (26 logic) across four GDBs.
(summarized by gpt-5-nano on Feb 09 2026)
- Paper ID
- 7343
- Venue
- SIGMOD
- Year
- 2026
- Pagerank
- 4.1945683e-05
- Overall Rank
- 10,036 | 30.19%
- DOI
-
10.1145/3749186
Incoming Non-self Citations Over Time
No non-self incoming citations found for this paper in this database.
Incoming Citations (Sorted by Pagerank)
Showing 1 of 1 citing papers.
Outgoing Citations (Sorted by Pagerank)
Showing 11 of 11 cited papers.
Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.
| Rank |
Cited Paper |
Year |
Venue |
Pagerank |
| 1,227 |
Elle: Inferring Isolation Anomalies from Experimental Observations |
2021 |
VLDB |
0.00013170695 |
| 1,419 |
Highly Available Transactions: Virtues and Limitations |
2014 |
VLDB |
0.00012079793 |
| 2,650 |
Detecting Logic Bugs of Join Optimizations in DBMS |
2023 |
SIGMOD |
8.3708191e-05 |
| 4,503 |
Testing Graph Database Systems via Graph-Aware Metamorphic Relations |
2024 |
VLDB |
6.1349827e-05 |
| 5,037 |
Keep It Simple: Testing Databases via Differential Query Plans |
2024 |
SIGMOD |
5.7434825e-05 |
| 5,544 |
PATSQL: Efficient Synthesis of SQL Queries from Example Tables with Quick Inference of Projected Columns |
2021 |
VLDB |
5.4462933e-05 |
| 6,137 |
Detecting Metadata-Related Logic Bugs in Database Systems via Raw Database Construction |
2024 |
VLDB |
5.1916986e-05 |
| 8,800 |
Efficient Black-box Checking of Snapshot Isolation in Databases |
2023 |
VLDB |
4.4486165e-05 |
| 9,722 |
NOC-NOC: Towards Performance-optimal Distributed Transactions |
2024 |
SIGMOD |
4.2959935e-05 |
| 10,549 |
VerIso: Verifiable Isolation Guarantees for Database Transactions |
2025 |
VLDB |
4.1945683e-05 |
| 11,105 |
IsoVista: Black-box Checking Database Isolation Guarantees |
2024 |
VLDB |
4.1945683e-05 |
Semantically Similar Papers
| Overall Rank |
Paper |
Year |
Venue |
Pagerank |
| 10,485 |
Finding Logic Bugs in Graph-processing Systems via Graph-cutting |
2025 |
SIGMOD |
4.1945683e-05 |
| 10,603 |
Detecting Schema-Related Logic Bugs in Relational DBMSs via Equivalent Database Construction |
2025 |
VLDB |
4.1945683e-05 |
| 6,137 |
Detecting Metadata-Related Logic Bugs in Database Systems via Raw Database Construction |
2024 |
VLDB |
5.1916986e-05 |
| 10,114 |
SRS: Detecting Logic Bugs of Join Implementation in DBMSs via Set Relation Synthesis |
2026 |
SIGMOD |
4.1945683e-05 |
| 8,586 |
A Demonstration of DLBD: Database Logic Bug Detection System |
2023 |
VLDB |
4.4902778e-05 |
| 8,278 |
Constant Optimization Driven Database System Testing |
2025 |
SIGMOD |
4.5435639e-05 |
| 5,037 |
Keep It Simple: Testing Databases via Differential Query Plans |
2024 |
SIGMOD |
5.7434825e-05 |
| 2,650 |
Detecting Logic Bugs of Join Optimizations in DBMS |
2023 |
SIGMOD |
8.3708191e-05 |
| 4,503 |
Testing Graph Database Systems via Graph-Aware Metamorphic Relations |
2024 |
VLDB |
6.1349827e-05 |
| 10,234 |
Dinkel: State-Aware and Granular Framework for Validating Graph Databases |
2026 |
VLDB |
4.1945683e-05 |