Exercise relationalgebra.cnf
Description
To conjunctive normal form
All applications
Rule relationalgebra.buggy.assoc Location [0] Rule relationalgebra.buggy.parenth Location [] Rule relationalgebra.idempotencyor Location [0,0] Rule relationalgebra.invoverintersect Location [] Rule relationalgebra.remredunexprs Location [0]