Towards a unified theory of concurrency control and recovery

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Towards a unified theory of concurrency control and recovery

Full text

Pdf (1.18 MB)

Source

Symposium on Principles of Database Systems archive
Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems table of contents

Washington, D.C., United States

Pages: 300 - 311

Year of Publication: 1993

ISBN:0-89791-593-3

Authors

Hans-Jörg Schek
Gerhard Weikum
Haiyan Ye

Sponsors

SIGACT: ACM Special Interest Group on Algorithms and Computation Theory
SIGART: ACM Special Interest Group on Artificial Intelligence
SIGMOD: ACM Special Interest Group on Management of Data

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 3, Downloads (12 Months): 22, Citation Count: 13

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/153850.153935 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.

	BBG89	Catriel Beeri , Philip A. Bernstein , Nathan Goodman, A model for concurrency in nested transactions systems, Journal of the ACM (JACM), v.36 n.2, p.230-269, April 1989 [doi>10.1145/62044.62046]
	BGRS91	Yuri Breitbart , Dimitrios Georgakopoulos , Marek Rusinkiewicz , Abraham Silberschatz, On rigorous Transaction Scheduling, IEEE Transactions on Software Engineering, v.17 n.9, p.954-960, September 1991 [doi>10.1109/32.92915]
	BSW88	Catriel Beeri , Hans-Jörg Schek , Gerhard Weikum, Multi-Level Transaction Management, Theoretical Art or Practical Need ?, Proceedings of the International Conference on Extending Database Technology: Advances in Database Technology, p.134-154, March 14-18, 1988
	Dij76	Edsger Wybe Dijkstra, A Discipline of Programming, Prentice Hall PTR, Upper Saddle River, NJ, 1997
	GM83	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 [doi>10.1145/319983.319985]
	GR93	Jim Gray , Andreas Reuter, Transaction Processing: Concepts and Techniques, Morgan Kaufmann Publishers Inc., San Francisco, CA, 1992
	Had88	Vassos Hadzilacos, A theory of reliability in database systems, Journal of the ACM (JACM), v.35 n.1, p.121-145, Jan. 1988 [doi>10.1145/42267.42272]
	HH88	Thanasis Hadzilacos , Vassos Hadzilacos, Transaction synchronisation in object bases, Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.193-200, March 1988, Austin, Texas, United States [doi>10.1145/308386.308438]
	HW88	Maurice P. Herlihy , William E. Weihl, Hybrid concurrency control for abstract data types, Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.201-210, March 1988, Austin, Texas, United States [doi>10.1145/308386.308440]
	SWY92	H.J.Schek, G. Weikurn, and It. Ye. Towards a unified theory of concurrency control and recovery. Technical report, Department of Computer Science, ETH Zurich, December 1992.
	Kor83	Henry F. Korth, Locking Primitives in a Database System, Journal of the ACM (JACM), v.30 n.1, p.55-79, Jan. 1983 [doi>10.1145/322358.322363]
	KRST92	P. Karyehniak, M. Rusinkiewicz, A. Sheth, and G. Thomas. Bounding the effects of compensation under relaxed multi-level serializability. Technical memorandum: Tm-tsv-021509/1, Bellcore, June 1992.
	LKS91	Eliezer Levy , Henry F. Korth , Abraham Silberschatz, A theory of relaxed atomicity (extended abstract), Proceedings of the tenth annual ACM symposium on Principles of distributed computing, p.95-110, August 19-21, 1991, Montreal, Quebec, Canada [doi>10.1145/112600.112610]
	LMWF93	N. Lynch, M. Merritt, W. Weihl, and A. Fekete. Atomic transactions. Morgan Kaufmann, 1993. to appear.
	MGG86	J. Eliot B Moss , Nancy D. Griffeth , Marc H. Graham, Abstraction in recovery management, ACM SIGMOD Record, v.15 n.2, p.72-83, June 1986
	MHL+92	C. Mohan , Don Haderle , Bruce Lindsay , Hamid Pirahesh , Peter Schwarz, ARIES: a transaction recovery method supporting fine-granularity locking and partial rollbacks using write-ahead logging, ACM Transactions on Database Systems (TODS), v.17 n.1, p.94-162, March 1992 [doi>10.1145/128765.128770]
	MRW+93	Peter Muth , Thomas C. Rakow , Gerhard Weikum , Peter Brössler , Christof Hasse, Semantic Concurrency Control in Object-Oriented Database Systems, Proceedings of the Ninth International Conference on Data Engineering, p.233-242, April 19-23, 1993
	O’N86	Patrick E. O'Neil, The Escrow transactional method, ACM Transactions on Database Systems (TODS), v.11 n.4, p.405-430, Dec. 1986 [doi>10.1145/7239.7265]
	Pap86	Christos Papadimitriou, The theory of database concurrency control, Computer Science Press, Inc., New York, NY, 1986
	BHG87	Philip A. Bernstein , Vassco Hadzilacos , Nathan Goodman, Concurrency control and recovery in database systems, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1987
	RKS93	Rajeev Rastogi , Henry F. Korth , Abraham Silberschatz, Strict histories in object-based database systems, Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.288-299, May 25-28, 1993, Washington, D.C., United States [doi>10.1145/153850.153934]
	SS84	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 [doi>10.1145/989.1188]
	SWY92	H.J. Schek, G. Weikum, and H. Ye. Towards a unified theory of concurrency control and recovery. Technical report, Department of Computer Science, ETH Zurich, December 1992.
	Vei90	J. Veijalainen. Transaction concepts in autonomous database environments. PhD thesis, GMD-Bericht Nr.183. Oldenbourg Verlag, 1990.
	Wei88	W. E. Weihl, Commutativity-Based Concurrency Control for Abstract Data Types, IEEE Transactions on Computers, v.37 n.12, p.1488-1505, December 1988 [doi>10.1109/12.9728]
	Wei89	W. E. Weihl, The impact of recovery on concurrency control, Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.259-269, March 1989, Philadelphia, Pennsylvania, United States [doi>10.1145/73721.73748]
	Wei91	Gerhard Weikum, Principles and realization strategies of multilevel transaction management, ACM Transactions on Database Systems (TODS), v.16 n.1, p.132-180, March 1991 [doi>10.1145/103140.103145]

CITED BY 13

	Heiko Schuldt , Gustavo Alonso , Catriel Beeri , Hans-Jörg Schek, Atomicity and isolation for transactional processes, ACM Transactions on Database Systems (TODS), v.27 n.1, p.63-116, March 2002
	Heiko Schuldt , Gustavo Alonso , Hans-Jörg Schek, Concurrency control and recovery in transactional process management, Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, p.316-326, May 31-June 03, 1999, Philadelphia, Pennsylvania, United States
	Vinay K. Chaudhri , Vassos Hadzilacos, Safe locking policies for dynamic databases, Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.233-244, May 22-25, 1995, San Jose, California, United States
	Jens Lechtenbörger , Gottfried Vossen, On Herbrand semantics and conflict serializability of read-write transactions (extended abstract), Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, p.187-194, May 15-18, 2000, Dallas, Texas, United States
	Gustavo Alonso , Stephen Blott , Armin Fessler , Hans-Jörg Schek, Correctness and parallelism in composite systems, Proceedings of the sixteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.197-208, May 11-15, 1997, Tucson, Arizona, United States
	G. Alonso , D. Agrawal , A. El Abbadi, Reducing recovery constraints on locking based protocols, Proceedings of the thirteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.129-138, May 24-27, 1994, Minneapolis, Minnesota, United States
	Shankar Pal , Sitaram Lanka, Isolation of transaction aborts in object-oriented database systems, Proceedings of the third international conference on Information and knowledge management, p.179-186, November 29-December 02, 1994, Gaithersburg, Maryland, United States
	Man Hon Wong, Recovery for transaction failures in object-based databases, Proceedings of the fifteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.139-149, June 04-06, 1996, Montreal, Quebec, Canada
	Man Hon Wong , Divyakant Agrawal , Hang Kwong Mak, Bounded Inconsistency for Type-Specific Concurrency Control, Distributed and Parallel Databases, v.5 n.1, p.31-75, Jan. 1997
	Moira C. Norrie , Stephen M. Blott , Hans-Jörg Schek , Gerhard Weikum, The database research group at ETH Zurich, ACM SIGMOD Record, v.23 n.1, p.116-121, March 1994
	Peter Muth, Application Specific Transaction Management in MultidatabaseSystems, Distributed and Parallel Databases, v.5 n.4, p.357-403, Oct. 1997
	Mihalis Yannakakis, Perspectives on database theory, ACM SIGACT News, v.27 n.3, p.25-49, Sept. 1996
	Y. Breitbart , A. Deacon , H.-J. Schek , A. Sheth , G. Weikum, Merging application-centric and data-centric approaches to support transaction-oriented multi-system workflows, ACM SIGMOD Record, v.22 n.3, p.23-30, Sept. 1993