Exercise relationalgebra.cnf
Description
To conjunctive normal form
All applications
Rule relationalgebra.buggy.assoc Location [1,0,0] Rule relationalgebra.buggy.compoverintersec Location [1,0,0] Rule relationalgebra.buggy.demorgan Location [1] Rule relationalgebra.buggy.demorgan Location [1] Rule relationalgebra.buggy.demorgan Location [1] Rule relationalgebra.buggy.notovercomp Location [0] Rule relationalgebra.buggy.notovercomp Location [0] Rule relationalgebra.buggy.notovercomp Location [0] Rule relationalgebra.buggy.notovercomp Location [0] Rule relationalgebra.buggy.parenth Location [0] Rule relationalgebra.buggy.parenth Location [1] Rule relationalgebra.demorganor Location [1] Rule relationalgebra.notovercomp Location [0] Rule relationalgebra.remredunexprs Location [0,0] Rule relationalgebra.remredunexprs Location [1,0,0,0]