Exercise relationalgebra.cnf
Description
To conjunctive normal form
All applications
Rule relationalgebra.absorp Location [] Rule relationalgebra.absorpcompl Location [] Rule relationalgebra.buggy.assoc Location [] Rule relationalgebra.buggy.remcompl Location [1] Rule relationalgebra.remcompl Location [1] Rule relationalgebra.unionoverintersec Location []