Sémantika DRK (3)

D.: {x   R(A:x)}
Odpověď je závislá na dom(A).
 Výraz dotazu definuje pro různé domény různé dotazy.
Pz.: Doménově závislým může být i dotaz, který vrací , např.
D.: {x   y R(x,y) }
v případě, že se kvantifikuje přes nekonečnou doménu.
Df.: Výraz dotazu nazveme doménově nezávislým (definitním, určitým), jestliže odpověď na něj nezávisí na dom.
Dotazovací jazyk je doménově nezávislý, jestliže každý jeho výraz je doménově nezávislý. Výsledek dotazu D je roven Ddom[R*] = Dadom[R*].

D.: {x   R(A:x)}