Synthesis of Extended Transaction Models Using ACTA.

@article{DBLP:journals/tods/ChrysanthisR94,
  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        = {http://doi.acm.org/10.1145/185827.185843, db/journals/tods/ChrysanthisR94.html},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

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

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

Online Edition: ACM Digital Library

References

[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
   Contents
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)