* [[übungen]]
* [[zusammenfassung]]
* Atomic (Wenn, dann wird man als ganzes abgebrochen)
* Consistency (Konsistenter Zystand -> Konsistenter Zustand)
* Isolation (Man muss sich aleine fühlen)
* Durability (Abgeschlossene Transaktionen sind von dauer)
^ t1 | r(x) | | w(x) |
^ t2 | | w(x) | |
^ t1 | w(x) | | w(x) |
^ t2 | | r(x) | |
^ t1 | r(x) | | r(x) |
^ t2 | | w(x) | |
//Non-repeatable read// mit Aggregiertem read
^ allgemeiner Schedule | Durcheinander |
^ serialisierbarer (allgemeiner) Schedule | Durcheinander kann in Blockform gebracht werden |
^ serieller Schedule | Blockform |
Graph Zeichen
* Knoten: Transaktionen
* Kanten: Abhängigkeiten
^ Übergang ^ Markierung ^
| $w_i(x) \rightarrow r_j(x)$ | wr(x) |
| $r_i(x) \rightarrow w_j(x)$ | rw(x) |
| $w_i(x) \rightarrow w_j(x)$ | ww(x) |
//Kein// rr(x)
Zyklenfrei? => Serialisierbar durch topologisches sorieren
* Pessimistische Ablaufsteuerung (Locking)
* Optimistische Ablaufsteuerung (Zeitstempelverfahren) \\ Notfalls rollback