ACM SIGMOD Anthology VLDB dblp.uni-trier.de

Cooperative Transaction Hierarchies: Transaction Support for Design Applications.

Marian H. Nodine, Stanley B. Zdonik: Cooperative Transaction Hierarchies: Transaction Support for Design Applications. VLDB J. 1(1): 41-80(1992)
@article{DBLP:journals/vldb/NodineZ92,
  author    = {Marian H. Nodine and
               Stanley B. Zdonik},
  title     = {Cooperative Transaction Hierarchies: Transaction Support for
               Design Applications},
  journal   = {VLDB J.},
  volume    = {1},
  number    = {1},
  year      = {1992},
  pages     = {41-80},
  ee        = {db/journals/vldb/NodineZ92.html},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
BibTeX

Abstract

Traditional atomic and nested transactions are not always well-suited to cooperative applications, such as design applications. Cooperative applications place requirements on the database that may conflict with the serializability requirement. They require transactions to be long, possibly nested, and able to interact with each other in a structured way. We define a transaction framework, called a cooperative transaction hierarchy, that allows us to relax the requirement for atomic, serializable transactions to better support cooperative applications. In cooperative transaction hierarchies, we allow the correctness specification for groups of designers to be tailored to the needs of the application. We use patterns and conflicts to specify the constraints imposed on a group's history for it to be correct. We also provide some primitives to smooth the operation of the members. We characterize deadlocks in a cooperative transaction hierarchy, and provide mechanisms for deadlock detection and resolution. We examine issues associated with failure and recovery.

Copyright © 1992 by the VLDB Endowment. Permission to copy without fee all or part of this material is granted provided that the copies are not made or distributed for direct commercial advantage, the VLDB copyright notice and the title of the publication and its date appear, and notice is given that copying is by the permission of the Very Large Data Base Endowment. To copy otherwise, or to republish, requires a fee and/or special permission from the Endowment.

Key Words

Cooperation, design transactions, transaction hierarchies, non-serializability, transaction synchronization, deadlock detection, version management.

Online Paper

ACM SIGMOD Anthology

CDROM Version: Load the CDROM "Volume 4 Issue 1, Books, VLDB-j, TODS, ..." and ... DVD Version: Load ACM SIGMOD Anthology DVD 2" and ... BibTeX

References

[Campbell & Habermann 1974]
...
[Ellis & Gibbs 1990]
Clarence A. Ellis, Simon J. Gibbs: Concurrency Control in Groupware Systems. SIGMOD Conference 1989: 399-407 BibTeX
[Fernandez & Zdonik 1989]
Mary F. Fernandez, Stanley B. Zdonik: Transaction Groups: A Model for Controlling Cooperative Transactions. POS 1989: 341-350 BibTeX
[Garcia-Molina et al. 1990]
...
[Garcia-Molina et al. 1987]
Hector Garcia-Molina, Kenneth Salem: Sagas. SIGMOD Conference 1987: 249-259 BibTeX
[Haerder & Rothermel 1987]
Theo Härder, Kurt Rothermel: Concepts for Transaction Recovery in Nested Transactions. SIGMOD Conference 1987: 239-248 BibTeX
[Kaiser 1990]
Gail E. Kaiser: A Flexible Transaction Model for Software Engineering. ICDE 1990: 560-567 BibTeX
[Kim et al. 1984]
Won Kim, Raymond A. Lorie, Dan McNabb, Wil Plouffe: A Transaction Mechanism for Engineering Design Databases. VLDB 1984: 355-362 BibTeX
[Klahold et al. 1985]
Peter Klahold, Gunter Schlageter, Rainer Unland, Wolfgang Wilkes: A Transaction Model Supporting Complex Applications in Integrated Information Systems. SIGMOD Conference 1985: 388-401 BibTeX
[Korth et al. 1988]
...
[Korth et al. 1990]
Henry F. Korth, Eliezer Levy, Abraham Silberschatz: A Formal Approach to Recovery by Compensating Transactions. VLDB 1990: 95-106 BibTeX
[Korth & Speegle 1988]
Henry F. Korth, Gregory D. Speegle: Formal Model of Correctness Without Serializability. SIGMOD Conference 1988: 379-386 BibTeX
[Lynch 1983]
Nancy A. Lynch: Multilevel Atomicity - A New Correctness Criterion for Database Concurrency Control. ACM Trans. Database Syst. 8(4): 484-502(1983) BibTeX
[Eliot & Moss 1985]
...
[Nodine 1991]
...
[Nodine et al. 1992]
Marian H. Nodine, Sridhar Ramaswamy, Stanley B. Zdonik: A Cooperative Transaction Model for Design Databases. Database Transaction Models for Advanced Applications 1992: 53-85 BibTeX
[Nodine et al. 1990]
Marian H. Nodine, Andrea H. Skarra, Stanley B. Zdonik: Synchronization and Recovery in Cooperative Transactions. POS 1990: 329-342 BibTeX
[Nodine & Zdonik 1990]
Marian H. Nodine, Stanley B. Zdonik: Cooperative Transaction Hierarchies: A Transaction Model to Support Design Applications. VLDB 1990: 83-94 BibTeX
[Skarra 1989]
...
[Skarra 1991]
...
[Skarra et al. 1986]
Andrea H. Skarra, Stanley B. Zdonik, Steven P. Reiss: An Object Server for an Object-Oriented Database System. OODBS 1986: 196-204 BibTeX
[Sutton 1990]
Stanley M. Sutton Jr.: A Flexible Consistency Model for Persistent Data in Software-Process Programming Languages. POS 1990: 305-318 BibTeX
[Tichy 1982]
Walter F. Tichy: Design, Implementation, and Evaluation of a Revision Control System. ICSE 1982: 58-67 BibTeX

Referenced by

  1. Malcolm P. Atkinson, Ronald Morrison: Orthogonally Persistent Object Systems. VLDB J. 4(3): 319-401(1995)
  2. Leonid A. Kalinichenko: Homogeneous Localization of Structural Interactivity Dependencies in Megaprograms using Scripts. ADBIS 1994: 34-48
BibTeX
ACM SIGMOD Anthology - DBLP: [Home | Search: Author, Title | Conferences | Journals]
VLDB Journal: 1992-1995 Copyright © by VLDB Endowment / 1996-... Copyright © by Springer Verlag,
ACM SIGMOD Anthology: Copyright © by ACM (info@acm.org), Corrections: anthology@acm.org
DBLP: Copyright © by Michael Ley (ley@uni-trier.de), last change: Sun May 17 00:31:16 2009