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 (Nanchang University)
- 2. Chi Zhang (Tsinghua University)
- 3. Binyan Li (Nanchang University)
- 4. Chengling Liang (Nanchang University)
- 5. Jie Liang (Beihang University)
- 6. Zhiyong Wu (Tsinghua University)
- 7. Jingzhou Fu (Tsinghua University)
- 8. Yu Jiang (Tsinghua University)
- 9. Zichen Xu (Nanchang University)
BibTeX Citation
@inproceedings{lai_sigmod26,
title = {{SRS: Detecting Logic Bugs of Join Implementation in DBMSs via Set Relation Synthesis}},
author = {Lai, Jinhui and Zhang, Chi and Li, Binyan and Liang, Chengling and Liang, Jie and Wu, Zhiyong and Fu, Jingzhou and Jiang, Yu and Xu, Zichen},
series = {{SIGMOD} '26},
booktitle = {Proceedings of the {ACM} {SIGMOD} International Conference on Management of Data},
publisher = {Association for Computing Machinery},
doi = {10.1145/3769828},
url = {https://dl.acm.org/doi/10.1145/3769828},
year = {2026}
}Incoming Citations (Sorted by Pagerank)
Showing 1 of 1 citing papers.
| Rank | Citing Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 10,243 | Finding Missed Optimizations in DBMSs through Unbalanced Short-Circuit Query Construction | 2026 | SIGMOD | 5.093636e-05 |
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 |
|---|---|---|---|---|
| 105 | Quickly Generating Billion-Record Synthetic Databases | 1994 | SIGMOD | 0.00033877899 |
| 392 | Massive Stochastic Testing of SQL | 1998 | VLDB | 0.00019342814 |
| 734 | QAGen: Generating Query-Aware Test Databases | 2007 | SIGMOD | 0.00014525584 |
| 938 | Flexible Database Generators | 2005 | VLDB | 0.00013089351 |
| 2,030 | APOLLO: Automatic Detection and Diagnosis of Performance Regressions in Database Systems | 2020 | VLDB | 9.2841464e-05 |
| 2,044 | Detecting Logic Bugs of Join Optimizations in DBMS | 2023 | SIGMOD | 9.2663577e-05 |
| 3,903 | Keep It Simple: Testing Databases via Differential Query Plans | 2024 | SIGMOD | 7.0304586e-05 |
| 7,427 | Constant Optimization Driven Database System Testing | 2025 | SIGMOD | 5.620674e-05 |
Semantically Similar Papers
| # | Overall Rank | Paper | Year | Venue |
|---|---|---|---|---|
| 1 | 7,427 | Constant Optimization Driven Database System Testing | 2025 | SIGMOD |
| 2 | 5,429 | Detecting Metadata-Related Logic Bugs in Database Systems via Raw Database Construction | 2024 | VLDB |
| 3 | 1,313 | Reverse Engineering Complex Join Queries | 2013 | SIGMOD |
| 4 | 8,482 | A Demonstration of DLBD: Database Logic Bug Detection System | 2023 | VLDB |
| 5 | 10,331 | Testing Graph Databases with Synthesized Queries | 2026 | SIGMOD |
| 6 | 9,227 | Detecting Schema-Related Logic Bugs in Relational DBMSs via Equivalent Database Construction | 2025 | VLDB |
| 7 | 3,903 | Keep It Simple: Testing Databases via Differential Query Plans | 2024 | SIGMOD |
| 8 | 10,358 | Detecting Logic Bugs in DBMSs via Equivalent Data Construction | 2026 | SIGMOD |
| 9 | 2,044 | Detecting Logic Bugs of Join Optimizations in DBMS | 2023 | SIGMOD |
| 10 | 10,218 | Detecting Join Bugs in Database Engines via Join Implication Reasoning | 2026 | SIGMOD |