ACM SIGMOD Anthology ACM SIGMOD dblp.uni-trier.de

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
@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.


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

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Online Edition: ACM Digital Library

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

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) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[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) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[BBG89]
Catriel Beeri, Philip A. Bernstein, Nathan Goodman: A model for concurrency in nested transactions systems. J. ACM 36(2): 230-269(1989) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[BGRS91]
Yuri Breitbart, Dimitrios Georgakopoulos, Marek Rusinkiewicz, Abraham Silberschatz: On Rigorous Transaction Scheduling. IEEE Trans. Software Eng. 17(9): 954-960(1991) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[BHG87]
Philip A. Bernstein, Vassos Hadzilacos, Nathan Goodman: Concurrency Control and Recovery in Database Systems. Addison-Wesley 1987, ISBN 0-201-10715-5
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Bra89]
...
[BRS96]
Stephen Blott, Lukas Relly, Hans-Jörg Schek: An Open Storage System for Abstract Objects. SIGMOD Conference 1996: 330-340 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[BSW88]
Catriel Beeri, Hans-Jörg Schek, Gerhard Weikum: Multi-Level Transaction Management, Theoretical Art or Practical Need ? EDBT 1988: 134-154 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[DE89]
Weimin Du, Ahmed K. Elmagarmid: Quasi Serializability: a Correctness Criterion for Global Concurrency Control in InterBase. VLDB 1989: 347-355 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[DPS83]
...
[DSW94]
Andrew Deacon, Hans-Jörg Schek, Gerhard Weikum: Semantics-Based Multilevel Transaction Management in Federated Systems. ICDE 1994: 452-461 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Elm92]
Ahmed K. Elmagarmid (Ed.): Database Transaction Models for Advanced Applications. Morgan Kaufmann 1992, ISBN 1-55860-214-3
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[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) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[GR91]
Dimitrios Georgakopoulos, Marek Rusinkiewicz, Amit P. Sheth: On Serializability of Multidatabase Transactions Through Forced Local Conflicts. ICDE 1991: 314-323 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Has96]
...
[KS96]
Helmut Kaufmann, Hans-Jörg Schek: Extending TP-Monitors for Intra-Transaction Parallelism. PDIS 1996: 250-261 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Lom92]
David B. Lomet: MLR: A Recovery Method for Multi-level Systems. SIGMOD Conference 1992: 185-194 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[MGG85]
...
[MGG86]
J. Eliot B. Moss, Nancy D. Griffeth, Marc H. Graham: Abstraction in Recovery Management. SIGMOD Conference 1986: 72-83 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[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) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[NWM+94]
...
[PLC81]
...
[Pu88]
Calton Pu: Superdatabases for Composition of Heterogeneous Databases. ICDE 1988: 548-555 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[SWY93]
Hans-Jörg Schek, Gerhard Weikum, Haiyan Ye: Towards a Unified Theory of Concurrency Control and Recovery. PODS 1993: 300-311 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[VYBS95]
Radek Vingralek, Haiyan Ye, Yuri Breitbart, Hans-Jörg Schek: Unified Transaction Model for Semantically Rich Operations. ICDT 1995: 148-161 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Wei91]
Gerhard Weikum: Principles and Realization Strategies of Multilevel Transaction Management. ACM Trans. Database Syst. 16(1): 132-180(1991) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[WH93]
Gerhard Weikum, Christof Hasse: Multi-Level Transaction Management for Complex Objects: Implementation, Performance, Parallelism. VLDB J. 2(4): 407-453(1993) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[WS92]
...
[WV90]
Antoni Wolski, Jari Veijalainen: 2PC Agent Method: Achieving Serializability in Presence of Failures in a Heterogeneous Multidatabase. PARBASE / Databases 1990: 268-287 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[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

Copyright © Mon Nov 2 21:04:35 2009 by Michael Ley (ley@uni-trier.de)