IMGP1168

Systemy baz ofanyel

Zb\orv powiązań - uzyskuje ale w wyniku

zastosowania pewnego n-mlejscowego predykatu [ (ną2) dla wszystkich n-elementowych ciągów jj nazw obiektów.

Milszystkie te ciągi obiektów, których nazwy dają zdania prawdziwe względem analizowanego świata % 1 rzeczywistego, tworzą zbiór powiązań.

Zbiór powiązań R wyznaczony przez n-tniejscowwj predykat P jest pewną n-czionową relacją . matematyczną:

R = Uei,e₂,...,e_n)'.eieEi a e₂eE₂ a ... a e„eEo a AP(ei,e₂,...,e_n) = tryę>

Zbiory powiązań oznacza się symbolami Ri,R₂,..i.,R_m, a zbiór wszystkich powiązań symbolem REL. |