DSC00052 (18)

*mu jOHi równa l

ików:

)eLIC

PR/

> y = count{Xi : (Xi, x)< PR W

żltnŚnił ^P'^au ^wydI^z,a,u i^{98t ró}wny sumie plac wszystkie

zatrudnionych w nim pracowników    ^y

(x. y) FUNDUSZ PŁAC =>

y = sum{x₂:(3x,)(x,,x)<=PR WYDZ _A(x_1t x₂)_€PŁACA},

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

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

(x, y<)€ PŁACA a(x, y₂)e POTRĄCENIA y₂ < yi.    ^

Omówione wieży są więzami statycznymi (ograniczone do stanu świata rzeczywistego). Istnieją również więzy dynamiczne (reguły związano /o zitiianą >    ¹ ■■ •