IMGP1312

bierny oaz aanycn

Opis świata rzeczywistego - więzy Integralności

Zakresy predykatów (zbiory I powiązania) nie muszą być stałe, ale mogą się zmieniać wraz z upływem czasu I zmianami stanów analizowanego świata rzeczywistego.

Np.: w pewnym stanie s_f zbiór obiektów PRACOWNIK -J składa się z elementów 100 .. 285, gdzie każda z tych JS wartości dawała prawdziwe zdanie z predykatem Jj „...oznacza pracownika”. Jednak w innym stanielś może okazać się, że prawdziwe jest zdanie „320 J oznacza pracownika”.

W każdym konkretnym stanie s,- istotny jest tylkoŚm pewien pod zbiór zbioru wartości (np. 100..500) zbioru\ obiektów PRACOWNIK.

Podając przedział . (100..500) jako dopuszczalny zakres wartości dla zbioru PRACOWNIK, definiujemyfi tym samym wszystkie jego możliwe przypadki j 2⁴⁰¹).