Exercise relationalgebra.cnf
Description
To conjunctive normal form
All applications
Rule relationalgebra.buggy.assoc Location [] Rule relationalgebra.buggy.assoc Location []
Description
To conjunctive normal form
Rule | relationalgebra.buggy.assoc |
Location | [] |
Rule | relationalgebra.buggy.assoc |
Location | [] |