Exercise

Exercise relationalgebra.cnf

Description
To conjunctive normal form

ready: yes

Feedback

(no onefirst)
allfirsts (0)
allapplications
derivation
microsteps

Path 1

path [0, 0, 13, 14, 0, 0, 0, 0, 1, 0, 0, 3]
steps 12
major rules 3
active labels
tocnf

enter tocnf, enter step1, navigator.down, navigator.right, relationalgebra.remcompl, navigator.up, exit step1, enter step1, relationalgebra.remredunexprs, exit step1, enter step1, relationalgebra.idempotencyor

path	[0, 0, 13, 14, 0, 0, 0, 0, 1, 0, 0, 3]
steps	12
major rules	3
active labels	tocnf