IMGP1318

baz dan

•    liczba pracowników wydziału jest równa liczbie

związanych z nim pracowników:    ' ]_

(X, y)eLICZBA PRAC => y - count{x, : (Xi, x)«?PR_WYD2},

•    fundusz płac wydziału jest równy sumie płac wszystid§j|| zatrudnionych w nim pracowników:

(x, y)eFUNDUSZ PŁAC =>

y = sum{x₂:(3x₁)(x₁,x)ePR_WYDZ a(Xi, x₂)ePŁACA}j

8. Więzy ustalające ogólne zależności między wartościami:

- potrącenia dla każdego pracownika muszą być mniejsza od jego płacy:

(x, y^ePŁACA a(x, y₂)ePOTRĄCENIA =>y₂ <y,. J

Omówione więzy są więzami statycznymi (ograniczone do stanu świata rzeczywistego). Istnieją również więzy dynamiczne (reguły związane ze zmianą stanów)! fi

2743