Finding Missed Optimizations in DBMSs through Unbalanced Short-Circuit Query Construction
Summary: SCor black-boxes missed optimizations by generating unbalanced short-circuit SQL whose results are determined by cheap branches, then flagging expensive execution. Testing 11 DBMSs found 153 new bugs; 125 confirmed and 33 fixed. (summarized by gpt-5.6-luna on Jul 26 2026)
Incoming Non-self Citations Over Time
Authors
- 1. Jinhui Lai (Nanchang University)
- 2. Chi Zhang (Tsinghua University)
- 3. Jie Liang (Beihang University)
- 4. Zihao Zeng (Nanchang University)
- 5. Zhiyong Wu (Tsinghua University)
- 6. Jingzhou Fu (Tsinghua University)
- 7. Chijin Zhou (East China Normal University)
- 8. Shuai Ma (Beihang University)
- 9. Yu Jiang (Tsinghua University)
- 10. Zichen Xu (Nanchang University)
BibTeX Citation
@inproceedings{lai_sigmod26,
title = {{Finding Missed Optimizations in DBMSs through Unbalanced Short-Circuit Query Construction}},
author = {Lai, Jinhui and Zhang, Chi and Liang, Jie and Zeng, Zihao and Wu, Zhiyong and Fu, Jingzhou and Zhou, Chijin and Ma, Shuai 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/3802061},
url = {https://dl.acm.org/doi/10.1145/3802061},
year = {2026}
}Incoming Citations (Sorted by Pagerank)
Showing 1 of 1 citing papers.
| Rank | Citing Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 10,872 | Detecting Data-Type-Related Logic Bugs in Relational DBMSs via Compatible Database Construction | 2026 | VLDB | 4.9793485e-05 |
Previous
Page 1 / 1
Next
Outgoing Citations (Sorted by Pagerank)
Showing 7 of 7 cited papers.
Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.
| Rank | Cited Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 15 | How Good Are Query Optimizers, Really? | 2016 | VLDB | 0.00061066921 |
| 1,623 | Query Optimization in Heterogeneous DBMS | 1992 | VLDB | 0.00010045919 |
| 1,832 | APOLLO: Automatic Detection and Diagnosis of Performance Regressions in Database Systems | 2020 | VLDB | 9.5430971e-05 |
| 4,132 | SQLStorm: Taking Database Benchmarking into the LLM Era | 2025 | VLDB | 6.7885553e-05 |
| 5,788 | Lemo: A Cache-Enhanced Learned Optimizer for Concurrent Queries | 2023 | SIGMOD | 5.9947442e-05 |
| 7,344 | SQL Query Optimization: Reordering for a General Class of Queries | 1996 | SIGMOD | 5.5466492e-05 |
| 9,221 | SRS: Detecting Logic Bugs of Join Implementation in DBMSs via Set Relation Synthesis | 2026 | SIGMOD | 5.2056825e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| # | Overall Rank | Paper | Year | Venue |
|---|---|---|---|---|
| 1 | 7,487 | Non-Invasive Progressive Optimization for In-Memory Databases | 2016 | VLDB |
| 2 | 10,559 | Detecting Logic Bugs in DBMSs via Equivalent Data Construction | 2026 | SIGMOD |
| 3 | 3,041 | Configuration-Parametric Query Optimization for Physical Design Tuning | 2008 | SIGMOD |
| 4 | 8,164 | Efficient Query Re-optimization with Judicious Subquery Selections | 2023 | SIGMOD |
| 5 | 10,359 | Leveraging Query Optimizers to Verify the Soundness of LLM-based Query Rewrites for Real-World Workloads, and More! | 2026 | CIDR |
| 6 | 1,928 | Detecting Logic Bugs of Join Optimizations in DBMS | 2023 | SIGMOD |
| 7 | 1,257 | Sampling-Based Query Re-Optimization | 2016 | SIGMOD |
| 8 | 446 | Query Optimization for Parallel Execution | 1992 | SIGMOD |
| 9 | 149 | Efficient Mid-Query Re-Optimization of Sub-Optimal Query Execution Plans | 1998 | SIGMOD |
| 10 | 10,148 | Improving DBMS Scheduling Decisions with Accurate Performance Prediction on Concurrent Queries | 2025 | VLDB |