SIGMOD - Formal Foundations A Theory of Redo Recovery David B. Lomet Mark R. Tuttle Formal semantics and analysis of object queries Gavin M. Bierman Return to SIGMOD session listing ©2004 Association for Computing Machinery