Exercise relationalgebra.cnf

Description
To conjunctive normal form

Derivation

Final term is not finished

s~ \/ s~ /\ s-~

⇒ relationalgebra.invovernot

s~ \/ s~ /\ s~-

⇒ relationalgebra.remcompl

s~ \/ V-