Transakcje tylko odczyt tylko zapis. Wyznaczanie wielografu

TRANSAKCJE
Jeżeli T2 czyta wartość A zapisaną przez T1, to
T1 musi poprzedzać T2
Jeżeli T3 zapisuje A, to T3 może poprzedzać T1 albo występować po T2; nie może wystąpić między nimi

WYZNACZANIE WIELOGRAFU
Tworzenie transakcji brzegowych:
TP – transakcja początkowa, która zapisuje wszystkie dane
TK - transakcja końcowa, która odczytuje wszystkie dane
2. Tworzenie krawędzi według zasady:
Ti poprzedza Tj, jeśli Tj czyta wartość zapisaną
przez Ti

WYZNACZANIE WIELOGRAFU
3. Usuwanie krawędzi wchodzących do transakcji nieprzydatnych (transakcja jest nieprzydatna, jeśli nie ma od niej drogi do TK)
4. Dla każdej krawędzi Ti→Tj i dla każdej wartości A, takiej, że Tj odczytuje wartość A zapisaną przez Ti wprowadzamy do wielografu krawędzie łączące Ti lub Tj z każdą inną transakcją T różną od TP, która również zapisuje A.
Zasady wprowadzania krawędzi:

WYZNACZANIE WIELOGRAFU
Jeśli Ti≠TP i Tj ≠TK, to wprowadzamy krawędzie alternatywne: T→Ti oraz Tj→T
b) Jeśli Ti=TP i Tj ≠TK, to wprowadzamy krawędź Tj→T
c) Jeśli Ti ≠ TP i Tj = TK, to wprowadzamy krawędź T→Ti
d) Jeśli Ti = TP i Tj = TK, to nie wprowadzamy krawędzi