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.
Äquivalenz zweier Historien<br />
Definition<br />
Zwei Historien H und H ′ heißen äquivalent (Schreibweise:<br />
H ≡ H ′ ), wenn sie die Konfliktoperationen der nicht<br />
abgebrochenen Transaktionen in derselben Reihenfolge<br />
ausführen.<br />
Beispiel<br />
Äquivalente Historien:<br />
r1(A) → r2(C) → w1(A) → w2(C) → r1(B) → w1(B) → c1 → r2(A) → w2(A) → c2<br />
r1(A) → w1(A) → r2(C) → w2(C) → r1(B) → w1(B) → c1 → r2(A) → w2(A) → c2<br />
r1(A) → w1(A) → r1(B) → r2(C) → w2(C) → w1(B) → c1 → r2(A) → w2(A) → c2<br />
r1(A) → w1(A) → r1(B) → w1(B) → c1 → r2(C) → w2(C) → r2(A) → w2(A) → c2