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