First page Back Continue Last page Overview Graphics
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: DRKAR
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í.