DBScholar

Back to papers

Detecting Schema-Related Logic Bugs in Relational DBMSs via Equivalent Database Construction

Summary: DDLCheck detects schema-related DBMS logic bugs via differential testing: compares results from databases built by complex DDL sequences and equivalent CREATE-only sequences. An optimized DDL exploration found 34 bugs across six DBMSs, including 29 previously unknown. (summarized by gpt-5.6-luna on Jul 24 2026)

Paper ID
hb2048420cee26d29
Venue
VLDB
Year
2025
Pagerank
5.1833519e-05
Overall Rank
9,403 | 36.78%
DOI
10.14778/3734839.3734861

Incoming Non-self Citations Over Time

Authors

BibTeX Citation

@article{song_vldb25,
        title = {{Detecting Schema-Related Logic Bugs in Relational DBMSs via Equivalent Database Construction}},
        author = {Song, Jiansen and Dou, Wensheng and Zheng, Yingying and Gao, Yu and Cui, Ziyu and Wang, Wei and Wei, Jun},
        journal = {PVLDB},
        series = {{VLDB} '25},
        volume = {18},
        number = {7},
        pages = {2281--2294},
        doi = {10.14778/3734839.3734861},
        url = {https://doi.org/10.14778/3734839.3734861},
        year = {2025}
}

Incoming Citations (Sorted by Pagerank)

Showing 4 of 4 citing papers.

Rank Citing Paper Year Venue Pagerank
10,060 Simple Testing Can Expose Most Critical Transaction Bugs: Understanding and Detecting Write-Specific Serializability Violations in Database Systems 2025 VLDB 5.0875952e-05
10,415 Automated Discovery of Test Oracles for Database Management Systems Using LLMs 2026 SIGMOD 4.9793485e-05
10,432 DBugScribe: Automatic Database Bug Reproduction from Community Reports 2026 SIGMOD 4.9793485e-05
10,872 Detecting Data-Type-Related Logic Bugs in Relational DBMSs via Compatible Database Construction 2026 VLDB 4.9793485e-05
Previous Page 1 / 1 Next

Outgoing Citations (Sorted by Pagerank)

Showing 19 of 19 cited papers.

Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.

Rank Cited Paper Year Venue Pagerank
185 CockroachDB: The Resilient Geo-Distributed SQL Database 2020 SIGMOD 0.00026072278
234 TiDB: A Raft-based HTAP Database 2020 VLDB 0.00023765806
383 Massive Stochastic Testing of SQL 1998 VLDB 0.00019484034
747 QAGen: Generating Query-Aware Test Databases 2007 SIGMOD 0.00014283935
955 Flexible Database Generators 2005 VLDB 0.00012866364
1,102 Elle: Inferring Isolation Anomalies from Experimental Observations 2021 VLDB 0.00012004972
1,602 Simple and Realistic Data Generation 2006 VLDB 0.00010101626
1,832 APOLLO: Automatic Detection and Diagnosis of Performance Regressions in Database Systems 2020 VLDB 9.5430971e-05
1,928 Detecting Logic Bugs of Join Optimizations in DBMS 2023 SIGMOD 9.3567082e-05
3,447 Complete Yet Practical Search for Minimal Query Reformulations Under Constraints 2014 SIGMOD 7.2941472e-05
3,651 Keep It Simple: Testing Databases via Differential Query Plans 2024 SIGMOD 7.1327136e-05
3,936 Testing Graph Database Systems via Graph-Aware Metamorphic Relations 2024 VLDB 6.9162836e-05
4,250 Exploiting Constraint-Like Data Characterizations in Query Optimization 2001 SIGMOD 6.7027541e-05
5,054 Detecting Metadata-Related Logic Bugs in Database Systems via Raw Database Construction 2024 VLDB 6.2944842e-05
5,486 Analysis of Recovery in a Database System Using a Write-Ahead Log Protocol 1992 SIGMOD 6.1097144e-05
5,972 QRelX: Generating Meaningful Queries that Provide Cardinality Assurance 2010 SIGMOD 5.9311519e-05
7,919 Semantic Conformance Testing of Relational DBMS 2025 VLDB 5.4269617e-05
8,878 Efficient Black-box Checking of Snapshot Isolation in Databases 2023 VLDB 5.2570745e-05
10,060 Simple Testing Can Expose Most Critical Transaction Bugs: Understanding and Detecting Write-Specific Serializability Violations in Database Systems 2025 VLDB 5.0875952e-05
Previous Page 1 / 1 Next

Semantically Similar Papers

# Overall Rank Paper Year Venue
1 9,221 SRS: Detecting Logic Bugs of Join Implementation in DBMSs via Set Relation Synthesis 2026 SIGMOD
2 6,100 Constant Optimization Driven Database System Testing 2025 SIGMOD
3 10,415 Automated Discovery of Test Oracles for Database Management Systems Using LLMs 2026 SIGMOD
4 9,218 EPSC: Testing Database Management Systems via Equivalent Prepared Statement Construction 2026 SIGMOD
5 1,928 Detecting Logic Bugs of Join Optimizations in DBMS 2023 SIGMOD
6 5,054 Detecting Metadata-Related Logic Bugs in Database Systems via Raw Database Construction 2024 VLDB
7 7,919 Semantic Conformance Testing of Relational DBMS 2025 VLDB
8 10,559 Detecting Logic Bugs in DBMSs via Equivalent Data Construction 2026 SIGMOD
9 8,615 A Demonstration of DLBD: Database Logic Bug Detection System 2023 VLDB
10 10,872 Detecting Data-Type-Related Logic Bugs in Relational DBMSs via Compatible Database Construction 2026 VLDB