A Theory of Redo Recovery

Summary: Introduces installation-graph for redo recovery, a concurrency-free installed-ops order weaker than conflict ordering. Defines a recoverable-state invariant as the contract between normal execution and recovery, showing how log/state/cache coordination fits. (summarized by gpt-5-nano on Feb 09 2026)

Paper ID: 3511
Venue: SIGMOD
Year: 2003
Pagerank: 5.5893408e-05
Overall Rank: 7,592 | 47.92%
DOI: 10.1145/872757.872806

Incoming Non-self Citations Over Time

Authors

1. David Lomet (Microsoft)
2. Mark Tuttle (Hewlett Packard Enterprise)

BibTeX Citation

@inproceedings{lomet_sigmod03,
        title = {{A Theory of Redo Recovery}},
        author = {Lomet, David and Tuttle, Mark},
        series = {{SIGMOD} '03},
        booktitle = {Proceedings of the {ACM} {SIGMOD} International Conference on Management of Data},
        publisher = {Association for Computing Machinery},
        doi = {10.1145/872757.872806},
        url = {https://dl.acm.org/doi/10.1145/872757.872806},
        year = {2003}
}

Incoming Citations (Sorted by Pagerank)

Showing 4 of 4 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
1,000	Unbundling Transaction Services in the Cloud	2009	CIDR	0.000127281
1,789	Fault-Tolerance in the Borealis Distributed Stream Processing System	2005	SIGMOD	9.7502324e-05
6,070	Implementing Performance Competitive Logical Recovery	2011	VLDB	5.9879012e-05
6,529	ArkDB: A Key-Value Engine for Scalable Cloud Storage Services	2021	SIGMOD	5.8501325e-05

Outgoing Citations (Sorted by Pagerank)

Showing 2 of 2 cited papers.

Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.

Rank	Cited Paper	Year	Venue	Pagerank
5,104	Redo Recovery after System Crashes	1995	VLDB	6.3641018e-05
14,122	Logical Logging to Extend Recovery to New Domains	1999	SIGMOD	-

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	3,348	Multi-Level Recovery	1990	PODS
2	9,494	Recovering from Main-Memory Lapses	1993	VLDB
3	12,900	Concurrency Control and Recovery in Transactional Process Management	1999	PODS
4	8,469	Reducing Recovery Constraints on Locking based Protocols	1994	PODS
5	1,287	Abstraction in Recovery Management	1986	SIGMOD
6	3,384	Towards a Unified Theory of Concurrency Control and Recovery	1993	PODS
7	12,975	Recovery for Transaction Failures in Object-Based Databases	1996	PODS
8	14,122	Logical Logging to Extend Recovery to New Domains	1999	SIGMOD
9	3,518	The Impact of Recovery on Concurrency Control	1989	PODS
10	5,104	Redo Recovery after System Crashes	1995	VLDB