First page Back Continue Last page Overview Graphics
Od relační algebry k DRK
Tv.: Každý dotaz vyjádřitelný v AR je vyjádřitelný DRK.
Důkaz: indukcí podle počtu operátorů v relačním výrazu E.
1. operátorů v E.
ER {x1,...,xk | R(x1,...,xk)}
Ekonst. relace {x1,...,xk | x1= a1... xk = ak
x1= b1... xk = bk ...}
2. E E1E2 podle indukční hypotézy existují formule e1 a e2 s volnými proměnnými x1,...,xk;
{x1,...,xk | e1(x1,...,xk) e2(x1,...,xk) }
3. EE1 - E2
{x1,...,xk | e1(x1,...,xk) e2(x1,...,xk) }
4. E E1i1,...,ik
{xi1,...,xik | xj1,...,xj(n-k) e1(x1,...,xn)}