Exercise relationalgebra.cnf

Description
To conjunctive normal form

Derivation

(s \/ s)~ /\ (s \/ s-)~

⇒ relationalgebra.invoverunion

(s~ \/ s~) /\ (s \/ s-)~

⇒ relationalgebra.idempotencyor

s~ /\ (s \/ s-)~

⇒ relationalgebra.invoverunion

s~ /\ (s~ \/ s-~)

⇒ relationalgebra.absorp

s~