Analysis of recovery in a database system using a write-ahead log protocolAnant JhingranPratap Khedkar1992SIGMOD 1992