Exercise relationalgebra.cnf
Description
To conjunctive normal form
Derivation
(s \/ s /\ s-)~
⇒ relationalgebra.invoverunions~ \/ (s /\ s-)~
⇒ relationalgebra.invoverintersects~ \/ s~ /\ s-~
⇒ relationalgebra.absorps~
Description
To conjunctive normal form