Grundprinzipien eines Warmstart•Recovery-Algorithmus (ARIES, C. Mohan, IBM) Ein korrekter Recovery-Algorithmus muss berücksichtigen, dass •auch für Logfiles das Zusammenspiel zwischen Hauptspeicher und stabilem Speicher gilt•jederzeit, sogar •während• der Recovery erneut Fehler auftreten können.•Write-Ahead Logging bei Schreiboperationen:•Der alte Wert muss vor einer Schreiboperation geloggt werden (sicheres UNDO). •Der neue Wert muss ins stabile Log, bevor er in den stabilen Datenspeicher geschrieben wird, und spätestens vor dem COMMIT (sichere Durability).•Nach Absturz geht das REDO der abgeschlossenen Transaktionen, deren Ergebnisse noch nicht im stabilen Speicher stehen, dem UNDO der laufenden Transaktionen voraus. Zeit