Lokales Zurücksetzen einer Transaktion

Die zu einer zurückzusetzenden Transaktion gehörenden Log-Einträge werden mit Hilfe des PrevLSN-Eintrags in umgekehrter Reihenfolge abgearbeitet. Jede Änderung wird durch eine Undo-Operation rückgängig gemacht.

Wichig in diesem Zusammenhang ist die Verwendung von rücksetzbaren Historien, die auf den Schreib- und Leseabhängigkeiten basieren.

Wir sagen, daß in einer Historie H die Transaktion T_i von der Transaktion T_j liest, wenn folgendes gilt:

• T_j schreibt ein Datum A, das T_i nachfolgend liest.
• T_j wird nicht vor dem Lesevorgang von T_i zurückgesetzt.
• Alle anderen zwischenzeitlichen Schreibvorgänge auf A durch andere Transaktionen werden vor dem Lesen durch T_i zurückgesetzt.

Eine Historie heißt rücksetzbar, falls immer die schreibende Transaktion T_j vor der lesenden Transaktion T_i ihr commit ausführt. Anders gesagt: Eine Transaktion darf erst dann ihr commit ausführen, wenn alle Transaktionen, von denen sie gelesen hat, beendet sind. Wäre diese Bedingung nicht erfüllt, könnte man die schreibende Transaktion nicht zurücksetzen, da die lesende Transaktion dann mit einem offiziell nie existenten Wert für A ihre Berechnung commited hätte.