Simple Testing Can Expose Most Critical Transaction Bugs: Understanding and Detecting Write-Specific Serializability Violations in Database Systems

Summary: Propose write-specific serializability: a schedule is correct if its final DB state equals some serial schedule's. WriteCheck, a lightweight final-state tester, found 22 violations (11 new critical bugs) across six production DBMSs, showing simple tests catch many transaction bugs. (summarized by gpt-5-mini on Feb 09 2026)

Paper ID: h9985cf35e411099b
Venue: VLDB
Year: 2025
Pagerank: 5.0875952e-05
Overall Rank: 10,060 | 32.37%
DOI: 10.14778/3742728.3742747

Incoming Non-self Citations Over Time

Authors

1. Ziyu Cui (Institute of Software, Chinese Academy of Sciences)
2. Wensheng Dou (Institute of Software, Chinese Academy of Sciences)
3. Yu Gao (Institute of Software, Chinese Academy of Sciences)
4. Rui Yang (Institute of Software, Chinese Academy of Sciences)
5. Yingying Zheng (Institute of Software, Chinese Academy of Sciences)
6. Jiansen Song (Institute of Software, Chinese Academy of Sciences)
7. Yuan Feng (Wuhan Dameng Database Co., Ltd.)
8. Jun Wei (Institute of Software, Chinese Academy of Sciences)

BibTeX Citation

@article{cui_vldb25,
        title = {{Simple Testing Can Expose Most Critical Transaction Bugs: Understanding and Detecting Write-Specific Serializability Violations in Database Systems}},
        author = {Cui, Ziyu and Dou, Wensheng and Gao, Yu and Yang, Rui and Zheng, Yingying and Song, Jiansen and Feng, Yuan and Wei, Jun},
        journal = {PVLDB},
        series = {{VLDB} '25},
        volume = {18},
        number = {8},
        pages = {2547--2560},
        doi = {10.14778/3742728.3742747},
        url = {https://doi.org/10.14778/3742728.3742747},
        year = {2025}
}

Incoming Citations (Sorted by Pagerank)

Showing 3 of 3 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
9,403	Detecting Schema-Related Logic Bugs in Relational DBMSs via Equivalent Database Construction	2025	VLDB	5.1833519e-05
10,432	DBugScribe: Automatic Database Bug Reproduction from Community Reports	2026	SIGMOD	4.9793485e-05
10,872	Detecting Data-Type-Related Logic Bugs in Relational DBMSs via Compatible Database Construction	2026	VLDB	4.9793485e-05

Outgoing Citations (Sorted by Pagerank)

Showing 17 of 17 cited papers.

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

Rank	Cited Paper	Year	Venue	Pagerank
19	A Critique of ANSI SQL Isolation Levels	1995	SIGMOD	0.00058781151
106	Quickly Generating Billion-Record Synthetic Databases	1994	SIGMOD	0.00033526937
383	Massive Stochastic Testing of SQL	1998	VLDB	0.00019484034
726	Serializable Snapshot Isolation in PostgreSQL	2012	VLDB	0.00014459037
747	QAGen: Generating Query-Aware Test Databases	2007	SIGMOD	0.00014283935
955	Flexible Database Generators	2005	VLDB	0.00012866364
1,102	Elle: Inferring Isolation Anomalies from Experimental Observations	2021	VLDB	0.00012004972
1,194	Highly Available Transactions: Virtues and Limitations	2014	VLDB	0.00011586405
1,334	TicToc: Time Traveling Optimistic Concurrency Control	2016	SIGMOD	0.00010995094
1,602	Simple and Realistic Data Generation	2006	VLDB	0.00010101626
1,832	APOLLO: Automatic Detection and Diagnosis of Performance Regressions in Database Systems	2020	VLDB	9.5430971e-05
1,947	Scalable Atomic Visibility with RAMP Transactions	2014	SIGMOD	9.3241479e-05
3,651	Keep It Simple: Testing Databases via Differential Query Plans	2024	SIGMOD	7.1327136e-05
3,936	Testing Graph Database Systems via Graph-Aware Metamorphic Relations	2024	VLDB	6.9162836e-05
5,054	Detecting Metadata-Related Logic Bugs in Database Systems via Raw Database Construction	2024	VLDB	6.2944842e-05
5,524	Ad Hoc Transactions in Web Applications: The Good, the Bad, and the Ugly	2022	SIGMOD	6.0941977e-05
9,403	Detecting Schema-Related Logic Bugs in Relational DBMSs via Equivalent Database Construction	2025	VLDB	5.1833519e-05

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	13,311	Relative Serializability: An Approach for Relaxing the Atomicity of Transactions	1994	PODS
2	7,479	Developer’s Responsibility or Database’s Responsibility? Rethinking Concurrency Control in Databases	2023	CIDR
3	237	Serializable Isolation for Snapshot Databases	2008	SIGMOD
4	9,194	Tolerating Bounded Inconsistency for Increasing Concurrency in Database Systems	1992	PODS
5	2,490	Formal Model of Correctness Without Serializability	1988	SIGMOD
6	10,136	Robustness against Read Committed for Transaction Templates	2021	VLDB
7	13,499	A semantic approach to correctness of concurrent transaction executions	1985	PODS
8	11,835	Robustness Against Read Committed: A Free Transactional Lunch	2022	PODS
9	1,071	High Performance Transactions via Early Write Visibility	2017	VLDB
10	9,270	On Correctness of Non-serializable Executions	1993	PODS