An Optimality Theory of Concurrency Control for Databases

Summary: Formal theory of concurrency control for time-shared databases; analyzes interleaved transaction steps and scheduler correctness. Defines a fixpoint set as delay-free request sequences; examines how syntactic, semantic, and integrity information shapes scheduling power and information-delay tradeoffs. (summarized by gpt-5-nano on Feb 09 2026)

Paper ID: 2103
Venue: SIGMOD
Year: 1979
Pagerank: 0.00026610677
Overall Rank: 347 | 97.59%
DOI: -

Incoming Non-self Citations Over Time

Authors

1. H. T. Kung
2. C. H. Papadimitriou

Incoming Citations (Sorted by Pagerank)

Showing 14 of 14 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
332	On Concurrency Control by Multiple Versions	1982	PODS	0.00027208023
787	Sacrificing Serializability to Attain High Availability of Data in an Unreliable Network	1982	PODS	0.00016652167
1,028	Coordination Avoidance in Database Systems	2015	VLDB	0.00014584518
1,088	ARIES/IM: An Efficient and High Concurrency Index Management Method Using Write-Ahead Logging	1992	SIGMOD	0.00014161003
1,563	Basic Timestamp, Multiple Version Timestamp, and Two-Phase Locking	1983	VLDB	0.00011352203
1,994	ACIDRain: Concurrency-Related Attacks on Database-Backed Web Applications	2017	SIGMOD	9.842936e-05
2,548	An Evaluation of Distributed Concurrency Control	2017	VLDB	8.5652459e-05
3,596	Concurrency Control Mechanisms and the Serializability of Concurrent Tree Algorithms	1984	PODS	6.9357398e-05
4,561	On the Power of Locking	1981	SIGMOD	6.0849734e-05
8,573	Concurrent Operations in Extendible Hashing	1986	VLDB	4.4937074e-05
9,544	THEORY OF SERIALIZABILITY FOR A PARALLEL MODEL OF TRANSACTIONS (Extended Abstract)	1982	PODS	4.3265281e-05
11,886	The Case for Invariant-Based Concurrency Control	2015	CIDR	4.1945683e-05
13,010	A semantic approach to correctness of concurrent transaction executions	1985	PODS	4.1945683e-05
13,022	Locking with Prevention of Cyclic and Infinite Restarting in Distributed Database Systems	1985	VLDB	4.1945683e-05

Outgoing Citations (Sorted by Pagerank)

Showing 0 of 0 cited papers.

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

Rank	Cited Paper	Year	Venue	Pagerank

Semantically Similar Papers

Overall Rank	Paper	Year	Venue	Pagerank
12,765	Secure Transaction Processing in Firm Real-Time Database Systems	1997	SIGMOD	4.1945683e-05
14,337	A Formal Model For Maximum Concurrency In Transaction Systems With Predeclared Writesets	1982	VLDB	-
4,400	Experimental Evaluation of Real-Time Optimistic Concurrency Control Schemes	1991	VLDB	6.221248e-05
14,276	Maximal Concurrency By Locking	1984	PODS	-
7,593	Parallelism and Concurrency Control Performance in Distributed Database Machines	1989	SIGMOD	4.7019508e-05
2,950	The Performance Of Concurrency Control Algorithms For Database Management Systems	1984	VLDB	7.8329866e-05
190	Models for Studying Concurrency Control Performance: Alternatives and Implications	1985	SIGMOD	0.0003579699
14,267	The Complexity of Reliable Concurrency Control	1985	PODS	-
3,351	An Abstract Model of Database Concurrency Control Algorithms	1983	SIGMOD	7.1873372e-05
3,972	On Being Optimistic about Real-Time Constraints	1990	PODS	6.5771215e-05