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.