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: 13900
Venue: VLDB
Year: 2025
Pagerank: 4.1945683e-05
Overall Rank: 10,622 | 26.11%
DOI: 10.14778/3742728.3742747

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,603	Detecting Schema-Related Logic Bugs in Relational DBMSs via Equivalent Database Construction	2025	VLDB	4.1945683e-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
23	A Critique of ANSI SQL Isolation Levels	1995	SIGMOD	0.00083894938
145	Quickly Generating Billion-Record Synthetic Databases	1994	SIGMOD	0.0004138408
406	Massive Stochastic Testing of SQL	1998	VLDB	0.00024053686
888	QAGen: Generating Query-Aware Test Databases	2007	SIGMOD	0.00015578618
934	Flexible Database Generators	2005	VLDB	0.00015227409
957	Serializable Snapshot Isolation in PostgreSQL	2012	VLDB	0.00015048214
1,227	Elle: Inferring Isolation Anomalies from Experimental Observations	2021	VLDB	0.00013170695
1,419	Highly Available Transactions: Virtues and Limitations	2014	VLDB	0.00012079793
1,483	Simple and Realistic Data Generation	2006	VLDB	0.00011720317
1,961	TicToc: Time Traveling Optimistic Concurrency Control	2016	SIGMOD	9.9514005e-05
2,273	Scalable Atomic Visibility with RAMP Transactions	2014	SIGMOD	9.1329997e-05
2,891	APOLLO: Automatic Detection and Diagnosis of Performance Regressions in Database Systems	2020	VLDB	7.954658e-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,822	Ad Hoc Transactions in Web Applications: The Good, the Bad, and the Ugly	2022	SIGMOD	5.313161e-05
6,137	Detecting Metadata-Related Logic Bugs in Database Systems via Raw Database Construction	2024	VLDB	5.1916986e-05
10,603	Detecting Schema-Related Logic Bugs in Relational DBMSs via Equivalent Database Construction	2025	VLDB	4.1945683e-05

Semantically Similar Papers

Overall Rank	Paper	Year	Venue	Pagerank
12,827	Relative Serializability: An Approach for Relaxing the Atomicity of Transactions	1994	PODS	4.1945683e-05
7,618	Developer’s Responsibility or Database’s Responsibility? Rethinking Concurrency Control in Databases	2023	CIDR	4.6944277e-05
349	Serializable Isolation for Snapshot Databases	2008	SIGMOD	0.00026440605
7,272	Tolerating Bounded Inconsistency for Increasing Concurrency in Database Systems	1992	PODS	4.7811016e-05
1,753	Formal Model of Correctness Without Serializability	1988	SIGMOD	0.00010673887
9,815	Robustness against Read Committed for Transaction Templates	2021	VLDB	4.2783272e-05
13,010	A semantic approach to correctness of concurrent transaction executions	1985	PODS	4.1945683e-05
11,327	Robustness Against Read Committed: A Free Transactional Lunch	2022	PODS	4.1945683e-05
1,521	High Performance Transactions via Early Write Visibility	2017	VLDB	0.00011532045
8,941	On Correctness of Non-serializable Executions	1993	PODS	4.427232e-05