Constant Optimization Driven Database System Testing

Summary: CODDTest uses constant folding and constant propagation on predicates to reveal logic bugs in DBMS query results. Evaluated on SQLite, MySQL, CockroachDB, DuckDB, and TiDB, it finds 45 bugs (24 logic); 11 are CODDTest-only, underscoring practicality and broad adoptability. (summarized by gpt-5-nano on Feb 09 2026)

Paper ID: 7022
Venue: SIGMOD
Year: 2025
Pagerank: 4.5435639e-05
Overall Rank: 8,278 | 42.42%
DOI: 10.1145/3709674

Incoming Non-self Citations Over Time

Authors

1. Chi Zhang
2. Manuel Rigger

Incoming Citations (Sorted by Pagerank)

Showing 2 of 2 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
10,114	SRS: Detecting Logic Bugs of Join Implementation in DBMSs via Set Relation Synthesis	2026	SIGMOD	4.1945683e-05
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

Outgoing Citations (Sorted by Pagerank)

Showing 10 of 10 cited papers.

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

Rank	Cited Paper	Year	Venue	Pagerank
145	Quickly Generating Billion-Record Synthetic Databases	1994	SIGMOD	0.0004138408
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
2,443	Data Management for Data Science: Towards Embedded Analytics	2020	CIDR	8.8078476e-05
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,571	Lightning Fast and Space Efficient Inequality Joins	2015	VLDB	6.9580858e-05

Semantically Similar Papers

Overall Rank	Paper	Year	Venue	Pagerank
10,114	SRS: Detecting Logic Bugs of Join Implementation in DBMSs via Set Relation Synthesis	2026	SIGMOD	4.1945683e-05
13,390	CODD: A Dataless Approach to Big Data Testing	2015	VLDB	-
5,037	Keep It Simple: Testing Databases via Differential Query Plans	2024	SIGMOD	5.7434825e-05
10,603	Detecting Schema-Related Logic Bugs in Relational DBMSs via Equivalent Database Construction	2025	VLDB	4.1945683e-05
10,036	Testing Graph Databases with Synthesized Queries	2026	SIGMOD	4.1945683e-05
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
6,137	Detecting Metadata-Related Logic Bugs in Database Systems via Raw Database Construction	2024	VLDB	5.1916986e-05
8,586	A Demonstration of DLBD: Database Logic Bug Detection System	2023	VLDB	4.4902778e-05
2,650	Detecting Logic Bugs of Join Optimizations in DBMS	2023	SIGMOD	8.3708191e-05
10,067	Detecting Logic Bugs in DBMSs via Equivalent Data Construction	2026	SIGMOD	4.1945683e-05