On Correctness of Non-serializable Executions

Summary: Argues strict serializability is impractical for long-duration/distributed transactions and surveys alternatives—operation semantics, sagas, commutativity, partitioning—to raise concurrency. Develops formal models and verifiable conditions to deem non-serializable executions correct for distributed/interactive DBs. (summarized by gpt-5-mini on Feb 09 2026)

Paper ID: 991
Venue: PODS
Year: 1993
Pagerank: 4.427232e-05
Overall Rank: 8,941 | 37.80%
DOI: -

Incoming Non-self Citations Over Time

Authors

Incoming Citations (Sorted by Pagerank)

Showing 1 of 1 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
12,715	Exploiting Versions for Handling Updates in Broadcast Disks	1999	VLDB	4.1945683e-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
45	Sagas	1987	SIGMOD	0.00071800944
3,533	Extracting Concurrency from Objects: A Methodology	1991	SIGMOD	7.0009039e-05

Semantically Similar Papers

Overall Rank	Paper	Year	Venue	Pagerank
5,325	Relaxed Currency Serializability for Middle-Tier Caching and Replication	2006	SIGMOD	5.5685576e-05
12,707	Concurrency Control and Recovery in Transactional Process Management	1999	PODS	4.1945683e-05
3,123	Concurrency Control for Resilient Nested Transactions	1983	PODS	7.5249489e-05
14,267	The Complexity of Reliable Concurrency Control	1985	PODS	-
2,710	Towards a Unified Theory of Concurrency Control and Recovery	1993	PODS	8.2504476e-05
12,684	On Herbrand Semantics and Conflict Serializability of Read-Write Transactions (Extended Abstract)	2000	PODS	4.1945683e-05
7,272	Tolerating Bounded Inconsistency for Increasing Concurrency in Database Systems	1992	PODS	4.7811016e-05
12,827	Relative Serializability: An Approach for Relaxing the Atomicity of Transactions	1994	PODS	4.1945683e-05
13,010	A semantic approach to correctness of concurrent transaction executions	1985	PODS	4.1945683e-05
1,753	Formal Model of Correctness Without Serializability	1988	SIGMOD	0.00010673887