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.1905499e-05 |
| 10,611 | Detecting Schema-Related Logic Bugs in Relational DBMSs via Equivalent Database Construction | 2025 | VLDB | 4.1905499e-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 |
|---|---|---|---|---|
| 405 | Massive Stochastic Testing of SQL | 1998 | VLDB | 0.00024046204 |
| 2,899 | APOLLO: Automatic Detection and Diagnosis of Performance Regressions in Database Systems | 2020 | VLDB | 7.9478977e-05 |
| 3,430 | Demonstration of the Cosette Automated SQL Prover | 2017 | SIGMOD | 7.0985442e-05 |
| 4,150 | A Formal Semantics of SQL Queries, Its Validation, and Applications | 2018 | VLDB | 6.4022639e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| Overall Rank | Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 6,711 | Schema-free SQL | 2014 | SIGMOD | 4.9485222e-05 |
| 2,657 | Detecting Logic Bugs of Join Optimizations in DBMS | 2023 | SIGMOD | 8.3636172e-05 |
| 1,282 | Fast Methods For Testing Quantified Relational Calculus Assertions | 1982 | SIGMOD | 0.0001283587 |
| 11,123 | Demonstration of the VeriEQL Equivalence Checker for Complex SQL Queries | 2024 | VLDB | 4.1905499e-05 |
| 2,280 | Generating Targeted Queries for Database Testing | 2008 | SIGMOD | 9.1247368e-05 |
| 10,118 | Test Data Generation for Complex SQL Queries | 2026 | SIGMOD | 4.1905499e-05 |
| 4,150 | A Formal Semantics of SQL Queries, Its Validation, and Applications | 2018 | VLDB | 6.4022639e-05 |
| 2,097 | Axiomatic Foundations and Algorithms for Deciding Semantic Equivalences of SQL Queries | 2018 | VLDB | 9.5439744e-05 |
| 6,143 | Detecting Metadata-Related Logic Bugs in Database Systems via Raw Database Construction | 2024 | VLDB | 5.1867156e-05 |
| 10,611 | Detecting Schema-Related Logic Bugs in Relational DBMSs via Equivalent Database Construction | 2025 | VLDB | 4.1905499e-05 |