Sémantika DRK (1)

• Předpoklady: výrazy dotazu {x1,...,xk A(x1,...,xk )}, A je formule DRK,

• databáze R*, dom je doména pro R, aktuální doména formule A, adom(A), je množina hodnot z relací v A a konstant v A.

• Tři problémy:

• potenciální možnost nekonečné odpovědi (v případě nekonečné dom)

• situace, kdy TRUE-ohodnocení volných proměnných není z databáze.

• jak implementovat vyhodnocení kvantifikace (v případě nekonečné dom) v konečném čase.