Jede Transaktion besteht aus Aktionen:
Serieller Ablauf: Keine Verzahnte Ausführung, z.B.:
Final-State-Serialisierbar: Wenn alle Anfragen das gleiche liefern und DB im gleichen Zustand hinterlassen wird, wie bei irgend einem seriellen Ablauf.
Konflikt-Serialisierbar: Wenn es keine Zyklen im Serialisierbarkeitsgraphen gibt.
Konfliktoperationen
- Von verschiedenen TAs auf gleiches Objekt
Beispiel:
-> Kein Zyklus im Serialisierbarkeitsgraphen -> Der Ablauf ist serialisierbar
Äquivalenten Seriellen Ablauf zum Verzahnten Ablauf finden:
- Knoten ohne eingehende Kanten finden
- Diesen Knoten entfernen und hinschreiben
- Auch ausgehende Kanten entfernen
- Wiederholen bis alle Transaktionen hingeschrieben wurden
Beispiel: TA2, TA1, TA3