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

Konflikt (2)

Pojęcie konfliktu można rozszerzyć na zbiór transakcji. Mówimy, że dwie transakcje Ti, Tj są konfliktowe, jeżeli zawierają wzajemnie konfliktowe operacje. Wprowadzimy obecnie pojęcie relacji poprzedzania operacji w realizacji r(TAU). Mówimy, że operacja oi(x) znajduje się w relacji poprzedzania z operacją oj(y) w realizacji r(TAU), co zapisujemy jako oi(x) -> oj(y), jeżeli operacje te są konfliktowe i operacja oi(x) poprzedza w realizacji r(TAU) operację oj(y).

Łatwo zauważyć, że następujące pary operacji mogą znajdować się w konflikcie:

- ri(x ) i wj(x ),

- wi(x ) i rj(x ),

- wi(x ) i wj(x ).

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