IMGP1313

emy baz danych

W opłato świata rzeczywistego chcemy uzyskać możliwość zdefiniowania wszystkich dopuszczalnych struktur, które mogłyby być traktowano jako modela abstrakcyjne stanu tego świata. Z uwagi na olbrzymią liczbą takich stanów nie można Ich wszystkich wyszczególnić jawnie.

Mjpy Integralności (ang. intearity consfraftaM to zbiór warunków, których spełnienie jest koniecznej aby o danej strukturze można orzec, że jest ona niesprzeczna z tym opisem.

Język więzów integralności J

Ogólnie język JWI określa się następująco:

JWI ■> <x, P, L>,

gdzie: X - zbiór nazw wartości Języka JOS,

P - zbiór predykatów języka JOS,

L - zbiór symboli logicznych.