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