Automating the Detection of Snapshot Isolation Anomalies

Summary: Automates SI-anomaly detection and correction by analyzing application code or SQL traces, mechanically identifying safe program modifications while reducing false positives. A DBMS-independent tool validated on production applications uncovered real-world anomalies. (summarized by gpt-5.6-luna on Jul 24 2026)

Paper ID: 9727
Venue: VLDB
Year: 2007
Pagerank: 9.2495387e-05
Overall Rank: 2,057 | 85.89%
DOI: -

Incoming Non-self Citations Over Time

Authors

1. Sudhir Jorwekar (Indian Institute of Technology Mumbai)
2. Alan Fekete (University of Sydney)
3. Krithi Ramamritham (Indian Institute of Technology Mumbai)
4. S. Sudarshan (Indian Institute of Technology Mumbai)

BibTeX Citation

@article{jorwekar_vldb07,
        title = {{Automating the Detection of Snapshot Isolation Anomalies}},
        author = {Jorwekar, Sudhir and Fekete, Alan and Ramamritham, Krithi and Sudarshan, S.},
        journal = {PVLDB},
        series = {{VLDB} '07},
        pages = {1263--1274},
        year = {2007}
}

Incoming Citations (Sorted by Pagerank)

Showing 11 of 11 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
233	Fast Serializable Multi-Version Concurrency Control for Main-Memory Database Systems	2015	SIGMOD	0.00023815642
245	Serializable Isolation for Snapshot Databases	2008	SIGMOD	0.00023458287
733	Serializable Snapshot Isolation in PostgreSQL	2012	VLDB	0.00014533437
1,282	Improving OLTP Scalability using Speculative Lock Inheritance	2009	VLDB	0.00011338762
1,637	On the Design and Scalability of Distributed Shared-Data Databases	2015	SIGMOD	0.0001015538
2,052	ACIDRain: Concurrency-Related Attacks on Database-Backed Web Applications	2017	SIGMOD	9.251901e-05
3,940	Quantifying Isolation Anomalies	2009	VLDB	7.0080239e-05
7,347	Developer’s Responsibility or Database’s Responsibility? Rethinking Concurrency Control in Databases	2023	CIDR	5.6375582e-05
9,287	Executing Long-Running Transactions in Synchronization-Free Main Memory Database Systems	2013	CIDR	5.2913314e-05
11,115	Leopard: A General Test Suite for Isolation Level Verification	2024	CIDR	5.093636e-05
11,605	IsoBugView: Interactively Debugging Isolation Bugs in Database Applications	2022	VLDB	5.093636e-05

Outgoing Citations (Sorted by Pagerank)

Showing 2 of 2 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
2,646	Allocating Isolation Levels to Transactions	2005	PODS	8.2970356e-05

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	10,893	Using Read Promotion and Mixed Isolation Levels for Performant Yet Serializable Execution of Transaction Programs	2025	VLDB
2	9,955	Deciding Robustness for Lower SQL Isolation Levels	2020	PODS
3	11,526	Robustness Against Read Committed: A Free Transactional Lunch	2022	PODS
4	11,371	Allocating Isolation Levels to Transactions in a Multiversion Setting	2023	PODS
5	754	Lazy Database Replication with Snapshot Isolation	2006	VLDB
6	733	Serializable Snapshot Isolation in PostgreSQL	2012	VLDB
7	2,646	Allocating Isolation Levels to Transactions	2005	PODS
8	3,940	Quantifying Isolation Anomalies	2009	VLDB
9	8,715	Efficient Black-box Checking of Snapshot Isolation in Databases	2023	VLDB
10	245	Serializable Isolation for Snapshot Databases	2008	SIGMOD