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: 7084
Venue: SIGMOD
Year: 2025
Pagerank: 5.620674e-05
Overall Rank: 7,427 | 49.05%
DOI: 10.1145/3709674

Incoming Non-self Citations Over Time

Authors

1. Chi Zhang (Nanjing University)
2. Manuel Rigger (National University of Singapore)

BibTeX Citation

@inproceedings{zhang_sigmod25,
        title = {{Constant Optimization Driven Database System Testing}},
        author = {Zhang, Chi and Rigger, Manuel},
        series = {{SIGMOD} '25},
        booktitle = {Proceedings of the {ACM} {SIGMOD} International Conference on Management of Data},
        publisher = {Association for Computing Machinery},
        doi = {10.1145/3709674},
        url = {https://dl.acm.org/doi/10.1145/3709674},
        year = {2025}
}

Incoming Citations (Sorted by Pagerank)

Showing 6 of 6 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
10,199	Automated Discovery of Test Oracles for Database Management Systems Using LLMs	2026	SIGMOD	5.093636e-05
10,216	DBugScribe: Automatic Database Bug Reproduction from Community Reports	2026	SIGMOD	5.093636e-05
10,218	Detecting Join Bugs in Database Engines via Join Implication Reasoning	2026	SIGMOD	5.093636e-05
10,235	EPSC: Testing Database Management Systems via Equivalent Prepared Statement Construction	2026	SIGMOD	5.093636e-05
10,402	SRS: Detecting Logic Bugs of Join Implementation in DBMSs via Set Relation Synthesis	2026	SIGMOD	5.093636e-05
10,477	One DBMS, Two Modes, and a Bunch of Bugs: Catching Logic Bugs in Distributed DBMSs via Differential Testing	2026	SIGMOD	5.093636e-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
105	Quickly Generating Billion-Record Synthetic Databases	1994	SIGMOD	0.00033877899
208	CockroachDB: The Resilient Geo-Distributed SQL Database	2020	SIGMOD	0.00024968157
271	TiDB: A Raft-based HTAP Database	2020	VLDB	0.00022703024
392	Massive Stochastic Testing of SQL	1998	VLDB	0.00019342814
734	QAGen: Generating Query-Aware Test Databases	2007	SIGMOD	0.00014525584
938	Flexible Database Generators	2005	VLDB	0.00013089351
2,000	Data Management for Data Science: Towards Embedded Analytics	2020	CIDR	9.3336258e-05
2,030	APOLLO: Automatic Detection and Diagnosis of Performance Regressions in Database Systems	2020	VLDB	9.2841464e-05
2,044	Detecting Logic Bugs of Join Optimizations in DBMS	2023	SIGMOD	9.2663577e-05
3,295	Lightning Fast and Space Efficient Inequality Joins	2015	VLDB	7.5477715e-05

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	13,591	CODD: A Dataless Approach to Big Data Testing	2015	VLDB
2	3,903	Keep It Simple: Testing Databases via Differential Query Plans	2024	SIGMOD
3	9,227	Detecting Schema-Related Logic Bugs in Relational DBMSs via Equivalent Database Construction	2025	VLDB
4	10,235	EPSC: Testing Database Management Systems via Equivalent Prepared Statement Construction	2026	SIGMOD
5	10,331	Testing Graph Databases with Synthesized Queries	2026	SIGMOD
6	10,477	One DBMS, Two Modes, and a Bunch of Bugs: Catching Logic Bugs in Distributed DBMSs via Differential Testing	2026	SIGMOD
7	5,429	Detecting Metadata-Related Logic Bugs in Database Systems via Raw Database Construction	2024	VLDB
8	8,482	A Demonstration of DLBD: Database Logic Bug Detection System	2023	VLDB
9	2,044	Detecting Logic Bugs of Join Optimizations in DBMS	2023	SIGMOD
10	10,358	Detecting Logic Bugs in DBMSs via Equivalent Data Construction	2026	SIGMOD