DSC00049 (17)

^s«u%

X e PRACOWNIK =>x e NR PRACOWNIKA, X t WYDZIAŁ => x € NR WYDZIAŁU,

3. Więzy definiujące człony zbiorów powiązań:

(Xi, X₂)ePR_WYDZ =>X! e PRACOWNIK a

P    ” _A Xz e WYDZIAŁ,

zbioru obiektów w powiązaniach w zbiorze

powiążort*

4. Więzy

(Xi, X₂)ePR

WYDZ a(xi, x₃)f PR_WYDZ => *i^a *1