First page Back Continue Last page Overview Graphics
DATALOG - syntaxe a sémantika (2)
logicko-odvozovací přístup
Metoda: interpretace pravidel jako axiomů použitelných k důkazu, tj. provádíme substituce v těle pravidel a odvozujeme nová tvrzení z hlavy pravidel. V případě DATALOGu tak lze získat právě všechna odvoditelná tvrzení.
logicko-modelový přístup
Metoda: za predikátové symboly dosadíme relace tak, aby na nich byla splněna pravidla.
Př.: Uvažujme logický program LP
- IDB: P(x) :- Q(x)
- Q(x) :- R(x),
tj. Q a P označují virtuální relace.