Formal Specification, Object-Oriented Design, and Implementation of an Ephemeral Logger for Database Systems

Paul Hennessey, Mohamed T. Ibrahim, Alexander M. Fedorec. Formal Specification, Object-Oriented Design, and Implementation of an Ephemeral Logger for Database Systems. In Roland Wagner, Helmut Thoma, editors, Database and Expert Systems Applications, 7th International Conference, DEXA 96, Zurich, Switzerland, September 9-13, 1996, Proceedings. Volume 1134 of Lecture Notes in Computer Science, pages 333-355, Springer, 1996.

Abstract

Abstract is missing.