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