Od relační algebry k DRK

• 5. E E1  E2

• {x1,...,xm xm+1,...,xm+n | e1(x1,...,xm) e2(xm+1,...,xm+n)}

• 6. E E1 ()

• {x1,...,xk | e1(x1,...,xkxA xB) }, je-li A B

• nebo xA a je-li A a

• Dle lemmatu stačí, když označuje jednoduchou selekci.