Exercise

Exercise relationalgebra.cnf

Description
To conjunctive normal form

V-

ready: yes

Feedback

(no onefirst)
allfirsts (0)
allapplications
derivation
microsteps

Path 1

path [0, 0, 13, 13, 1, 0, 0, 0, 0, 13, 5]
steps 11
major rules 2
active labels
tocnf

enter tocnf, enter step1, navigator.down, navigator.down, relationalgebra.remredunexprs, navigator.up, navigator.up, exit step1, enter step1, navigator.down, relationalgebra.absorp

path	[0, 0, 13, 13, 1, 0, 0, 0, 0, 13, 5]
steps	11
major rules	2
active labels	tocnf