Sémantika DRK (2)

• Sémantiky pro DRK, které problémy řeší.

• (i) neomezená interpretace s omezeným výstupem

• (ii) omezená interpretace

• (iii) doménově nezávislé dotazy

• Značení: výsledek vyhodnocení dotazu D v neomezené interpretaci jako Ddom[R*].

• Pak:

• pro (i) je výsledek definován jako Ddom[R*]  adomk, kde k je řád výsledné relace.

• pro (ii) pouze přes hodnoty z adom, tj. Dadom[R*].