First page Back Continue Last page Overview Graphics
DATALOG - syntaxe a sémantika (2)
Nechť: R(1) Q(1) P(1)
Q(2) P(2) M1
P(3)
Relace P*, Q*, R* tvoří model M1 logického programu LP.
Nechť: R(1) (a ostatní tvrzení mají hodnotu FALSE). Pak relace P*, Q*, R* netvoří model programu P.
Nechť: R(1) Q(1) P(1) M2
Pak relace P*, Q*, R* tvoří model M2 logického programu LP.
Nechť EDB: R(1), tj. relační DB je dána jako R* =(1).
Pak M1 i M2 jsou s danou databází konzistentní.