Model and Verification of a Data Manager Based on ARIES

Authors:
Dean Kuo
Affiliations:
-
Venue:
ICDT '92 Proceedings of the 4th International Conference on Database Theory
Year:
1992

Citing 0
Cited 3

Model and verification of a data manager based on ARIES

ACM Transactions on Database Systems (TODS)
Redo Recovery after System Crashes

VLDB '95 Proceedings of the 21th International Conference on Very Large Data Bases
A theory of redo recovery

Proceedings of the 2003 ACM SIGMOD international conference on Management of data

Quantified Score

Hi-index	0.00

Visualization

Abstract