A Formal Approach to Recovery by Compensating Transactions.

Henry F. Korth, Eliezer Levy, Abraham Silberschatz: A Formal Approach to Recovery by Compensating Transactions. VLDB 1990: 95-106
  author    = {Henry F. Korth and
               Eliezer Levy and
               Abraham Silberschatz},
  editor    = {Dennis McLeod and
               Ron Sacks-Davis and
               Hans-J{\"o}rg Schek},
  title     = {A Formal Approach to Recovery by Compensating Transactions},
  booktitle = {16th International Conference on Very Large Data Bases, August
               13-16, 1990, Brisbane, Queensland, Australia, Proceedings},
  publisher = {Morgan Kaufmann},
  year      = {1990},
  isbn      = {1-55860-149-X},
  pages     = {95-106},
  ee        = {db/conf/vldb/KorthLS90.html},
  crossref  = {DBLP:conf/vldb/90},
  bibsource = {DBLP,}


Compensating transactions are intended to handle situations where it is required to undo either committed or uncommitted transactions that affect other transactions, without resorting to cascading aborts. This stands in sharp contrast to the standard approach to transaction recoverywhere cascading aborts are avoided by requiring transactions to read only committed data, and where committed transactions are treated as permanent and irreversible. We argue that this standard approach to recovery is not suitable for a wide range of advanced database applications, in particular those applications that incorporate long-duration or nested transactions. We show how compensating transactions can be effectively used to handle these types of applications. We present a model that allows the definition of a variety of types of correctcompensation. These types of compensation range from traditional undo, at one extreme, to application-dependent, special-purpose compensating transactions, at the other extreme.

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

Online Paper

ACM SIGMOD Anthology

CDROM Version: Load the CDROM "Volume 1 Issue 5, VLDB '89-'97" and ... DVD Version: Load ACM SIGMOD Anthology DVD 1" and ... BibTeX

Printed Edition

Dennis McLeod, Ron Sacks-Davis, Hans-Jörg Schek (Eds.): 16th International Conference on Very Large Data Bases, August 13-16, 1990, Brisbane, Queensland, Australia, Proceedings. Morgan Kaufmann 1990, ISBN 1-55860-149-X


B. R. Badrinath, Krithi Ramamritham: Semantics-Based Concurrency Control: Beyond Commutativity. ICDE 1987: 304-311 BibTeX
Philip A. Bernstein, Vassos Hadzilacos, Nathan Goodman: Concurrency Control and Recovery in Database Systems. Addison-Wesley 1987, ISBN 0-201-10715-5
Contents BibTeX
Abdel Aziz Farrag, M. Tamer Özsu: Using Semantic Knowledge of Transactions to Increase Concurrency. ACM Trans. Database Syst. 14(4): 503-525(1989) BibTeX
Hector Garcia-Molina: Using Semantic Knowledge for Transaction Processing in Distributed Database. ACM Trans. Database Syst. 8(2): 186-213(1983) BibTeX
Hector Garcia-Molina, Kenneth Salem: Sagas. SIGMOD Conference 1987: 249-259 BibTeX
Jim Gray: The Transaction Concept: Virtues and Limitations (Invited Paper). VLDB 1981: 144-154 BibTeX
Theo Härder, Andreas Reuter: Principles of Transaction-Oriented Database Recovery. ACM Comput. Surv. 15(4): 287-317(1983) BibTeX
Henry F. Korth: Locking Primitives in a Database System. J. ACM 30(1): 55-79(1983) BibTeX
Henry F. Korth, Gregory D. Speegle: Formal Model of Correctness Without Serializability. SIGMOD Conference 1988: 379-386 BibTeX
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
J. Eliot B. Moss, Nancy D. Griffeth, Marc H. Graham: Abstraction in Recovery Management. SIGMOD Conference 1986: 72-83 BibTeX
Michael Stonebraker, Randy H. Katz, David A. Patterson, John K. Ousterhout: The Design of XPRS. VLDB 1988: 318-330 BibTeX
William E. Weihl: Commutativity-Based Concurrency Control for Abstract Data Types. IEEE Trans. Computers 37(12): 1488-1505(1988) BibTeX

Referenced by

  1. Paul Ammann, Sushil Jajodia, Indrakshi Ray: Applying Formal Methods to Semantic-Based Decomposition of Transactions. ACM Trans. Database Syst. 22(2): 215-254(1997)
  2. Yuri Breitbart, Henry F. Korth: Replication and Consistency: Being Lazy Helps Sometimes. PODS 1997: 173-184
  3. H. V. Jagadish, Inderpal Singh Mumick, Michael Rabinovich: Scalable Versioning in Distributed Databases with Commuting Updates. ICDE 1997: 520-531
  4. Krithi Ramamritham, Panos K. Chrysanthis: A Taxonomy of Correctness Criteria in Database Applications. VLDB J. 5(1): 85-97(1996)
  5. Ahmed K. Elmagarmid, Jin Jing, Won Kim, Omran A. Bukhres, Aidong Zhang: Global Committability in Multidatabase Systems. IEEE Trans. Knowl. Data Eng. 8(5): 816-824(1996)
  6. Krithi Ramamritham, Calton Pu: A Formal Characterization of Epsilon Serializability. IEEE Trans. Knowl. Data Eng. 7(6): 997-1007(1995)
  7. Narayanan Krishnakumar, Arthur J. Bernstein: Bounded Ignorance: A Technique for Increasing Concurrency in a Replicated System. ACM Trans. Database Syst. 19(4): 586-625(1994)
  8. Henry F. Korth, Gregory D. Speegle: Formal Aspects of Concurrency Control in Long-Duration Transaction Systems Using the NT/PV Model. ACM Trans. Database Syst. 19(3): 492-535(1994)
  9. Aidong Zhang, Marian H. Nodine, Bharat K. Bhargava, Omran A. Bukhres: Ensuring Relaxed Atomicity for Flexible Transactions in Multidatabase Systems. SIGMOD Conference 1994: 67-78
  10. Alexandros Biliris, Shaul Dar, Narain H. Gehani, H. V. Jagadish, Krithi Ramamritham: ASSET: A System for Supporting Extended Transactions. SIGMOD Conference 1994: 44-54
  11. Andrew Deacon, Hans-Jörg Schek, Gerhard Weikum: Semantics-Based Multilevel Transaction Management in Federated Systems. ICDE 1994: 452-461
  12. Marek Rusinkiewicz, Amit P. Sheth: Transactional Workflow Management in Distributed Systems (Invited Paper). ADBIS 1994: 18-33
  13. Gerhard Weikum, Christof Hasse: Multi-Level Transaction Management for Complex Objects: Implementation, Performance, Parallelism. VLDB J. 2(4): 407-453(1993)
  14. Divyakant Agrawal, Amr El Abbadi, Ambuj K. Singh: Consistency and Orderability: Semantics-Based Correctness Criteria for Databases. ACM Trans. Database Syst. 18(3): 460-486(1993)
  15. L. Suardi, Marek Rusinkiewicz, Witold Litwin: Execution of Extended Multidatabase SQL. ICDE 1993: 641-650
  16. Marian H. Nodine, Stanley B. Zdonik: Cooperative Transaction Hierarchies: Transaction Support for Design Applications. VLDB J. 1(1): 41-80(1992)
  17. Yuri Breitbart, Hector Garcia-Molina, Abraham Silberschatz: Overview of Multidatabase Transaction Management. VLDB J. 1(2): 181-239(1992)
  18. H. V. Jagadish, Oded Shmueli: Proclamation-Based Model for Cooperating Transactions. VLDB 1992: 265-276
  19. Mansoor Ansari, Linda Ness, Marek Rusinkiewicz, Amit P. Sheth: Using Flexible Transactions to Support Multi-System Telecommunication Applications. VLDB 1992: 65-76
  20. David B. Lomet: MLR: A Recovery Method for Multi-level Systems. SIGMOD Conference 1992: 185-194
  21. Christof Hasse, Gerhard Weikum: A Performance Evaluation of Multi-Level Transaction Management. VLDB 1991: 55-66
  22. Panos K. Chrysanthis, Krithi Ramamritham: A Formalism for Extended Transaction Model. VLDB 1991: 103-112
  23. William Perrizo, Joseph Rajkumar, Prabhu Ram: HYDRO: A Heterogeneous Distributed Database System. SIGMOD Conference 1991: 32-39
  24. Eliezer Levy, Henry F. Korth, Abraham Silberschatz: An Optimistic Commit Protocol for Distributed Transaction Management. SIGMOD Conference 1991: 88-97
  25. Narayanan Krishnakumar, Arthur J. Bernstein: Bounded Ignorance in Replicated Systems. PODS 1991: 63-74
  26. Peter Muth, Thomas C. Rakow: Atomic Commitment for Integrated Database Systems. ICDE 1991: 296-304
  27. C. Mohan, Hamid Pirahesh: ARIES-RRH: Restricted Repeating of History in the ARIES Transaction Recovery Method. ICDE 1991: 718-727
  28. Henry F. Korth, Nandit Soparkar, Abraham Silberschatz: Triggered Real-Time Databases with Consistency Constraints. VLDB 1990: 71-82
ACM SIGMOD Anthology - DBLP: [Home | Search: Author, Title | Conferences | Journals]
VLDB Proceedings: Copyright © by VLDB Endowment,
ACM SIGMOD Anthology: Copyright © by ACM (, Corrections:
DBLP: Copyright © by Michael Ley (, last change: Sat May 16 23:45:43 2009