Correctness and parallelism in composite systems

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Correctness and parallelism in composite systems

Full text

Pdf (2.23 MB)

Source

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

Tucson, Arizona, United States

Pages: 197 - 208

Year of Publication: 1997

ISBN:0-89791-910-6

Authors

Gustavo Alonso	Database Research Group, Institute of Inf. Systems, ETH Zentrum, Zürich CH-8092, Switzerland
Stephen Blott	Lucent Technologies (Bell Labs) 600 Mountain Avenue, Murray Hill, NJ
Armin Fessler	Database Research Group, Institute of Inf. Systems, ETH Zentrum, Zürich CH-8092, Switzerland
Hans-Jörg Schek	Database Research Group, Institute of Inf. Systems, ETH Zentrum, Zürich CH-8092, Switzerland

Sponsor

SIGMOD: ACM Special Interest Group on Management of Data

Publisher

ACM New York, NY, USA

Bibliometrics

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

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

	AGMS87	R. Alonso, H. Garda-Molina, and K. Salem. Concurrency control and recovery for global procedures in federated database systems. Bulletin of the IEEE Technical Committee on Data Engineering, 1987.
	AVA+94	Gustavo Alonso , Radek Vingralek , Divyakant Agrawal , Yuri Breitbart , Amr El Abbadi , Hans-J. Schek , Gerhard Weikum, Unifying concurrency control and recovery of transactions, Information Systems, v.19 n.1, p.101-115, Jan. 1994 [doi>10.1016/0306-4379(94)90029-9]
	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]
	BHG87	Philip A. Bernstein , Vassco Hadzilacos , Nathan Goodman, Concurrency control and recovery in database systems, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1987
	Bra89	Steven Brawer, Introduction to parallel programming, Academic Press Professional, Inc., San Diego, CA, 1989
	BRS96	Stephen Blott , Lukas Relly , Hans-Jörg Schek, An open abstract-object storage system, Proceedings of the 1996 ACM SIGMOD international conference on Management of data, p.330-340, June 04-06, 1996, Montreal, Quebec, Canada
	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
	DE89	W. Du , A. Elmagarmid, Quasi serializability: a correctness criterion for global concurrency control in InterBase, Proceedings of the 15th international conference on Very large data bases, p.347-355, July 1989, Amsterdam, The Netherlands
	DPS83	P. Dadam, P. Pistor, and Hans-J. Sehek. A Predicate Oriented Locking Approach for Integrated Information Systems. In Proceedings of the IFIP Congress 1983, Paris, September 1983.
	DSW94	Andrew Deacon , Hans-Jörg Schek , Gerhard Weikum, Semantics-Based Multilevel Transaction Management in Federated Systems, Proceedings of the Tenth International Conference on Data Engineering, p.452-461, February 14-18, 1994
	Elm92	Ahmed K. Elmagarmid, Database transaction models for advanced applications, Morgan Kaufmann Publishers Inc., San Francisco, CA, 1992
	GMB+81	Jim Gray , Paul McJones , Mike Blasgen , Bruce Lindsay , Raymond Lorie , Tom Price , Franco Putzolu , Irving Traiger, The Recovery Manager of the System R Database Manager, ACM Computing Surveys (CSUR), v.13 n.2, p.223-242, June 1981 [doi>10.1145/356842.356847]
	GR91	Dimitrios Georgakopoulos , Marek Rusinkiewicz , Amit P. Sheth, On Serializability of Multidatabase Transactions Through Forced Local Conflicts, Proceedings of the Seventh International Conference on Data Engineering, p.314-323, April 08-12, 1991
	Has96	H. Hasse. Einheitliche Theorie flit korrekte parallele und fehlertolerante Ausfiihnmg yon Datenbanktransaktionen. PhD. Thesis 11569, ETH Ziirich, Department Informatik, 1996. In German.
	KS96	H. Kaufmann , H.-J. Schek, Extending TP—monitors for intra-transaction parallelism, Proceedings of the fourth international conference on on Parallel and distributed information systems, p.250-261, December 18-20, 1996, Miami Beach, Florida, United States
	Lom92	David B. Lomet, MLR: a recovery method for multi-level systems, Proceedings of the 1992 ACM SIGMOD international conference on Management of data, p.185-194, June 02-05, 1992, San Diego, California, United States
	MGG85	J. E.B. Moss , N. D. Griffeth , M. H. Graham, Abstraction in Concurrency Control and Recovery Management, University of Massachusetts, Amherst, MA, 1986
	MGG86	J. Eliot B Moss , Nancy D. Griffeth , Marc H. Graham, Abstraction in recovery management, Proceedings of the 1986 ACM SIGMOD international conference on Management of data, p.72-83, May 28-30, 1986, Washington, D.C., United States
	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]
	NWM+94	M. C. Norrie, M. Wtmderli, R. Montau, U. Leonhardt, W. Schaad, and H-J. Schek. Coordination approaches for CIM. in Proceedings of the European Workshop on Integrated Manufacturing Systems Engineering, pages 223-232, Grenoble, France, December 1994.
	PLC81	Calton Pu , Avraham Leff , Shu-Wie F. Chen, Heterogeneous and Autonomous Transaction Processing, Computer, v.24 n.12, p.64-72, December 1991 [doi>10.1109/2.116890]
	Pu88	Calton Pu, Superdatabases for Composition of Heterogeneous Databases, Proceedings of the Fourth International Conference on Data Engineering, p.548-555, February 01-05, 1988
	Raz92	Yoav Raz, The Principle of Commitment Ordering, or Guaranteeing Serializability in a Heterogeneous Environment of Multiple Autonomous Resource Mangers Using Atomic Commitment, Proceedings of the 18th International Conference on Very Large Data Bases, p.292-312, August 23-27, 1992
	RNS96	Michael Rys , Moira C. Norrie , Hans-Jörg Schek, Intra-Transaction Parallelism in the Mapping of an Object Model to a Relational Multi-Processor System, Proceedings of the 22th International Conference on Very Large Data Bases, p.460-471, September 03-06, 1996
	SSW95	W. Schaad , H.-J. Schek , G. Weikum, Implementation and performance of multi-level transaction management in a multidatabase environment, Proceedings of the 5th International Workshop on Research Issues in Data Engineering-Distributed Object Management (RIDE-DOM'95), p.108, March 06-07, 1995
	SWY93	Hans-Jörg Schek , Gerhard Weikum , Haiyan Ye, Towards a unified theory of concurrency control and recovery, Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.300-311, May 25-28, 1993, Washington, D.C., United States [doi>10.1145/153850.153935]
	VYBS95	Radek Vingralek , Haiyan Ye , Yuri Breitbart , Hans-Jörg Schek, Unified Transaction Model for Semantically Rich Operations, Proceedings of the 5th International Conference on Database Theory, p.148-161, January 11-13, 1995
	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]
	WH93	Gerhard Weikum , Christof Hasse, Multi-level transaction management for complex objects: implementation, performance, parallelism, The VLDB Journal — The International Journal on Very Large Data Bases, v.2 n.4, p.407-454, October 1993 [doi>10.1007/BF01263047]
	WS92	Gerhard Weikum , Hans-J. Schek, Concepts and applications of multilevel transactions and open nested transactions, Database transaction models for advanced applications, Morgan Kaufmann Publishers Inc., San Francisco, CA, 1992
	WV90	A. Wolski and J. Veijalainen. 2PC agent method: Achieving serializability in presence of failures in a heterogeneous multidatabase. In Proceedings PARBASE.gO~ February 1990.
	ZC91	Hans Zima , Barbara Chapman, Supercompilers for parallel and vector computers, ACM Press, New York, NY, 1990

CITED BY 6

	Gustavo Alonso , Armin Feßler , Guy Pardon , Hans-Jörg Schek, Correctness in general configurations of transactional components, Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, p.285-293, May 31-June 03, 1999, Philadelphia, Pennsylvania, United States
	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
	Markus Kirchberg , Klaus-Dieter Schewe , Alexei Tretiakov , Baide (Richard) Wang, A multi-level architecture for distributed object bases, Data & Knowledge Engineering, v.60 n.1, p.150-184, January, 2007
	Gustavo Alonso , Claus Hagen , Hans-Jörg Schek , Markus Tresch, Distributed Processing over Stand-alone Systems and Applications, Proceedings of the 23rd International Conference on Very Large Data Bases, p.575-579, August 25-29, 1997
	Guy Pardon , Gustavo Alonso, CheeTah: a Lightweight Transaction Server for Plug-and-Play Internet Data Management, Proceedings of the 26th International Conference on Very Large Data Bases, p.210-219, September 10-14, 2000