BD-2st-1.2-w08.tresc-1.1-Slajd34
Z Studia Informatyczne
Zależności między zbiorami realizacji RC, ACA i ST
Można sformułować i udowodnić następujące twierdzenie określające zależności pomiędzy zbiorami realizacji RC, ACA i ST.
Zbiór realizacji ścisłych zawiera się w zbiorze realizacji unikających kaskadowych wycofań, który, z kolei, zawiera się w zbiorze realizacji odtwarzalnych. Diagram przedstawiony na slajdzie ilustruje zależności pomiędzy zbiorami realizacji RC, ACA i ST. Na diagramie zaznaczono również przynależność przykładowych realizacji H1, H2, H3 i H4.
