Correctness and Parallelism of Composite Systems.

Gustavo Alonso, Stephen Blott, Armin Fessler, Hans-Jörg Schek: Correctness and Parallelism of Composite Systems. PODS 1997: 197-208
  author    = {Gustavo Alonso and
               Stephen Blott and
               Armin Fessler and
               Hans-J{\"o}rg Schek},
  title     = {Correctness and Parallelism of Composite Systems},
  booktitle = {Proceedings of the Sixteenth ACM SIGACT-SIGMOD-SIGART Symposium
               on Principles of Database Systems, May 12-14, 1997, Tucson, Arizona},
  publisher = {ACM Press},
  year      = {1997},
  isbn      = {0-89791-910-6},
  pages     = {197-208},
  ee        = {, db/conf/pods/AlonsoBFS97.html},
  crossref  = {DBLP:conf/pods/97},
  bibsource = {DBLP,}


In recent years, databases have started to be used as intelligent repositories for a variety of semantically-richer systems. A consequence of such architectures is that transaction scheduling takes place throughout composite systems consisting of layered subsystems. Such transaction architectures have been studied extensively. Existing theory, however, limits the degree of parallelism, and makes a number of simplifying assumptions which cannot be taken for granted in practice.

This paper proposes a new model and correctness criterion, stack conflict consistency, for composite transactional systems. The main contribution of the new model is to establish the correctness conditions under which higher degrees of parallelism can be achieved between operations of the same transaction, as well as between conflicting operations of different transactions, in a uniform way. This possibility, although hinted at previously, has not yet been exploited in practical composite systems. Hence, we hope to improve the practical impact of many key results in this area.

Copyright © 1997 by the ACM, Inc., used by permission. Permission to make digital or hard copies is granted provided that copies are not made or distributed for profit or direct commercial advantage, and that copies show this notice on the first page or initial screen of a display along with the full citation.

Load The ACM SIGMOD Anthology, CDROM Edition, Volume 1-3, PODS '82-'98. and ... Load The ACM SIGMOD Anthology, Silver Edition, DVD 1, Proceedings. and ... BibTeX

Printed Edition

Proceedings of the Sixteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, May 12-14, 1997, Tucson, Arizona. ACM Press 1997, ISBN 0-89791-910-6
Contents BibTeX

Online Edition: ACM Digital Library

[Index Terms]
[Full Text in PDF Format, 2174 KB]


Rafael Alonso, Hector Garcia-Molina, Kenneth Salem: Concurrency Control and Recovery for Global Procedures in Federated Database Systems. IEEE Data Eng. Bull. 10(3): 5-11(1987) BibTeX
Gustavo Alonso, Radek Vingralek, Divyakant Agrawal, Yuri Breitbart, Amr El Abbadi, Hans-Jörg Schek, Gerhard Weikum: Unifying concurrency control and recovery of transactions. Inf. Syst. 19(1): 101-115(1994) BibTeX
Catriel Beeri, Philip A. Bernstein, Nathan Goodman: A model for concurrency in nested transactions systems. J. ACM 36(2): 230-269(1989) BibTeX
Yuri Breitbart, Dimitrios Georgakopoulos, Marek Rusinkiewicz, Abraham Silberschatz: On Rigorous Transaction Scheduling. IEEE Trans. Software Eng. 17(9): 954-960(1991) BibTeX
Philip A. Bernstein, Vassos Hadzilacos, Nathan Goodman: Concurrency Control and Recovery in Database Systems. Addison-Wesley 1987, ISBN 0-201-10715-5
Contents BibTeX
Stephen Blott, Lukas Relly, Hans-Jörg Schek: An Open Storage System for Abstract Objects. SIGMOD Conference 1996: 330-340 BibTeX
Catriel Beeri, Hans-Jörg Schek, Gerhard Weikum: Multi-Level Transaction Management, Theoretical Art or Practical Need ? EDBT 1988: 134-154 BibTeX
Weimin Du, Ahmed K. Elmagarmid: Quasi Serializability: a Correctness Criterion for Global Concurrency Control in InterBase. VLDB 1989: 347-355 BibTeX
Andrew Deacon, Hans-Jörg Schek, Gerhard Weikum: Semantics-Based Multilevel Transaction Management in Federated Systems. ICDE 1994: 452-461 BibTeX
Ahmed K. Elmagarmid (Ed.): Database Transaction Models for Advanced Applications. Morgan Kaufmann 1992, ISBN 1-55860-214-3
Contents BibTeX
Jim Gray, Paul R. McJones, Mike W. Blasgen, Bruce G. Lindsay, Raymond A. Lorie, Thomas G. Price, Gianfranco R. Putzolu, Irving L. Traiger: The Recovery Manager of the System R Database Manager. ACM Comput. Surv. 13(2): 223-243(1981) BibTeX
Dimitrios Georgakopoulos, Marek Rusinkiewicz, Amit P. Sheth: On Serializability of Multidatabase Transactions Through Forced Local Conflicts. ICDE 1991: 314-323 BibTeX
Helmut Kaufmann, Hans-Jörg Schek: Extending TP-Monitors for Intra-Transaction Parallelism. PDIS 1996: 250-261 BibTeX
David B. Lomet: MLR: A Recovery Method for Multi-level Systems. SIGMOD Conference 1992: 185-194 BibTeX
J. Eliot B. Moss, Nancy D. Griffeth, Marc H. Graham: Abstraction in Recovery Management. SIGMOD Conference 1986: 72-83 BibTeX
C. Mohan, Donald J. Haderle, Bruce G. Lindsay, Hamid Pirahesh, Peter M. Schwarz: ARIES: A Transaction Recovery Method Supporting Fine-Granularity Locking and Partial Rollbacks Using Write-Ahead Logging. ACM Trans. Database Syst. 17(1): 94-162(1992) BibTeX
Calton Pu: Superdatabases for Composition of Heterogeneous Databases. ICDE 1988: 548-555 BibTeX
Yoav Raz: The Principle of Commitment Ordering, or Guaranteeing Serializability in a Heterogeneous Environment of Multiple Autonomous Resource Mangers Using Atomic Commitment. VLDB 1992: 292-312 BibTeX
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. VLDB 1996: 460-471 BibTeX
Werner Schaad, Hans-Jörg Schek, Gerhard Weikum: Implementation and Performance of Multi-level Transaction Management in a Multidatabase Environment. RIDE-DOM 1995: 108-115 BibTeX
Hans-Jörg Schek, Gerhard Weikum, Haiyan Ye: Towards a Unified Theory of Concurrency Control and Recovery. PODS 1993: 300-311 BibTeX
Radek Vingralek, Haiyan Ye, Yuri Breitbart, Hans-Jörg Schek: Unified Transaction Model for Semantically Rich Operations. ICDT 1995: 148-161 BibTeX
Gerhard Weikum: Principles and Realization Strategies of Multilevel Transaction Management. ACM Trans. Database Syst. 16(1): 132-180(1991) BibTeX
Gerhard Weikum, Christof Hasse: Multi-Level Transaction Management for Complex Objects: Implementation, Performance, Parallelism. VLDB J. 2(4): 407-453(1993) BibTeX
Antoni Wolski, Jari Veijalainen: 2PC Agent Method: Achieving Serializability in Presence of Failures in a Heterogeneous Multidatabase. PARBASE / Databases 1990: 268-287 BibTeX

Referenced by

  1. Heiko Schuldt, Gustavo Alonso, Hans-Jörg Schek: Concurrency Control and Recovery in Transactional Process Management. PODS 1999: 316-326
  2. Gustavo Alonso, Armin Fessler, Guy Pardon, Hans-Jörg Schek: Correctness in General Configurations of Transactional Components. PODS 1999: 285-293
  3. Gustavo Alonso, Armin Fessler, Guy Pardon, Hans-Jörg Schek: Transactions in Stack, Fork, and Join Composite Systems. ICDT 1999: 150-168
  4. Lukas Relly, Heiko Schuldt, Hans-Jörg Schek: Exporting Database Functionality - The CONCERT Way. IEEE Data Eng. Bull. 21(3): 43-51(1998)
  5. Gustavo Alonso, Claus Hagen, Hans-Jörg Schek, Markus Tresch: Distributed Processing over Stand-alone Systems and Applications. VLDB 1997: 575-579
ACM SIGMOD Anthology - DBLP: [Home | Search: Author, Title | Conferences | Journals]
ACM SIGMOD Anthology: Copyright © by ACM (, Corrections:
DBLP: Copyright © by Michael Ley (, last change: Sat May 16 23:34:17 2009