BD-2st-1.2-w08.tresc-1.1-Slajd33

Z Studia Informatyczne
Wersja z dnia 11:35, 28 sie 2006 autorstwa PKrzyzagorski (dyskusja | edycje)
(różn.) ← poprzednia wersja | przejdź do aktualnej wersji (różn.) | następna wersja → (różn.)
Przejdź do nawigacjiPrzejdź do wyszukiwania

Realizacje odtwarzalne (3)

Realizacje odtwarzalne (3)


Dla ilustracji nowo wprowadzonych klas realizacji transakcji rozważmy przykładowe realizacje przedstawione na slajdzie. Dane są dwie transakcje T1 i T2 przedstawione na slajdzie.

Rozważmy realizację H1. Realizacja H1 jest realizacją konfliktowo-uszeregowalną, ale nie jest realizacja odtwarzalną. Transakcja T2 czyta daną y z transakcji T1, ale c2 < c1. Łatwo również zauważyć, że realizacja H1 nie należy do klasy realizacji ACA jak również ST.

Rozważmy realizację H2. Realizacja H2 jest realizacją konfliktowo-uszeregowalną. Ponadto, jest również realizacją odtwarzalną. Transakcja T2 czyta daną y z transakcji T1, ale tym razem c1 < c2. Realizacja H2 nie należy do klasy realizacji ACA jak również ST.

Rozważmy realizację H3. Realizacja H3 jest realizacją konfliktowo-uszeregowalną i odtwarzalną. Ponadto, jest ona również realizacja unikającą kaskadowych wycofań (należy do klasy ACA). Transakcja T2 czyta daną y z transakcji T1 i spełniony jest warunek c1 < r2[y]. Realizacja H3 nie jest natomiast realizacją ścisłą.

Wreszcie, rozważmy realizację H4. Realizacja H4 jest realizacją konfliktowo-uszeregowalną, odtwarzalną unikającą kaskadowych wycofań oraz realizacją ścisłą.


<< Poprzedni slajd | Spis treści | Następny slajd >>