Exercise relationalgebra.cnf
Description
To conjunctive normal form
Derivation
![](http://ideas.cs.uu.nl/images/external.png)
(s \/ s /\ s-)~
⇒ relationalgebra.invoverunions~ \/ (s /\ s-)~
⇒ relationalgebra.invoverintersects~ \/ s~ /\ s-~
⇒ relationalgebra.absorps~
Description
To conjunctive normal form