Formalizing Recovery in Transaction-Oriented Database Systems

Charles Wallace, Yuri Gurevich, Nandit Soparkar. Formalizing Recovery in Transaction-Oriented Database Systems. In COMAD. 1995.

Abstract

Abstract is missing.