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.

• ER  {x1,...,xk | R(x1,...,xk)}

• Ekonst. relace {x1,...,xk | x1= a1...  xk = ak

• x1= b1... xk = bk ...}

• 2. E E1E2 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. EE1 - E2

• {x1,...,xk | e1(x1,...,xk) e2(x1,...,xk) }

• 4. E E1i1,...,ik

• {xi1,...,xik | xj1,...,xj(n-k) e1(x1,...,xn)}