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
No non-self incoming citations found for this paper in this database.
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 0 of 0 citing papers.
| Rank | Citing Paper | Year | Venue | Pagerank |
|---|
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 |
|---|---|---|---|---|
| 18 | How Good Are Query Optimizers, Really? | 2016 | VLDB | 0.00059284255 |
| 1,595 | Query Optimization in Heterogeneous DBMS | 1992 | VLDB | 0.00010249433 |
| 2,030 | APOLLO: Automatic Detection and Diagnosis of Performance Regressions in Database Systems | 2020 | VLDB | 9.2841464e-05 |
| 5,701 | Lemo: A Cache-Enhanced Learned Optimizer for Concurrent Queries | 2023 | SIGMOD | 6.1167049e-05 |
| 5,744 | SQLStorm: Taking Database Benchmarking into the LLM Era | 2025 | VLDB | 6.1019672e-05 |
| 7,272 | SQL Query Optimization: Reordering for a General Class of Queries | 1996 | SIGMOD | 5.6594801e-05 |
| 10,402 | SRS: Detecting Logic Bugs of Join Implementation in DBMSs via Set Relation Synthesis | 2026 | SIGMOD | 5.093636e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| # | Overall Rank | Paper | Year | Venue |
|---|---|---|---|---|
| 1 | 7,366 | Non-Invasive Progressive Optimization for In-Memory Databases | 2016 | VLDB |
| 2 | 10,358 | Detecting Logic Bugs in DBMSs via Equivalent Data Construction | 2026 | SIGMOD |
| 3 | 3,003 | Configuration-Parametric Query Optimization for Physical Design Tuning | 2008 | SIGMOD |
| 4 | 9,756 | Efficient Query Re-optimization with Judicious Subquery Selections | 2023 | SIGMOD |
| 5 | 10,139 | Leveraging Query Optimizers to Verify the Soundness of LLM-based Query Rewrites for Real-World Workloads, and More! | 2026 | CIDR |
| 6 | 2,044 | Detecting Logic Bugs of Join Optimizations in DBMS | 2023 | SIGMOD |
| 7 | 1,256 | Sampling-Based Query Re-Optimization | 2016 | SIGMOD |
| 8 | 434 | Query Optimization for Parallel Execution | 1992 | SIGMOD |
| 9 | 151 | Efficient Mid-Query Re-Optimization of Sub-Optimal Query Execution Plans | 1998 | SIGMOD |
| 10 | 10,969 | Improving DBMS Scheduling Decisions with Accurate Performance Prediction on Concurrent Queries | 2025 | VLDB |