Sémantika DRK (4)

•  vyhodnocení doménově nezávislého výrazu v neomezené interpretaci dává stejný výsledek jako v omezené interpretaci.

• Př.:

•  KNIHA(TITUL:’Úvod do DBS’,AUTOR:a)

• NENÍ definitní.

• ič (EXEMPLÁŘ(ič,d) VÝPŮJČKA(ič,č,z))

• JE definitní

• ič (EXEMPLÁŘ(ič,d)  VÝPŮJČKA(ič,č,z))

• NENÍ definitní, jsou-li proměnné netypované nebo s příliš “širokými” typy

• Tv.: (Di Paola 1969)

• Definitnost A není rozhodnutelná.

•  jazyk doménově nezávislých formulí není rozhodnutelný.

• Pz.: Relační algebra je doménově nezávislý jazyk.