BD-2st-1.2-w08.tresc-1.1-Slajd27
Konfliktowa równoważność
Relacje poprzedzania można również rozszerzyć na zbiór transakcji. Mówimy, że transakcja Ti jest w relacji poprzedzania z transakcją Tj w realizacji r(TAU ), co zapisujemy jako Ti -> Tj , jeżeli transakcje te zawierają odpowiednio operacje oi(x ) i oj(x ), między którymi zachodzi relacja poprzedzania. Przypomnijmy, że zgodnie z założeniem 2, każda realizacja współbieżna równoważna dowolnej realizacji sekwencyjnej tego samego zbioru transakcji jest poprawna. Jak już wspominaliśmy, kluczowe, w powyższej definicji, jest pojęcie równoważności.
Obecnie, po wprowadzeniu relacji poprzedzania, możemy formalnie zdefiniować pojęcie równoważności dwóch realizacji. Mówimy, że dwie realizacje r(TAU ) = (Tr(TAU) , <r ) i r ( TAU) = (Tr(TAU) , <r ) są konfliktowo' równoważne , jeżeli dla każdej pary operacji oi(x ) i oj(x ) w realizacji r(TAU ), takich, że oi(x ) -> oj(y ), zachodzi również oi(x ) -> oj(y ) w realizacji r ( TAU). Obecnie, sformułujemy kryterium poprawności współbieżnej realizacji zbioru transakcji nazywane kryterium konfliktowej uszeregowalności.
