Mehrbenutzersynchronisation - DBAI - Technische Universität Wien
Mehrbenutzersynchronisation - DBAI - Technische Universität Wien
Mehrbenutzersynchronisation - DBAI - Technische Universität Wien
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
Rücksetzbare Historien<br />
Definition<br />
Eine Historie H heißt rücksetzbar, wenn für alle<br />
Transaktionen T i und T j in H gilt: Falls T i von T j liest, dann darf<br />
T i nicht vor T j das commit durchführen.<br />
Anders ausgedrückt: Eine Transaktion darf erst dann ihr commit<br />
durchführen, wenn alle Transaktionen, von denen sie gelesen<br />
hat, beendet sind.<br />
Definition<br />
Eine Historie H vermeidet kaskadierendes Rücksetzen, wenn<br />
für alle Transaktionen T i und T j in H gilt: T i liest von T j ein<br />
Datum A erst, nachdem T j committed wurde, d.h. c j < H r i(A).