BD-2st-1.2-w08.tresc-1.1-Slajd28
Kryterium konfliktowej uszeregowalności
Definicja kryterium konfliktowej uszeregowalności brzmi następująco. Realizacja r(TAU ) zbioru transakcji T jest konfliktowo uszeregowalna wtedy i tylko wtedy, gdy jest ona konfliktowo równoważna dowolnej sekwencyjnej realizacji zbioru TAU.
W jaki sposób można zweryfikować czy dana realizacja współbieżna spełnia kryterium konfliktowej uszeregowalności? W celu weryfikacji konfliktowej uszeregowalności realizacji konstruujemy graf konfliktowej uszeregowalności realizacji. Grafem konfliktowej uszeregowalności realizacji r(TAU ) nazywamy skierowany graf CSRG(r(TAU )) = (V , A ), taki, w którym zbiór wierzchołków V odpowiada transakcjom ze zbioru T, natomiast zbiór krawędzi zawiera relacje poprzedzania transakcji Ti i Tj: A = {(Ti , Tj ) : Ti -> Tj }.
