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
- 2. Chenglin Tian
- 3. Jun Sun
- 4. Ruifeng Wang
- 5. Wei Lu
- 6. Yongxin Zhao
- 7. Yinxing Xue
- 8. Junjie Wang
- 9. Xiaoyong Du
Incoming Citations (Sorted by Pagerank)
Showing 2 of 2 citing papers.
| Rank | Citing Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 10,188 | One DBMS, Two Modes, and a Bunch of Bugs: Catching Logic Bugs in Distributed DBMSs via Differential Testing | 2026 | SIGMOD | 4.1945683e-05 |
| 10,603 | Detecting Schema-Related Logic Bugs in Relational DBMSs via Equivalent Database Construction | 2025 | VLDB | 4.1945683e-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 |
|---|---|---|---|---|
| 406 | Massive Stochastic Testing of SQL | 1998 | VLDB | 0.00024053686 |
| 2,891 | APOLLO: Automatic Detection and Diagnosis of Performance Regressions in Database Systems | 2020 | VLDB | 7.954658e-05 |
| 3,432 | Demonstration of the Cosette Automated SQL Prover | 2017 | SIGMOD | 7.1008151e-05 |
| 4,148 | A Formal Semantics of SQL Queries, Its Validation, and Applications | 2018 | VLDB | 6.4079361e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| Overall Rank | Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 6,710 | Schema-free SQL | 2014 | SIGMOD | 4.9526147e-05 |
| 2,650 | Detecting Logic Bugs of Join Optimizations in DBMS | 2023 | SIGMOD | 8.3708191e-05 |
| 1,283 | Fast Methods For Testing Quantified Relational Calculus Assertions | 1982 | SIGMOD | 0.0001284615 |
| 11,120 | Demonstration of the VeriEQL Equivalence Checker for Complex SQL Queries | 2024 | VLDB | 4.1945683e-05 |
| 2,277 | Generating Targeted Queries for Database Testing | 2008 | SIGMOD | 9.1241198e-05 |
| 10,118 | Test Data Generation for Complex SQL Queries | 2026 | SIGMOD | 4.1945683e-05 |
| 4,148 | A Formal Semantics of SQL Queries, Its Validation, and Applications | 2018 | VLDB | 6.4079361e-05 |
| 6,137 | Detecting Metadata-Related Logic Bugs in Database Systems via Raw Database Construction | 2024 | VLDB | 5.1916986e-05 |
| 2,099 | Axiomatic Foundations and Algorithms for Deciding Semantic Equivalences of SQL Queries | 2018 | VLDB | 9.5479391e-05 |
| 10,603 | Detecting Schema-Related Logic Bugs in Relational DBMSs via Equivalent Database Construction | 2025 | VLDB | 4.1945683e-05 |