IMGP1317

oaz oąnyc

I. Więzy definiujące zależności Istnienia:

x, • PRACOWNIK > (BXa e WYDZIAŁ)

(x_1t x₂)ePR_WYDZ,

6. Więzy definiujące zbiory wartości dla atrybutów nie należących do kluczy głównych:

(x, y)e NAZWISKO => X e PRACOWNIK a yeNAZWISKO, 1 (x, y) eWIEK => xe PRACOWNIK a ye LICZBA LAT a 1

a y > 18 a y < 70,

7. Więzy równościowe dla atrybutów * wartość atrybutuJ^t funkcją innych wartości:

- wypłata każdego pracownika jest równa różnicy jego >1 płacy i potrąceń:

(x, y)e WYPŁAT A => (3yi, y₂)(x, y^e PŁACA a

a(x, y₂)e POTRĄCENIA a y * yi - y₂,

2/42