1

{Bernstein et al. 78} Berstein, P.A., Goodman, N., Rothnie, J.B. and Papadimitriou, C.H. A System of Distributed Databases (the Fully Redundant Case). IEEE Transactions on Software Engineering SE-4:154--168, March 1978.

2

E. G. Coffman , M. Elphick , A. Shoshani, System Deadlocks, ACM Computing Surveys (CSUR), v.3 n.2, p.67-78, June 1971  [doi>10.1145/356586.356588]

3

K. P. Eswaran , J. N. Gray , R. A. Lorie , I. L. Traiger, The notions of consistency and predicate locks in a database system, Communications of the ACM, v.19 n.11, p.624-633, Nov. 1976  [doi>10.1145/360363.360369]

4

{Floyd 67} Floyd, R.W. Assigning Meanings to Programs. In Proc. Symposium in Applied Mathematics, pages 19--32. American Mathematics Society, 1967.

5

{Gray 78} Gray, J. Notes on Data Base Operating Systems. Technical Report RJ2188, IBM Research Laboratory, San Jose, February 1978.

6

{Kung and Lehman 79} Kung, H.T. and Lehman, P.L. A Concurrent Database Problem: Binary Search Trees. Technical Report, Carnegie-Mellon University, Department of Computer Science, May 1979. An abstract appears in the Proceedings of the Fourth International Conference on Very Large Databases. The full paper is to be published in ACM Transactions on Database Systems.

7

{Kung and Papadimitriou 79} Kung, H. T. and Papadimitriou, C. H. In Preparation.

8

{Lamport 76} Lamport, L. Towards a Theory of Correctness for Multi-user Data Base Systems. Technical Report CA-7610-0712, Massachusetts Computer Associates, Inc., October 1976.

9

Zohar Manna, Introduction to Mathematical Theory of Computation, McGraw-Hill, Inc., New York, NY, 1974

10

Christos H. Papadimitriou, The serializability of concurrent database updates, Journal of the ACM (JACM), v.26 n.4, p.631-653, Oct. 1979  [doi>10.1145/322154.322158]

11

{Papadimitriou et al. 77} Papadimitriou, C.H., Bernstein, P.A. and Rothnie, J.B. Computational Problems Related to Database Concurrency Control. In Proc. Conf. on Theoretical Computer Science, pages 275--282. University of Waterloo, 1977.

12

{Silberschatz and Kedem 78} Silberschatz, A. and Kedem, Z. Consistency in Hierarchical Database Systems. Manuscript, University of Texas at Dallas.

13

{Stearns et al. 76} Stearns, R.E., Lewis, P.M. II and Rosenkrantz, D.J. Concurrency Control for Database Systems. In Proceedings of the Seventh Annual Symposium on Foundations of Computer Science, pages 19--32., 1976.

14

{Yannakakis 79} Yannakakis, M. Private Communication.

Toshimi Minoura, Deadlock avoidance revisited, Journal of the ACM (JACM), v.29 n.4, p.1023-1048, Oct. 1982

H. T. Kung , Philip L. Lehman, Concurrent manipulation of binary search trees, ACM Transactions on Database Systems (TODS), v.5 n.3, p.354-382, Sept. 1980

Derek L. Eager , Kenneth C. Sevcik, Achieving robustness in distributed database systems, ACM Transactions on Database Systems (TODS), v.8 n.3, p.354-381, Sept. 1983

Christos H. Papadimitriou, The serializability of concurrent database updates, Journal of the ACM (JACM), v.26 n.4, p.631-653, Oct. 1979

Mihalis Yannakakis, A Theory of Safe Locking Policies in Database Systems, Journal of the ACM (JACM), v.29 n.3, p.718-740, July 1982

J. E. Allchin , M. S. McKendry, Synchronization and recovery of actions, Proceedings of the second annual ACM symposium on Principles of distributed computing, p.31-44, August 17-19, 1983, Montreal, Quebec, Canada

Dennis Shasha , Marc Snir, Efficient and correct execution of parallel programs that share memory, ACM Transactions on Programming Languages and Systems (TOPLAS), v.10 n.2, p.282-312, April 1988

C. Mohan , Frank Levine, ARIES/IM: an efficient and high concurrency index management method using write-ahead logging, ACM SIGMOD Record, v.21 n.2, p.371-380, June 1, 1992

Meichun Hsu , Arvola Chan, Partitioned two-phase locking, ACM Transactions on Database Systems (TODS), v.11 n.4, p.431-446, Dec. 1986

Mohan L. Ahuja , J. C. Browne, Concurrency control by transactions carrying states and preordering universioned entities, Proceedings of the 1988 ACM sixteenth annual conference on Computer science, p.626-635, February 1988, Atlanta, Georgia, United States

Lui Sha , E. Douglas Jensen , Richard F. Rashid , J. Duane Northcutt, Distributed co-operating processes and transactions, ACM SIGCOMM Computer Communication Review, v.13 n.2, April 1983

Hector Garcia-Molina, Using semantic knowledge for transaction processing in a distributed database, ACM Transactions on Database Systems (TODS), v.8 n.2, p.186-213, June 1983

Mihalis Yannakakis, Serializability by Locking, Journal of the ACM (JACM), v.31 n.2, p.227-244, April 1984

Philip A. Bernstein , Nathan Goodman, Concurrency Control in Distributed Database Systems, ACM Computing Surveys (CSUR), v.13 n.2, p.185-221, June 1981

Christos H. Papadimitriou, On the power of locking, Proceedings of the 1981 ACM SIGMOD international conference on Management of data, April 29-May 01, 1981, Ann Arbor, Michigan

Christos H. Papadimitriou , Paris C. Kanellakis, On Concurrency Control by Multiple Versions, ACM Transactions on Database Systems (TODS), v.9 n.1, p.89-99, March 1984

Ravindran Krishnamurthy , Umeshwar Dayal, Theory of serializablity for a parallel model of transactions, Proceedings of the 1st ACM SIGACT-SIGMOD symposium on Principles of database systems, March 29-31, 1982, Los Angeles, California

P. J. Leu , B. Bhargava, Clarification of Two Phase Locking in Concurrent Transaction Processing, IEEE Transactions on Software Engineering, v.14 n.1, p.122-125, January 1988

H. T. Kung , John T. Robinson, On optimistic methods for concurrency control, ACM Transactions on Database Systems (TODS), v.6 n.2, p.213-226, June 1981

Christos H. Papadimitriou , Paris C. Kanellakis, On concurrency control by multiple versions, Proceedings of the 1st ACM SIGACT-SIGMOD symposium on Principles of database systems, March 29-31, 1982, Los Angeles, California

Toshihide Ibaraki , Tiko Kameda , Naoki Katoh, Cautious Transaction Schedulers for Database Concurrency Control, IEEE Transactions on Software Engineering, v.14 n.7, p.997-1009, July 1988

Christos H. Papadimitriou, A theorem in database concurrency control, Journal of the ACM (JACM), v.29 n.4, p.998-1006, Oct. 1982

Peter M. Schwarz , Alfred Z. Spector, Synchronizing shared abstract types, ACM Transactions on Computer Systems (TOCS), v.2 n.3, p.223-250, Aug. 1984

T. Ibaraki , Tiko Kameda , Naoki Katoh, Multiversion Cautious Schedulers for Database Concurrency Control, IEEE Transactions on Software Engineering, v.16 n.3, p.302-315, March 1990

Alfred Z. Spector , Peter M. Schwarz, Transactions: a construct for reliable distributed computing, ACM SIGOPS Operating Systems Review, v.17 n.2, p.18-35, April 1983

Lui Sha , John Lehoczky , E. Douglas Jensen, Modular Concurrency Control and Failure Recovery, IEEE Transactions on Computers, v.37 n.2, p.146-159, February 1988

Ray Ford , Jim Calhoun, Concurrency control mechanisms and the serializability of concurrent tree algorithms, Proceedings of the 3rd ACM SIGACT-SIGMOD symposium on Principles of database systems, April 02-04, 1984, Waterloo, Ontario, Canada

J. E. Allchin , M. S. McKendry, Synchronization and recovery of actions, ACM SIGOPS Operating Systems Review, v.19 n.1, p.32-45, January 1985

Wojciech Cellary , Tadeusz Morzy, Locking with prevention of cyclic and infinite restarting in distributed database systems, Proceedings of the 11th international conference on Very Large Data Bases, p.115-126, August 21-23, 1985, Stockholm, Sweden

Donald S. Fussell , Zvi M. Kedem , Abraham Silberschatz, A theory of correct locking protocols for database systems, Proceedings of the seventh international conference on Very Large Data Bases, p.112-124, September 09-11, 1981, Cannes, France

Meichun Hsu , Wei-Pang Yang, Concurrent Operations in Extendible Hashing, Proceedings of the 12th International Conference on Very Large Data Bases, p.241-247, August 25-28, 1986

Wen-Te K. Lin , Jerry Nolte, Basic Timestamp, Multiple Version Timestamp, and Two-Phase Locking, Proceedings of the 9th International Conference on Very Large Data Bases, p.109-119, October 31-November 02, 1983

Lui Sha , Ragunathan Rajkumar , John P. Lehooczky, Concurrency control for distributed real-time databases, ACM SIGMOD Record, v.17 n.1, p.82-98, March, 1988

H. T. Kung: colleagues

C. H. Papadimitriou: colleagues