Jim Huggins / huggins@acm.org
[an error occurred while processing this directive]
URL:
http://web.eecs.umich.edu/gasm/papers/dbrecover.html (page only)
last update: Wednesday, 14-Aug-2013 18:19:19 EDT
| Citation: | Yuri Gurevich, Nandit Soparkar, and Charles Wallace, "Formalizing Database Recovery", Journal of Universal Computer Science, vol. 3, no. 4 (1997), 320--340. |
|---|---|
| Summary: | A database recovery algorithm (the undo-redo algorithm) is modeled at several levels of abstraction, with verification of the correctness of each model. |
| Subjects: | Databases, Verification |
| Download: | PostScript, PDF, Compressed PostScript |
| Notes: | (Courtesy of Springer-Verlag.) |
[an error occurred while processing this directive]
URL:
http://web.eecs.umich.edu/gasm/papers/dbrecover.html (page only)
last update: Wednesday, 14-Aug-2013 18:19:19 EDT