A theorem in database concurrency control

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

A theorem in database concurrency control

Full text

Pdf (492 KB)

Source

Journal of the ACM (JACM) archive
Volume 29 , Issue 4 (October 1982) table of contents

Pages: 998 - 1006

Year of Publication: 1982

ISSN:0004-5411

Author

Christos H. Papadimitriou

National Technical University, Department of Computer Science, 9, Heros of the Polytechnic Street, Athens 624, Greece and Massachusetts Institute of Technology, Cambridge, Massachusetts

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 4, Downloads (12 Months): 31, Citation Count: 7

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/322344.322349 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	DUKSTRA, E W Cooperating sequential processes. In Programming Languages, F Genuys, Ed, Acadenuc Press, New York, 1968, pp. 43-112.
	2	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]
	3	C. A. R. Hoare, Monitors: an operating system structuring concept, Communications of the ACM, v.17 n.10, p.549-557, Oct. 1974 [doi>10.1145/355620.361161]
	4	H. T. Kung , C. H. Papadimitriou, An optimality theory of concurrency control for databases, Proceedings of the 1979 ACM SIGMOD international conference on Management of data, May 30-June 01, 1979, Boston, Massachusetts [doi>10.1145/582095.582114]
	5	LAMPORT, L. Towards a theory of correctness for multi-user database systems. TR CA-7610-0712, Massachusetts Computer Associates, 1976.
	6	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]
	7	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 [doi>10.1145/582318.582341]
	8	PAPADIMITRIOU, C.H. Concurrency control by locking. To appear in SIAM J. Comput.
	9	STEARNS, R.S., LEWIS, P.M., AND ROSENKRANTZ, D.J. Concurrency control for database systems. Conf. Rec. 17th Ann. IEEE Conf. on Foundations of Computer Science, Houston, Texas, 1976, pp. 19-32.
	10	Eugene W. Stark, Semaphore primitives and starvation-free mutual exclusion, Journal of the ACM (JACM), v.29 n.4, p.1049-1072, Oct. 1982 [doi>10.1145/322344.322352]
	11	Mihalis Yannakakis, Issues of correctness in database concurrency control by locking, Proceedings of the thirteenth annual ACM symposium on Theory of computing, p.363-367, May 11-13, 1981, Milwaukee, Wisconsin, United States [doi>10.1145/800076.802490]
	12	YANNAKAS, M., PAPADXMITRIOU, C.H., AND KUNG, H.T. Locking policies: Safety and freedom from deadlock. Conf. Rec. 20th Ann. IEEE Syrup. on Foundations of Computer Science, San Juan, Puerto Rico, 1979, pp. 283-287.
	13	Jeffrey D. Ullman, Principles of Database Systems, W. H. Freeman & Co., New York, NY, 1983

CITED BY 7

	Henry Tirri, Freedom from deadlock of locked transactions in a distributed database, Proceedings of the second annual ACM symposium on Principles of distributed computing, p.267-276, August 17-19, 1983, Montreal, Quebec, Canada
	Mihalis Yannakakis, Serializability by Locking, Journal of the ACM (JACM), v.31 n.2, p.227-244, April 1984
	Paris C. Kanellakis , Christos H. Papadimitriou, Is distributed locking harder?, Proceedings of the 1st ACM SIGACT-SIGMOD symposium on Principles of database systems, March 29-31, 1982, Los Angeles, California
	Dieter Zöbel, The Deadlock problem: a classifying bibliography, ACM SIGOPS Operating Systems Review, v.17 n.4, p.6-15, October 1983
	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
	Georg Lausen , Eljas Soisalon-Soininen , Peter Widmayer, Maximal concurrency by locking, Proceedings of the 3rd ACM SIGACT-SIGMOD symposium on Principles of database systems, April 02-04, 1984, Waterloo, Ontario, Canada
	Georg Lausen , Eljas Soisalon-Soininen , Peter Widmayer, Pre-analysis locking: a safe and deadlock free locking policy, Proceedings of the 11th international conference on Very Large Data Bases, p.270-281, August 21-23, 1985, Stockholm, Sweden