IO (1)

• IO jako uzavřené formule.

• Problémy: konsistence

• neredundantnost

• Př.: funkční závislosti

• v jazyku logiky 1. řádu

• a,b,c1,c2,d1,d2

• ((R(a,b,c1,d1)  R(a,b,c2,d2)  c1 = c2 ))

• v teorii FZ

• AB  C

• Neredundantnost se zkoumá pomocí řešení problému příslušnosti;