Detecting Logic Bugs in DBMSs via Equivalent Data Construction
Summary: Presents Equivalent Data Construction (EDC): precompute expression results, rewrite queries to replace operations with those constants, and report mismatches to detect implementation-level bugs in data operations (coercion/overflow/precision). Applied to 7 DBMSs, EDC uncovered 54 previously unknown bugs (39 confirmed), triggering developer engagement. (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. Wenqian Deng (Tsinghua University)
- 2. Jie Liang (Beihang University)
- 3. Zhiyong Wu (Tsinghua University)
- 4. Jingzhou Fu (Tsinghua University)
- 5. Yu Jiang (Tsinghua University)
BibTeX Citation
@inproceedings{deng_sigmod26,
title = {{Detecting Logic Bugs in DBMSs via Equivalent Data Construction}},
author = {Deng, Wenqian and Liang, Jie and Wu, Zhiyong and Fu, Jingzhou and Jiang, Yu},
series = {{SIGMOD} '26},
booktitle = {Proceedings of the {ACM} {SIGMOD} International Conference on Management of Data},
publisher = {Association for Computing Machinery},
doi = {10.1145/3769779},
url = {https://dl.acm.org/doi/10.1145/3769779},
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 6 of 6 cited papers.
Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.
| Rank | Cited Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 271 | TiDB: A Raft-based HTAP Database | 2020 | VLDB | 0.00022703024 |
| 392 | Massive Stochastic Testing of SQL | 1998 | VLDB | 0.00019342814 |
| 2,044 | Detecting Logic Bugs of Join Optimizations in DBMS | 2023 | SIGMOD | 9.2663577e-05 |
| 5,105 | SAM: Database Generation from Query Workloads with Supervised Autoregressive Models | 2022 | SIGMOD | 6.3628539e-05 |
| 5,429 | Detecting Metadata-Related Logic Bugs in Database Systems via Raw Database Construction | 2024 | VLDB | 6.222006e-05 |
| 8,037 | HYDRA: A Dynamic Big Data Regenerator | 2018 | VLDB | 5.5025567e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| # | Overall Rank | Paper | Year | Venue |
|---|---|---|---|---|
| 1 | 10,218 | Detecting Join Bugs in Database Engines via Join Implication Reasoning | 2026 | SIGMOD |
| 2 | 11,326 | Demonstration of the VeriEQL Equivalence Checker for Complex SQL Queries | 2024 | VLDB |
| 3 | 9,871 | Finding Logic Bugs in Spatial Database Engines via Affine Equivalent Inputs | 2024 | SIGMOD |
| 4 | 10,402 | SRS: Detecting Logic Bugs of Join Implementation in DBMSs via Set Relation Synthesis | 2026 | SIGMOD |
| 5 | 7,427 | Constant Optimization Driven Database System Testing | 2025 | SIGMOD |
| 6 | 5,429 | Detecting Metadata-Related Logic Bugs in Database Systems via Raw Database Construction | 2024 | VLDB |
| 7 | 2,044 | Detecting Logic Bugs of Join Optimizations in DBMS | 2023 | SIGMOD |
| 8 | 8,482 | A Demonstration of DLBD: Database Logic Bug Detection System | 2023 | VLDB |
| 9 | 9,227 | Detecting Schema-Related Logic Bugs in Relational DBMSs via Equivalent Database Construction | 2025 | VLDB |
| 10 | 10,235 | EPSC: Testing Database Management Systems via Equivalent Prepared Statement Construction | 2026 | SIGMOD |