Deciding Robustness for Lower SQL Isolation Levels

Summary: Characterizes robustness of transaction sets against read uncommitted and read committed by absence of specific counterexample schedules (split, multi-split) and cycles in order-sensitive interference graphs, unlike SI where atomic visibility simplifies analysis. Proves read-committed robustness is coNP-complete while read-uncommitted is LOGSPACE-complete. (summarized by gpt-5-mini on Feb 09 2026)

Paper ID: 1818
Venue: PODS
Year: 2020
Pagerank: 5.1895077e-05
Overall Rank: 9,955 | 31.70%
DOI: 10.1145/3375395.3387655

Incoming Non-self Citations Over Time

Authors

1. Bas Ketsman (Vrije Universiteit Brussel)
2. Christoph Koch (EPFL)
3. Frank Neven (Hasselt University; Transnational University of Limburg)
4. Brecht Vandevoort (Hasselt University; Transnational University of Limburg)

BibTeX Citation

@inproceedings{ketsman_pods20,
        address = {New York, NY, USA},
        series = {{PODS} '20},
        title = {{Deciding Robustness for Lower SQL Isolation Levels}},
        url = {https://dl.acm.org/doi/10.1145/3375395.3387655},
        doi = {10.1145/3375395.3387655},
        booktitle = {Proceedings of the {ACM} {SIGMOD} Symposium on {Principles} of {Database} {Systems}},
        publisher = {Association for Computing Machinery},
        author = {Ketsman, Bas and Koch, Christoph and Neven, Frank and Vandevoort, Brecht},
        year = {2020}
}

Incoming Citations (Sorted by Pagerank)

Showing 6 of 6 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
9,954	Robustness against Read Committed for Transaction Templates	2021	VLDB	5.1895077e-05
10,014	TxnSails: Achieving Serializable Transaction Scheduling with Self-Adaptive Isolation Level Selection	2025	VLDB	5.1770751e-05
10,893	Using Read Promotion and Mixed Isolation Levels for Performant Yet Serializable Execution of Transaction Programs	2025	VLDB	5.093636e-05
11,128	When View- and Conflict-Robustness Coincide for Multiversion Concurrency Control	2024	PODS	5.093636e-05
11,371	Allocating Isolation Levels to Transactions in a Multiversion Setting	2023	PODS	5.093636e-05
11,526	Robustness Against Read Committed: A Free Transactional Lunch	2022	PODS	5.093636e-05

Outgoing Citations (Sorted by Pagerank)

Showing 3 of 3 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.00058720861
1,187	Highly Available Transactions: Virtues and Limitations	2014	VLDB	0.00011760199
2,646	Allocating Isolation Levels to Transactions	2005	PODS	8.2970356e-05

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	10,597	Fast Verification of Strong Database Isolation	2026	VLDB
2	245	Serializable Isolation for Snapshot Databases	2008	SIGMOD
3	14,006	Testing Isolation Levels of Relational Database Management Systems	2002	VLDB
4	3,940	Quantifying Isolation Anomalies	2009	VLDB
5	10,893	Using Read Promotion and Mixed Isolation Levels for Performant Yet Serializable Execution of Transaction Programs	2025	VLDB
6	2,646	Allocating Isolation Levels to Transactions	2005	PODS
7	11,371	Allocating Isolation Levels to Transactions in a Multiversion Setting	2023	PODS
8	11,128	When View- and Conflict-Robustness Coincide for Multiversion Concurrency Control	2024	PODS
9	9,954	Robustness against Read Committed for Transaction Templates	2021	VLDB
10	11,526	Robustness Against Read Committed: A Free Transactional Lunch	2022	PODS