Informatyka prawnicza

Formalnie systemem informacyjnym nazywamy uporządkowaną czwórkę:

s/ = ((y,Ą v,n

gdzie:

•    U jest niepustym, skończonym zbiorem zwanym uniwersum, przy czym elementy zbioru, U nazywamy obiektami

U = {xi_?x₂. ..,x_n}

•    A jest niepustym, skończonym zbiorem atrybutów:

U = {ai. a₂- 3m)

•    V jest zbiorem wartości atrybutów ze zbioru A:

V = U _aęA Va

przy czym V_a nazywamy dziedzina atrybutu a 6 A .

•    f : U x A —> V jest funkcją informacji taką, że:

V*_€uf(x.a)<E V_a