Exercise relationalgebra.cnf
Description
To conjunctive normal form
All applications
Rule relationalgebra.buggy.assoc Location [] Rule relationalgebra.buggy.assoc Location [] Rule relationalgebra.buggy.assoc Location [0,0] Rule relationalgebra.buggy.assoc Location [1,0] Rule relationalgebra.buggy.compoverintersec Location [0,0] Rule relationalgebra.buggy.compoverintersec Location [1,0] Rule relationalgebra.idempotencyand Location [0,0,1] Rule relationalgebra.idempotencyand Location [1,0,1]