Od DRK k relační algebře

• Tv.: Každý dotaz vyjádřitelný definitním výrazem DRK je vyjádřitelný v AR.

• Důkaz: indukcí podle počtu operátorů v A definitního výrazu {x1,...,xk |A(x1,...,xk)} (+)

• adom(A) vyjádříme jako výraz AR. Označíme ho E .

• A upravíme tak, že obsahuje pouze , .

• Důkaz bude pro adom(A)k {x1,...,xk |A’(x1,...,xk)}. Když

• A’ A a A je definitní, vede  k výrazu (+).

• Indukce:

• 1. operátorů v A’. Pak A’ je atomická formule.

• x1 x2 (E  E)(1 2)

• x1a E(1 a)

• R(x1,...,xm) R(... i1 i2 i1 bylo-li např. xi1 = xi2