Exercise relationalgebra.cnf
Description
To conjunctive normal form
All applications
Rule relationalgebra.buggy.notoveradd Location [] Rule relationalgebra.buggy.notoveradd Location [] Rule relationalgebra.buggy.notoveradd Location [] Rule relationalgebra.buggy.notoveradd Location [] Rule relationalgebra.notoveradd Location [] Rule relationalgebra.remredunexprs Location [0]