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

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

Download PDF file (www.vldb.org, Darmstadt, Germany)
Download PDF file (www.acm.org, New York, USA)

ACM SIGMOD Anthology

CDROM Version: Load the CDROM "Volume 4 Issue 1, Books, VLDB-j, TODS, ..." and ...

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
Mac: Click here
UNIX/LINUX: mount the CD and click on the path of your mount point:
/Anthology/An4-1 or /cdrom

DVD Version: Load ACM SIGMOD Anthology DVD 2" and ...

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
Mac: Click here
UNIX/LINUX: mount the DVD and click on the path of your mount point:
/Anthology/aDVD2 or /dvd

References

[Campbell & Habermann 1974]: ...
[Ellis & Gibbs 1990]: Clarence A. Ellis, Simon J. Gibbs: Concurrency Control in Groupware Systems. SIGMOD Conference 1989: 399-407
[Fernandez & Zdonik 1989]: Mary F. Fernandez, Stanley B. Zdonik: Transaction Groups: A Model for Controlling Cooperative Transactions. POS 1989: 341-350
[Garcia-Molina et al. 1990]: ...
[Garcia-Molina et al. 1987]: Hector Garcia-Molina, Kenneth Salem: Sagas. SIGMOD Conference 1987: 249-259
[Haerder & Rothermel 1987]: Theo Härder, Kurt Rothermel: Concepts for Transaction Recovery in Nested Transactions. SIGMOD Conference 1987: 239-248
[Kaiser 1990]: Gail E. Kaiser: A Flexible Transaction Model for Software Engineering. ICDE 1990: 560-567
[Kim et al. 1984]: Won Kim, Raymond A. Lorie, Dan McNabb, Wil Plouffe: A Transaction Mechanism for Engineering Design Databases. VLDB 1984: 355-362
[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
[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
[Korth & Speegle 1988]: Henry F. Korth, Gregory D. Speegle: Formal Model of Correctness Without Serializability. SIGMOD Conference 1988: 379-386
[Lynch 1983]: Nancy A. Lynch: Multilevel Atomicity - A New Correctness Criterion for Database Concurrency Control. ACM Trans. Database Syst. 8(4): 484-502(1983)
[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
[Nodine et al. 1990]: Marian H. Nodine, Andrea H. Skarra, Stanley B. Zdonik: Synchronization and Recovery in Cooperative Transactions. POS 1990: 329-342
[Nodine & Zdonik 1990]: Marian H. Nodine, Stanley B. Zdonik: Cooperative Transaction Hierarchies: A Transaction Model to Support Design Applications. VLDB 1990: 83-94
[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
[Sutton 1990]: Stanley M. Sutton Jr.: A Flexible Consistency Model for Persistent Data in Software-Process Programming Languages. POS 1990: 305-318
[Tichy 1982]: Walter F. Tichy: Design, Implementation, and Evaluation of a Revision Control System. ICSE 1982: 58-67