|
|
|
@inproceedings{DBLP:conf/vldb/FreytagCK87,
author = {Johann Christoph Freytag and
Flaviu Cristian and
Bo K{\"a}hler},
editor = {Peter M. Stocker and
William Kent and
Peter Hammersley},
title = {Masking System Crashes in Database Application Programs},
booktitle = {VLDB'87, Proceedings of 13th International Conference on Very
Large Data Bases, September 1-4, 1987, Brighton, England},
publisher = {Morgan Kaufmann},
year = {1987},
isbn = {0-934613-46-X},
pages = {407-416},
ee = {db/conf/vldb/FreytagCK87.html},
crossref = {DBLP:conf/vldb/87},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Over the last decade many techniques for recovering a consistent state for a database management system after a system crash have been proposed. However, the problem of handling system crashes in database application programs, and of masking these crashes to users of those programs, has received little attention.
This paper presents a log-based algorithm for recovering the state of database application programs after system crashes. Although the general idea of the algorithm is quite simple, the interaction between the program, the user, and the database management system has to be investigated with care. To describe the details of the algorithm clearly, we introduce a programming language with terminal input/output and database operations. By incrementally changing the semantic definition of the programming language to include operations for logging and recovery purposes, we demonstrate that the requirements for crash recovery can be met without changing the database application programs themselves.
Copyright © 1987 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.
