A Formal Approach to Recovery by Compensating Transactions
Summary: Introduces a formal model for recovery using compensating transactions to undo effects of committed or uncommitted operations without cascading aborts. Characterizes a spectrum of correct compensations—from undo to application-specific schemes—suited for long-running and nested transactions. (summarized by gpt-5-nano on Feb 09 2026)
Incoming Non-self Citations Over Time
Authors
- 1. Henry F. Korth (University of Texas)
- 2. Eliezer Levy (University of Texas)
- 3. Abraham Silberschatz (University of Texas)
BibTeX Citation
@article{korth_vldb90,
title = {{A Formal Approach to Recovery by Compensating Transactions}},
author = {Korth, Henry F. and Levy, Eliezer and Silberschatz, Abraham},
journal = {PVLDB},
series = {{VLDB} '90},
year = {1990}
}Incoming Citations (Sorted by Pagerank)
Showing 10 of 10 citing papers.
| Rank | Citing Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 3,760 | MLR: A Recovery Method for Multi-level Systems | 1992 | SIGMOD | 7.0426689e-05 |
| 4,096 | Bounded Ignorance in Replicated Systems | 1991 | PODS | 6.8094639e-05 |
| 5,047 | Using Flexible Transactions to Support Multi-system Telecommunication Applications | 1992 | VLDB | 6.2992912e-05 |
| 5,412 | An Optimistic Commit Protocol for Distributed Transaction Management | 1991 | SIGMOD | 6.1403428e-05 |
| 6,272 | Replication and Consistency: Being Lazy Helps Sometimes | 1997 | PODS | 5.8278403e-05 |
| 7,123 | Ensuring Relaxed Atomicity for Flexible Transactions in Multidatabase Systems | 1994 | SIGMOD | 5.601767e-05 |
| 8,155 | Compensation-Aware Data Types in RDBMS | 2009 | SIGMOD | 5.3881127e-05 |
| 8,502 | Hydro: A Heterogeneous Distributed Database System | 1991 | SIGMOD | 5.3294589e-05 |
| 8,730 | Triggered Real-Time Databases with Consistency Constraints | 1990 | VLDB | 5.2905577e-05 |
| 13,383 | A Proclamation-Based Model for Cooperating Transactions | 1992 | VLDB | 4.9793485e-05 |
Previous
Page 1 / 1
Next
Outgoing Citations (Sorted by Pagerank)
Showing 4 of 4 cited papers.
Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.
| Rank | Cited Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 66 | Sagas | 1987 | SIGMOD | 0.00038047495 |
| 498 | The Design of XPRS | 1988 | VLDB | 0.00017299238 |
| 1,309 | Abstraction in Recovery Management | 1986 | SIGMOD | 0.00011070982 |
| 2,490 | Formal Model of Correctness Without Serializability | 1988 | SIGMOD | 8.3959371e-05 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| # | Overall Rank | Paper | Year | Venue |
|---|---|---|---|---|
| 1 | 3,591 | The Impact of Recovery on Concurrency Control | 1989 | PODS |
| 2 | 5,694 | Log-Based Recovery for Nested Transactions | 1987 | VLDB |
| 3 | 13,190 | Concurrency Control and Recovery in Transactional Process Management | 1999 | PODS |
| 4 | 8,627 | Reducing Recovery Constraints on Locking based Protocols | 1994 | PODS |
| 5 | 13,227 | Low-Cost Compensation-Based Query Processing | 1998 | VLDB |
| 6 | 6,735 | Concepts for Transaction Recovery in Nested Transactions | 1987 | SIGMOD |
| 7 | 8,155 | Compensation-Aware Data Types in RDBMS | 2009 | SIGMOD |
| 8 | 3,408 | Multi-Level Recovery | 1990 | PODS |
| 9 | 13,265 | Recovery for Transaction Failures in Object-Based Databases | 1996 | PODS |
| 10 | 8,957 | Recovery from "Bad" User Transactions | 2006 | SIGMOD |