Deduktivní databáze (2)

• (iii) k1, p=0:

• IO, napřx ( M(x) Ž(x))

• (iv) k1, p=1: jde o Hornovskou klauzuli

• IO nebo odvozovací pravidlo

• (v) k0, p1:

• disjunktivní informace, např. M(x)Ž(x),

• vydělává(Eda,8000) vydělává(Eda,9000)

• (vi) k0, p1:

• IO nebo definice neurčitých dat, např. otec

• rodič(x,y)otec(x,y) matka(x,y)

• (vii) k=0, p=0:

• prázdná klauzule (neměla by být částí databáze)