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: 13879
Venue: VLDB
Year: 2025
Pagerank: 4.1905499e-05
Overall Rank: 10,611 | 26.26%
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,630	Simple Testing Can Expose Most Critical Transaction Bugs: Understanding and Detecting Write-Specific Serializability Violations in Database Systems	2025	VLDB	4.1905499e-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
363	CockroachDB: The Resilient Geo-Distributed SQL Database	2020	SIGMOD	0.00025750338
405	Massive Stochastic Testing of SQL	1998	VLDB	0.00024046204
486	TiDB: A Raft-based HTAP Database	2020	VLDB	0.00022039625
882	QAGen: Generating Query-Aware Test Databases	2007	SIGMOD	0.00015634206
933	Flexible Database Generators	2005	VLDB	0.00015220613
1,228	Elle: Inferring Isolation Anomalies from Experimental Observations	2021	VLDB	0.00013158624
1,482	Simple and Realistic Data Generation	2006	VLDB	0.00011715248
2,657	Detecting Logic Bugs of Join Optimizations in DBMS	2023	SIGMOD	8.3636172e-05
2,899	APOLLO: Automatic Detection and Diagnosis of Performance Regressions in Database Systems	2020	VLDB	7.9478977e-05
3,514	Complete Yet Practical Search for Minimal Query Reformulations Under Constraints	2014	SIGMOD	7.0192177e-05
4,106	Exploiting Constraint-Like Data Characterizations in Query Optimization	2001	SIGMOD	6.4395338e-05
4,505	Testing Graph Database Systems via Graph-Aware Metamorphic Relations	2024	VLDB	6.1290872e-05
4,999	Keep It Simple: Testing Databases via Differential Query Plans	2024	SIGMOD	5.7638722e-05
5,268	Analysis of Recovery in a Database System Using a Write-Ahead Log Protocol	1992	SIGMOD	5.5926256e-05
6,096	QRelX: Generating Meaningful Queries that Provide Cardinality Assurance	2010	SIGMOD	5.2079002e-05
6,143	Detecting Metadata-Related Logic Bugs in Database Systems via Raw Database Construction	2024	VLDB	5.1867156e-05
7,724	Semantic Conformance Testing of Relational DBMS	2025	VLDB	4.6622637e-05
8,798	Efficient Black-box Checking of Snapshot Isolation in Databases	2023	VLDB	4.4443524e-05
10,630	Simple Testing Can Expose Most Critical Transaction Bugs: Understanding and Detecting Write-Specific Serializability Violations in Database Systems	2025	VLDB	4.1905499e-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.1905499e-05
3,411	SQLCheck: Automated Detection and Diagnosis of SQL Anti-Patterns	2020	SIGMOD	7.1215953e-05
11,123	Demonstration of the VeriEQL Equivalence Checker for Complex SQL Queries	2024	VLDB	4.1905499e-05
10,114	SRS: Detecting Logic Bugs of Join Implementation in DBMSs via Set Relation Synthesis	2026	SIGMOD	4.1905499e-05
8,273	Constant Optimization Driven Database System Testing	2025	SIGMOD	4.5392079e-05
2,657	Detecting Logic Bugs of Join Optimizations in DBMS	2023	SIGMOD	8.3636172e-05
6,143	Detecting Metadata-Related Logic Bugs in Database Systems via Raw Database Construction	2024	VLDB	5.1867156e-05
7,724	Semantic Conformance Testing of Relational DBMS	2025	VLDB	4.6622637e-05
10,067	Detecting Logic Bugs in DBMSs via Equivalent Data Construction	2026	SIGMOD	4.1905499e-05
8,582	A Demonstration of DLBD: Database Logic Bug Detection System	2023	VLDB	4.4868313e-05