SRS: Detecting Logic Bugs of Join Implementation in DBMSs via Set Relation Synthesis
Summary: SRS: a black-box tester that synthesizes transformed join queries (modifying join types, order, and conditions) to enforce set-relations between original and transformed outputs, flagging violations as logic-bug evidence in join implementations beyond optimizer choices. Applied to MySQL, MariaDB, TiDB, PostgreSQL and DuckDB, SRS uncovered 36 unique bugs (33 logic bugs), 12 already fixed, demonstrating practical effectiveness. (summarized by gpt-5-mini on Feb 11 2026)
Incoming Non-self Citations Over Time
No non-self incoming citations found for this paper in this database.
Authors
- 1. Jinhui Lai
- 2. Chi Zhang
- 3. Binyan Li
- 4. Chengling Liang
- 5. Jie Liang
- 6. Zhiyong Wu
- 7. Jingzhou Fu
- 8. Yu Jiang
- 9. Zichen Xu
Incoming Citations (Sorted by Pagerank)
Showing 0 of 0 citing papers.
| Rank | Citing Paper | Year | Venue | Pagerank |
|---|
Outgoing Citations (Sorted by Pagerank)
Showing 8 of 8 cited papers.
Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.
| Rank | Cited Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 145 | Quickly Generating Billion-Record Synthetic Databases | 1994 | SIGMOD | 0.0004138408 |
| 406 | Massive Stochastic Testing of SQL | 1998 | VLDB | 0.00024053686 |
| 888 | QAGen: Generating Query-Aware Test Databases | 2007 | SIGMOD | 0.00015578618 |
| 934 | Flexible Database Generators | 2005 | VLDB | 0.00015227409 |
| 2,650 | Detecting Logic Bugs of Join Optimizations in DBMS | 2023 | SIGMOD | 8.3708191e-05 |
| 2,891 | APOLLO: Automatic Detection and Diagnosis of Performance Regressions in Database Systems | 2020 | VLDB | 7.954658e-05 |
| 5,037 | Keep It Simple: Testing Databases via Differential Query Plans | 2024 | SIGMOD | 5.7434825e-05 |
| 8,278 | Constant Optimization Driven Database System Testing | 2025 | SIGMOD | 4.5435639e-05 |
Semantically Similar Papers
| Overall Rank | Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 7,726 | Semantic Conformance Testing of Relational DBMS | 2025 | VLDB | 4.6667388e-05 |
| 8,278 | Constant Optimization Driven Database System Testing | 2025 | SIGMOD | 4.5435639e-05 |
| 6,137 | Detecting Metadata-Related Logic Bugs in Database Systems via Raw Database Construction | 2024 | VLDB | 5.1916986e-05 |
| 1,572 | Reverse Engineering Complex Join Queries | 2013 | SIGMOD | 0.00011298251 |
| 8,586 | A Demonstration of DLBD: Database Logic Bug Detection System | 2023 | VLDB | 4.4902778e-05 |
| 10,036 | Testing Graph Databases with Synthesized Queries | 2026 | SIGMOD | 4.1945683e-05 |
| 10,603 | Detecting Schema-Related Logic Bugs in Relational DBMSs via Equivalent Database Construction | 2025 | VLDB | 4.1945683e-05 |
| 5,037 | Keep It Simple: Testing Databases via Differential Query Plans | 2024 | SIGMOD | 5.7434825e-05 |
| 10,067 | Detecting Logic Bugs in DBMSs via Equivalent Data Construction | 2026 | SIGMOD | 4.1945683e-05 |
| 2,650 | Detecting Logic Bugs of Join Optimizations in DBMS | 2023 | SIGMOD | 8.3708191e-05 |