Correctness and Parallelism of Composite Systems.

@inproceedings{DBLP:conf/pods/AlonsoBFS97,
  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        = {http://doi.acm.org/10.1145/263661.263683, db/conf/pods/AlonsoBFS97.html},
  crossref  = {DBLP:conf/pods/97},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

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.

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• UNIX/LINUX/Mac: use mount point /pods8298/... or /cdrom/...

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• UNIX/LINUX/Mac: use mount point /aDVD1/... or /cdrom/...

Printed Edition

Online Edition: ACM Digital Library

References

[AGMS87]

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

[AVA+94]

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

[BBG89]

Catriel Beeri, Philip A. Bernstein, Nathan Goodman: A model for concurrency in nested transactions systems. J. ACM 36(2): 230-269(1989) BibTeX

[BGRS91]

Yuri Breitbart, Dimitrios Georgakopoulos, Marek Rusinkiewicz, Abraham Silberschatz: On Rigorous Transaction Scheduling. IEEE Trans. Software Eng. 17(9): 954-960(1991) BibTeX

[BHG87]

Philip A. Bernstein, Vassos Hadzilacos, Nathan Goodman: Concurrency Control and Recovery in Database Systems. Addison-Wesley 1987, ISBN 0-201-10715-5
Contents BibTeX

[Bra89]

...

[BRS96]

Stephen Blott, Lukas Relly, Hans-Jörg Schek: An Open Storage System for Abstract Objects. SIGMOD Conference 1996: 330-340 BibTeX

[BSW88]

Catriel Beeri, Hans-Jörg Schek, Gerhard Weikum: Multi-Level Transaction Management, Theoretical Art or Practical Need ? EDBT 1988: 134-154 BibTeX

[DE89]

Weimin Du, Ahmed K. Elmagarmid: Quasi Serializability: a Correctness Criterion for Global Concurrency Control in InterBase. VLDB 1989: 347-355 BibTeX

[DPS83]

...

[DSW94]

Andrew Deacon, Hans-Jörg Schek, Gerhard Weikum: Semantics-Based Multilevel Transaction Management in Federated Systems. ICDE 1994: 452-461 BibTeX

[Elm92]

Ahmed K. Elmagarmid (Ed.): Database Transaction Models for Advanced Applications. Morgan Kaufmann 1992, ISBN 1-55860-214-3
Contents BibTeX

[GMB+81]

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

[GR91]

Dimitrios Georgakopoulos, Marek Rusinkiewicz, Amit P. Sheth: On Serializability of Multidatabase Transactions Through Forced Local Conflicts. ICDE 1991: 314-323 BibTeX

[Has96]

...

[KS96]

Helmut Kaufmann, Hans-Jörg Schek: Extending TP-Monitors for Intra-Transaction Parallelism. PDIS 1996: 250-261 BibTeX

[Lom92]

David B. Lomet: MLR: A Recovery Method for Multi-level Systems. SIGMOD Conference 1992: 185-194 BibTeX

[MGG85]

...

[MGG86]

J. Eliot B. Moss, Nancy D. Griffeth, Marc H. Graham: Abstraction in Recovery Management. SIGMOD Conference 1986: 72-83 BibTeX

[MHL+92]

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

[NWM+94]

...

[PLC81]

...

[Pu88]

Calton Pu: Superdatabases for Composition of Heterogeneous Databases. ICDE 1988: 548-555 BibTeX

[Raz92]

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

[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. VLDB 1996: 460-471 BibTeX

[SSW95]

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

[SWY93]

Hans-Jörg Schek, Gerhard Weikum, Haiyan Ye: Towards a Unified Theory of Concurrency Control and Recovery. PODS 1993: 300-311 BibTeX

[VYBS95]

Radek Vingralek, Haiyan Ye, Yuri Breitbart, Hans-Jörg Schek: Unified Transaction Model for Semantically Rich Operations. ICDT 1995: 148-161 BibTeX

[Wei91]

Gerhard Weikum: Principles and Realization Strategies of Multilevel Transaction Management. ACM Trans. Database Syst. 16(1): 132-180(1991) BibTeX

[WH93]

Gerhard Weikum, Christof Hasse: Multi-Level Transaction Management for Complex Objects: Implementation, Performance, Parallelism. VLDB J. 2(4): 407-453(1993) BibTeX

[WS92]

...

[WV90]

Antoni Wolski, Jari Veijalainen: 2PC Agent Method: Achieving Serializability in Presence of Failures in a Heterogeneous Multidatabase. PARBASE / Databases 1990: 268-287 BibTeX

[ZC91]

...

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