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

• Authors:

• Paul Hennessey;Mohamed T. Ibrahim;Alexander M. Fedorec

• Affiliations:

• -;-;-

• Venue:
• DEXA '96 Proceedings of the 7th International Conference on Database and Expert Systems Applications
• Year:
• 1996