Pr-1st-1.1-m07-Slajd09

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania

Odcięcie spójne (1)

Odcięcie spójne (1)


Odcięcie zbioru zdarzeń ' nazwiemy odcięciem spójnym, gdy:

Definicja ta mówi, że jeżeli jakieś zdarzenie ' należy do odcięcia, to także wszystkie zdarzenia od których jest zależne przyczynowo, należą do tego odcięcia.

Na rysunku widzimy dwa odcięcia spójne, oraz . Pierwsze z nich obejmuje dwa zdarzenia oraz . Reprezentuje ono konfigurację, w której wiadomość jest w kanale. Drugie jest późniejsze od ( – wszystkie zdarzenia należące do należą także do ) i obejmuje dodatkowo zdarzenia oraz . Odcięcie to reprezentuje sytuację, w której wszystkie kanały są puste. Gdyby odcięcie obejmowało dodatkowo zdarzenie , nie byłoby odcięciem spójnym, gdyż istniałoby takie zdarzenie ( ), od którego byłoby przyczynowe zależne, które równocześnie nie należałoby do odcięcia

Natomiast rozszerzenie o zdarzenie również byłoby odcięciem spójnym.


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