DSC00051 (16)

MrtAiŁflJh

>. Więzy definiujące zależności istnienia

x< € PRACOWNIK => (3X2 c WYDZIAŁ)    "1

|    (xi, x₂)f PR WYDZ,    *1

6. Więzy definiujące zbiory wartości dla atrybutów nie

należących do kluczy głównych:    iH

(x, y)e NAZWISKO => x e PRACOWNIK a yc NAZWISKO, *

(X yb WIEK xe PRACOWNIK a ye LICZBA LAT a    1

fl*'    _A y ^ 18 a y < 70,

7. Więzy równościowe dla atrybutów - wartość atrybutu jest

funkcją innych wartości:    1|||

*

. wypłata każdego pracownika jest równa różnicy jego

płacy i potrąceń:    . płaca a

(x, y₂)< POTRĄCENIA a y * y« - Yj .

[_x y)_ewYPtMA >( y., ya)(*.y