Serialisierbarkeit

[Bierspecke]

Es besteht folgende aufgabe:
Eine Datenbank enthält das Objekt A mit dem Anfangswert A=5.
Folgende Transaktionen wollen A verarbeiten:

T1:
(a) lies A in die lokale größe a
(b) a=a+1
(c) schreibe a nach A

T2:
(d) lies A in die lokale größe a
(e) a=a*2
(f) schreibe a nach A

Nun soll man die Schedule auf Serialisierbarkeit prüfen!

Nun mein Anliegen:

Wie geht man sowas an? Wie sieht sowas dann Später aus?