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