Ekvivalence relačních jazyků

• 4 přístupy:

• doménový relační kalkul (DRK)

• n-ticový relační kalkul (NRK)

• relační algebra (AR)

• DATALOG

• Dokážeme: DRKAR

• Lemma: Nechť je Boolský výraz vytvořený pomocí  a jednoduchých selekcí X Y nebo X k, kde ,a k je konstanta. Pak k E(), kde E AR existuje relační výraz E’, jehož každá selekce je jednoduchá a E()  E’.

• Důkaz: 1. každá  se propaguje k nějaké jednoduché selekci a se nahradí svou negací.