DBScholar

Back to papers

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)

Paper ID
8126
Venue
VLDB
Year
1990
Pagerank
8.0726749e-05
Overall Rank
2,835 | 80.56%
DOI
-

Incoming Non-self Citations Over Time

Authors

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.

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
64 Sagas 1987 SIGMOD 0.00038756588
497 The Design of XPRS 1988 VLDB 0.00017462492
1,287 Abstraction in Recovery Management 1986 SIGMOD 0.00011320549
2,450 Formal Model of Correctness Without Serializability 1988 SIGMOD 8.565918e-05
Previous Page 1 / 1 Next

Semantically Similar Papers