A RS - of the AG Database-Systems

Satz:
Beweisskizze:
Transaktionskonzepte und Fehlerbehandlung
Jeder durch ein 2-Phasen Sperrprotokoll erzeugte Ausführungsplan ist serialisierbar.
– Annahme: H ist ein Ausführungsplan mit einem Zyklus T i1 -> … -> T in -> T i1
– Wenn dieser mittels eines 2PL entstanden wäre, dann müsste es Objekte A i1 , …, A in
geben, so dass bzgl. diesen Objekten die Transaktionen in Konflikt stehen. Somit muss
also ein unlock ij (A ij ) vor einem lock ij+1 (A ij ) für j= 1, …,n-1 erfolgt sein und zusätzlich
noch ein lock i1 (A in ) nach dem unlock in (A in ) erfolgen.
Seite 212