Semantic Conformance Testing of Relational DBMS
Summary: First semantic conformance method for RDBMSs: encode denotational SQL semantics in Prolog as an executable reference for differential testing. Define three semantics-driven coverage criteria with a coverage-guided query generator and uncover 19 bugs and 13 inconsistencies across six major DBMSs (e.g., MySQL, PostgreSQL, OceanBase). (summarized by gpt-5-mini on Feb 09 2026)
Incoming Non-self Citations Over Time
Authors
- 1. Shuang Liu (Renmin University of China)
- 2. Chenglin Tian (Beijing Institute of Technology)
- 3. Jun Sun (Singapore Management University)
- 4. Ruifeng Wang (Tianjin University)
- 5. Wei Lu (Renmin University of China)
- 6. Yongxin Zhao (East China Normal University)
- 7. Yinxing Xue (University of Science and Technology Beijing)
- 8. Junjie Wang (Tianjin University)
- 9. Xiaoyong Du (Renmin University of China)
BibTeX Citation
@article{liu_vldb25,
title = {{Semantic Conformance Testing of Relational DBMS}},
author = {Liu, Shuang and Tian, Chenglin and Sun, Jun and Wang, Ruifeng and Lu, Wei and Zhao, Yongxin and Xue, Yinxing and Wang, Junjie and Du, Xiaoyong},
journal = {PVLDB},
series = {{VLDB} '25},
volume = {18},
number = {3},
pages = {850--862},
doi = {10.14778/3712221.3712247},
url = {https://doi.org/10.14778/3712221.3712247},
year = {2025}
}Incoming Citations (Sorted by Pagerank)
Showing 2 of 2 citing papers.
| Rank | Citing Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 9,227 | Detecting Schema-Related Logic Bugs in Relational DBMSs via Equivalent Database Construction | 2025 | VLDB | 5.3023217e-05 |
| 10,477 | One DBMS, Two Modes, and a Bunch of Bugs: Catching Logic Bugs in Distributed DBMSs via Differential Testing | 2026 | SIGMOD | 5.093636e-05 |
Previous
Page 1 / 1
Next
Outgoing Citations (Sorted by Pagerank)
Showing 4 of 4 cited papers.
Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.
| Rank | Cited Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 392 | Massive Stochastic Testing of SQL | 1998 | VLDB | 0.00019342814 |
| 2,030 | APOLLO: Automatic Detection and Diagnosis of Performance Regressions in Database Systems | 2020 | VLDB | 9.2841464e-05 |
| 3,172 | Demonstration of the Cosette Automated SQL Prover | 2017 | SIGMOD | 7.6679093e-05 |
| 3,925 | A Formal Semantics of SQL Queries, Its Validation, and Applications | 2018 | VLDB | 7.0140857e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| # | Overall Rank | Paper | Year | Venue |
|---|---|---|---|---|
| 1 | 10,199 | Automated Discovery of Test Oracles for Database Management Systems Using LLMs | 2026 | SIGMOD |
| 2 | 2,044 | Detecting Logic Bugs of Join Optimizations in DBMS | 2023 | SIGMOD |
| 3 | 1,624 | Fast Methods For Testing Quantified Relational Calculus Assertions | 1982 | SIGMOD |
| 4 | 11,326 | Demonstration of the VeriEQL Equivalence Checker for Complex SQL Queries | 2024 | VLDB |
| 5 | 2,069 | Generating Targeted Queries for Database Testing | 2008 | SIGMOD |
| 6 | 10,406 | Test Data Generation for Complex SQL Queries | 2026 | SIGMOD |
| 7 | 3,925 | A Formal Semantics of SQL Queries, Its Validation, and Applications | 2018 | VLDB |
| 8 | 1,829 | Axiomatic Foundations and Algorithms for Deciding Semantic Equivalences of SQL Queries | 2018 | VLDB |
| 9 | 5,429 | Detecting Metadata-Related Logic Bugs in Database Systems via Raw Database Construction | 2024 | VLDB |
| 10 | 9,227 | Detecting Schema-Related Logic Bugs in Relational DBMSs via Equivalent Database Construction | 2025 | VLDB |