A RS - of the AG Database-Systems

Problem der inkonsistenten Datenbank
� A und B seien im Folgenden zwei Kontostände, die stets A = B erfüllen.
T 1
read(A, a);
a := a + 10;
write(A, a);
read(A, c);
c := c*1.1;
write(A, c);
read(B, b);
b := b*1.1;
write(B, b);
commit;
read(B, d);
d := d +10;
write(B,d);
commit;
Die Datenbank hat dauerhaft einen inkonsistenten Zustand:
Aneu = (A+10)*1.1 � B*1.1+10 = Bneu T 2
Transaktionskonzepte und Fehlerbehandlung
Seite 204