Deduktivní databáze (1)

• Neformálně: EDB  IDB  IO

• Diskuse klauzulí: klauzule je univerzálně kvantifikovaná disjukce literálů

• L1 L2  LkK1 K2 Kp (

• L1L2 Lk K1 K2 Kp

• Pz.: v DATALOGu p=1

• (i) k=0, p=1:

• tvrzení, např. zam(Jiří), vydělává(Tom,8000)

• neomezené klauzule, např. má_rád(Bůh,x)

• (ii) k=1, p=0:

• negativní tvrzení, např. vydělává(Eda,8000)

• IO, např. má_rád(Jan,x)