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

Summary: DDLCheck builds two equivalent databases by executing a complex DDL sequence (seq_gen) and a synthesized CREATE-only sequence (seq_syn); any discrepancy in subsequent DQL/DML outcomes signals a schema-related logic bug. Uses DDL-sequence-oriented optimizations; found 34 bugs (29 new) across six DBMSs. (summarized by gpt-5-mini on Feb 09 2026)

Paper ID: 13878
Venue: VLDB
Year: 2025
Pagerank: 4.1945683e-05
Overall Rank: 10,603 | 26.24%
DOI: 10.14778/3734839.3734861

Incoming Non-self Citations Over Time

No non-self incoming citations found for this paper in this database.

Authors

Incoming Citations (Sorted by Pagerank)

Showing 1 of 1 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
10,622	Simple Testing Can Expose Most Critical Transaction Bugs: Understanding and Detecting Write-Specific Serializability Violations in Database Systems	2025	VLDB	4.1945683e-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
390	CockroachDB: The Resilient Geo-Distributed SQL Database	2020	SIGMOD	0.00024607299
406	Massive Stochastic Testing of SQL	1998	VLDB	0.00024053686
488	TiDB: A Raft-based HTAP Database	2020	VLDB	0.000220409
888	QAGen: Generating Query-Aware Test Databases	2007	SIGMOD	0.00015578618
934	Flexible Database Generators	2005	VLDB	0.00015227409
1,227	Elle: Inferring Isolation Anomalies from Experimental Observations	2021	VLDB	0.00013170695
1,483	Simple and Realistic Data Generation	2006	VLDB	0.00011720317
2,650	Detecting Logic Bugs of Join Optimizations in DBMS	2023	SIGMOD	8.3708191e-05
2,891	APOLLO: Automatic Detection and Diagnosis of Performance Regressions in Database Systems	2020	VLDB	7.954658e-05
3,509	Complete Yet Practical Search for Minimal Query Reformulations Under Constraints	2014	SIGMOD	7.0263584e-05
4,107	Exploiting Constraint-Like Data Characterizations in Query Optimization	2001	SIGMOD	6.4448692e-05
4,503	Testing Graph Database Systems via Graph-Aware Metamorphic Relations	2024	VLDB	6.1349827e-05
5,037	Keep It Simple: Testing Databases via Differential Query Plans	2024	SIGMOD	5.7434825e-05
5,260	Analysis of Recovery in a Database System Using a Write-Ahead Log Protocol	1992	SIGMOD	5.5979834e-05
6,095	QRelX: Generating Meaningful Queries that Provide Cardinality Assurance	2010	SIGMOD	5.2128855e-05
6,137	Detecting Metadata-Related Logic Bugs in Database Systems via Raw Database Construction	2024	VLDB	5.1916986e-05
7,726	Semantic Conformance Testing of Relational DBMS	2025	VLDB	4.6667388e-05
8,800	Efficient Black-box Checking of Snapshot Isolation in Databases	2023	VLDB	4.4486165e-05
10,622	Simple Testing Can Expose Most Critical Transaction Bugs: Understanding and Detecting Write-Specific Serializability Violations in Database Systems	2025	VLDB	4.1945683e-05

Semantically Similar Papers

Overall Rank	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
3,409	SQLCheck: Automated Detection and Diagnosis of SQL Anti-Patterns	2020	SIGMOD	7.1270252e-05
11,120	Demonstration of the VeriEQL Equivalence Checker for Complex SQL Queries	2024	VLDB	4.1945683e-05
10,114	SRS: Detecting Logic Bugs of Join Implementation in DBMSs via Set Relation Synthesis	2026	SIGMOD	4.1945683e-05
8,278	Constant Optimization Driven Database System Testing	2025	SIGMOD	4.5435639e-05
2,650	Detecting Logic Bugs of Join Optimizations in DBMS	2023	SIGMOD	8.3708191e-05
6,137	Detecting Metadata-Related Logic Bugs in Database Systems via Raw Database Construction	2024	VLDB	5.1916986e-05
7,726	Semantic Conformance Testing of Relational DBMS	2025	VLDB	4.6667388e-05
10,067	Detecting Logic Bugs in DBMSs via Equivalent Data Construction	2026	SIGMOD	4.1945683e-05
8,586	A Demonstration of DLBD: Database Logic Bug Detection System	2023	VLDB	4.4902778e-05