Exercise relationalgebra.cnf
Description
To conjunctive normal form
Firsts
Rule relationalgebra.idempotencyor Location [0] Term "Nothing" Focus "Nothing" Environment Rule relationalgebra.invovernot Location [1,1] Term "Nothing" Focus "Nothing" Environment