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