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.3187835e-05
Overall Rank: 8,426 | 43.52%
DOI: 10.14778/3734839.3734861
PDF: Download (CC BY-NC-ND 4.0)

Incoming Non-self Citations Over Time

Authors

1. Jiansen Song (Institute of Software, Chinese Academy of Sciences; University of Chinese Academy of Sciences)
2. Wensheng Dou (Institute of Software, Chinese Academy of Sciences; Nanjing Institute of Software Technology, University of Chinese Academy of Sciences; University of Chinese Academy of Sciences)
3. Yingying Zheng (Institute of Software, Chinese Academy of Sciences; University of Chinese Academy of Sciences)
4. Yu Gao (Institute of Software, Chinese Academy of Sciences; University of Chinese Academy of Sciences)
5. Ziyu Cui (Institute of Software, Chinese Academy of Sciences; University of Chinese Academy of Sciences)
6. Wei Wang (Institute of Software, Chinese Academy of Sciences; Nanjing Institute of Software Technology, University of Chinese Academy of Sciences; University of Chinese Academy of Sciences)
7. Jun Wei (Institute of Software, Chinese Academy of Sciences; Nanjing Institute of Software Technology, University of Chinese Academy of Sciences; University of Chinese Academy of Sciences)

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 5 of 5 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
10,098	Simple Testing Can Expose Most Critical Transaction Bugs: Understanding and Detecting Write-Specific Serializability Violations in Database Systems	2025	VLDB	5.068372e-05
10,382	Automated Database Testing via LLM-Synthesized SQL Features	2027	SIGMOD	4.9605343e-05
10,493	Automated Discovery of Test Oracles for Database Management Systems Using LLMs	2026	SIGMOD	4.9605343e-05
10,510	DBugScribe: Automatic Database Bug Reproduction from Community Reports	2026	SIGMOD	4.9605343e-05
10,942	Detecting Data-Type-Related Logic Bugs in Relational DBMSs via Compatible Database Construction	2026	VLDB	4.9605343e-05

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
186	CockroachDB: The Resilient Geo-Distributed SQL Database	2020	SIGMOD	0.00026001543
232	TiDB: A Raft-based HTAP Database	2020	VLDB	0.00023776373
378	Massive Stochastic Testing of SQL	1998	VLDB	0.000196128
751	QAGen: Generating Query-Aware Test Databases	2007	SIGMOD	0.00014245413
958	Flexible Database Generators	2005	VLDB	0.00012834376
1,103	Elle: Inferring Isolation Anomalies from Experimental Observations	2021	VLDB	0.00011969356
1,607	Simple and Realistic Data Generation	2006	VLDB	0.00010078023
1,765	APOLLO: Automatic Detection and Diagnosis of Performance Regressions in Database Systems	2020	VLDB	9.689153e-05
1,854	Detecting Logic Bugs of Join Optimizations in DBMS	2023	SIGMOD	9.4858897e-05
3,444	Complete Yet Practical Search for Minimal Query Reformulations Under Constraints	2014	SIGMOD	7.277762e-05
3,652	Keep It Simple: Testing Databases via Differential Query Plans	2024	SIGMOD	7.1150097e-05
3,940	Testing Graph Database Systems via Graph-Aware Metamorphic Relations	2024	VLDB	6.8942302e-05
4,253	Exploiting Constraint-Like Data Characterizations in Query Optimization	2001	SIGMOD	6.6883193e-05
4,748	Detecting Metadata-Related Logic Bugs in Database Systems via Raw Database Construction	2024	VLDB	6.4257176e-05
5,482	Analysis of Recovery in a Database System Using a Write-Ahead Log Protocol	1992	SIGMOD	6.098364e-05
5,955	QRelX: Generating Meaningful Queries that Provide Cardinality Assurance	2010	SIGMOD	5.9169341e-05
7,221	Semantic Conformance Testing of Relational DBMS	2025	VLDB	5.5655523e-05
8,895	Efficient Black-box Checking of Snapshot Isolation in Databases	2023	VLDB	5.2412904e-05
10,098	Simple Testing Can Expose Most Critical Transaction Bugs: Understanding and Detecting Write-Specific Serializability Violations in Database Systems	2025	VLDB	5.068372e-05

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	6,118	Constant Optimization Driven Database System Testing	2025	SIGMOD
2	10,493	Automated Discovery of Test Oracles for Database Management Systems Using LLMs	2026	SIGMOD
3	9,252	EPSC: Testing Database Management Systems via Equivalent Prepared Statement Construction	2026	SIGMOD
4	1,854	Detecting Logic Bugs of Join Optimizations in DBMS	2023	SIGMOD
5	10,382	Automated Database Testing via LLM-Synthesized SQL Features	2027	SIGMOD
6	4,748	Detecting Metadata-Related Logic Bugs in Database Systems via Raw Database Construction	2024	VLDB
7	7,221	Semantic Conformance Testing of Relational DBMS	2025	VLDB
8	10,633	Detecting Logic Bugs in DBMSs via Equivalent Data Construction	2026	SIGMOD
9	8,640	A Demonstration of DLBD: Database Logic Bug Detection System	2023	VLDB
10	10,942	Detecting Data-Type-Related Logic Bugs in Relational DBMSs via Compatible Database Construction	2026	VLDB