Sémantika DRK (6)

• Důkaz (část): Triviálně DRKrout a DRKlim jsou minimálně tak silné jako DRKind.

• Ukážeme sílu DRKlim

• Je-li D  DRKind, pak vrací Ddom[R*], přičemž Ddom[R*] = Dadom[R*].

• Nechť D  DRK. K němu lze sestrojit D‘ tak, že všechny volné a vázané proměnné ve formuli dotazu D‘ jsou omezené na aktivní doménu. Pak D‘adom[R*] = Dadom[R*]. Výraz D‘ je ovšem doménově nezávislý, takže DRKlim je je slabší než DRKind. Zároveň jsme demonstrovali část (ii) tvrzení. Platí tedy DRKlim  DRKind.

• Platí, že DRKrout silnější než DRKlim. Důkaz (i) je technicky složitější (viz [Hull a Su 94]).