Synthesis of Extended Transaction Models Using ACTA.

Panos K. Chrysanthis, Krithi Ramamritham: Synthesis of Extended Transaction Models Using ACTA. ACM Trans. Database Syst. 19(3): 450-491(1994)
  author    = {Panos K. Chrysanthis and
               Krithi Ramamritham},
  title     = {Synthesis of Extended Transaction Models Using ACTA},
  journal   = {ACM Trans. Database Syst.},
  volume    = {19},
  number    = {3},
  year      = {1994},
  pages     = {450-491},
  ee        = {, db/journals/tods/ChrysanthisR94.html},
  bibsource = {DBLP,}


ACTA is a comprehensive transaction framework that facilitates the formal description of properties of extended transaction models. Specifically, using ACTA, one can specify and reason about (1) the effects of transactions on objects and (2) the interactions between transactions. This article presents ACTA as a tool for the synthesis of extended transaction models, one which supports the development and analysis of new extended transaction models in a systematic manner. Here, this is demonstrated by deriving new transaction definitions (1) by modifying the specifications of existing transaction models, (2) by combining the specifications of existing models, and (3) by starting from first principles. To exemplify the first, new models are synthesized from atomic transactions and join transactions. To illustrate the second, we synthesize a model that combines aspect of the nested- and split-transaction models. We demonstrate the latter by deriving the specification of an open-nested-transaction model from high-level requirements.

Copyright © 1994 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.

Joint ACM SIGMOD / IEEE Computer Society Anthology

CDROM Version: Load the CDROM "Volume 3 Issue 2, TODS 1991-1995, TKDE 1989-1992" and ... DVD Version: Load ACM SIGMOD Anthology DVD 2" and ... BibTeX

Online Edition: ACM Digital Library

[Abstract, Index Terms and Review]
[Full Text in PDF Format, 2797 KB]


[Badrinath and Ramamritham 1992]
B. R. Badrinath, Krithi Ramamritham: Semantics-Based Concurrency Control: Beyond Commutativity. ACM Trans. Database Syst. 17(1): 163-199(1992) BibTeX
[Bernstein et al. 1987]
Philip A. Bernstein, Vassos Hadzilacos, Nathan Goodman: Concurrency Control and Recovery in Database Systems. Addison-Wesley 1987, ISBN 0-201-10715-5
Contents BibTeX
[Buchmann et al. 1992]
Alejandro P. Buchmann, M. Tamer Özsu, Dimitrios Georgakopoulos, Frank Manola: A Transaction Model for Active Distributed Object Systems. Database Transaction Models for Advanced Applications 1992: 123-158 BibTeX
[Bukhres et al. 1993]
Omran A. Bukhres, Jiansan Chen, Weimin Du, Ahmed K. Elmagarmid, Rob Pezzoli: InterBase: An Execution Environment for Heterogeneous Software Systems. IEEE Computer 26(8): 57-69(1993) BibTeX
[Chrysanthis 1991]
[Chrysanthis and Ramamritham 1992]
Panos K. Chrysanthis, Krithi Ramamritham: ACTA: The SAGA Continues. Database Transaction Models for Advanced Applications 1992: 349-397 BibTeX
[Chrysanthis and Ramamritham 1991a]
[Chrysanthis and Ramamritham 1991b]
Panos K. Chrysanthis, Krithi Ramamritham: A Formalism for Extended Transaction Model. VLDB 1991: 103-112 BibTeX
[Chrysanthis and Ramamritham 1990]
Panos K. Chrysanthis, Krithi Ramamritham: ACTA: A Framework for Specifying and Reasoning about Transaction Structure and Behavior. SIGMOD Conference 1990: 194-203 BibTeX
[Chrysanthis et al. 1991]
Panos K. Chrysanthis, S. Raghuram, Krithi Ramamritham: Extracting Concurrency from Objects: A Methodology. SIGMOD Conference 1991: 108-117 BibTeX
[Du and Elmagarmid 1989]
Weimin Du, Ahmed K. Elmagarmid: Quasi Serializability: a Correctness Criterion for Global Concurrency Control in InterBase. VLDB 1989: 347-355 BibTeX
[Elmagarmid 1992]
Ahmed K. Elmagarmid (Ed.): Database Transaction Models for Advanced Applications. Morgan Kaufmann 1992, ISBN 1-55860-214-3
Contents BibTeX
[Fernandez and Zdonik 1989]
Mary F. Fernandez, Stanley B. Zdonik: Transaction Groups: A Model for Controlling Cooperative Transactions. POS 1989: 341-350 BibTeX
[Garcia-Molina and Salem 1987]
Hector Garcia-Molina, Kenneth Salem: Sagas. SIGMOD Conference 1987: 249-259 BibTeX
[Herlihy and Weihl 1988]
Maurice Herlihy, William E. Weihl: Hybrid Concurrency Control for Abstract Data Types. PODS 1988: 201-210 BibTeX
[Korth and Speegle 1988]
Henry F. Korth, Gregory D. Speegle: Formal Model of Correctness Without Serializability. SIGMOD Conference 1988: 379-386 BibTeX
[Mohan et al. 1992]
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
[Moss 1981]
[Pu et al. 1988]
Calton Pu, Gail E. Kaiser, Norman C. Hutchinson: Split-Transactions for Open-Ended Activities. VLDB 1988: 26-37 BibTeX
[Schwarz and Spector 1984]
Peter M. Schwarz, Alfred Z. Spector: Synchronizing Shared Abstract Types. ACM Trans. Comput. Syst. 2(3): 223-250(1984) BibTeX
[Skarra 1991]
[Sheth et al. 1992]
Amit P. Sheth, Marek Rusinkiewicz, George Karabatis: Using Polytransactions to Manage Interdependent Data. Database Transaction Models for Advanced Applications 1992: 555-581 BibTeX
[Stemple and Morrison 1992]
[Veijalainen et al. 1992]
Jari Veijalainen, Frank Eliassen, Bernhard Holtkamp: The S-transaction Model. Database Transaction Models for Advanced Applications 1992: 467-513 BibTeX
[Wächter and Reuter 1992]
Helmut Wächter, Andreas Reuter: The ConTract Model. Database Transaction Models for Advanced Applications 1992: 219-263 BibTeX
[Weihl 1984]
[Weihl 1988]
William E. Weihl: Commutativity-Based Concurrency Control for Abstract Data Types. IEEE Trans. Computers 37(12): 1488-1505(1988) BibTeX

Referenced by

  1. Yousef J. Al-Houmaily, Panos K. Chrysanthis: Atomicity with Incompatible Presumptions. PODS 1999: 306-315
  2. M. M. Gore, R. K. Ghosh: Recovery in Distributed Extended Long-lived Transaction Models. DASFAA 1999: 313-320
  3. Kerstin Schwarz, Can Türker, Gunter Saake: Computing Rules for Detecting Contradictory Transaction Termination Dependencies. ADBIS 1999: 113-127
  4. Gunter Saake, Andreas Heuer: Datenbanken: Implementierungstechniken. MITP-Verlag 1999, ISBN 3-8266-0513-6
  5. Mohan Kamath, Krithi Ramamritham: Failure Handling and Coordinated Execution of Concurrent Workflows. ICDE 1998: 334-341
  6. Jian Tang, San-Yih Hwang: A Scheme to Specify and Implement Ad-Hoc Recovery in Workflow Systems. EDBT 1998: 484-498
  7. Kerstin Schwarz, Can Türker, Gunter Saake: Extending Transaction Closures by N-ary Termination Dependencies. ADBIS 1998: 131-142
  8. Paul Ammann, Sushil Jajodia, Indrakshi Ray: Applying Formal Methods to Semantic-Based Decomposition of Transactions. ACM Trans. Database Syst. 22(2): 215-254(1997)
  9. Cris Pedregal Martin, Krithi Ramamritham: Delegation: Efficiently Rewriting History. ICDE 1997: 266-275
  10. George T. Heineman, Gail E. Kaiser: The CORD Appraoch to Extensible Concurrency Control. ICDE 1997: 562-571
  11. Anthony J. Bonner: Modular Composition of Transaction Programs with Deductive Databases. DBPL 1997: 373-395
  12. Evaggelia Pitoura, Omran A. Bukhres, Ahmed K. Elmagarmid: Object Orientation in Multidatabase Systems. ACM Comput. Surv. 27(2): 141-195(1995)
  13. Paul Ammann, Sushil Jajodia, Indrakshi Ray: Using Formal Methods to Reason about Semantics-Based Decompositions of Transactions. VLDB 1995: 218-227
  14. Alexandros Biliris, Shaul Dar, Narain H. Gehani, H. V. Jagadish, Krithi Ramamritham: ASSET: A System for Supporting Extended Transactions. SIGMOD Conference 1994: 44-54
  15. Panos K. Chrysanthis, Krithi Ramamritham: Delegation in ACTA to Control Sharing in Extended Transactions. IEEE Data Eng. Bull. 16(2): 16-19(1993)
ACM SIGMOD Anthology - DBLP: [Home | Search: Author, Title | Conferences | Journals]
TODS, ACM SIGMOD Anthology: Copyright © by ACM (, Corrections:
DBLP: Copyright © by Michael Ley (, last change: Tue Jun 24 18:39:17 2008