Exercise

Exercise relationalgebra.cnf

Description
To conjunctive normal form

ready: yes

Feedback

(no onefirst)
allfirsts (0)
allapplications
derivation
microsteps

Path 1

path [0, 0, 7, 0, 0, 13, 14, 8, 0, 0, 0, 5]
steps 12
major rules 3
active labels
tocnf

enter tocnf, enter step1, relationalgebra.invoverunion, exit step1, enter step1, navigator.down, navigator.right, relationalgebra.invoverintersect, navigator.up, exit step1, enter step1, relationalgebra.absorp

path	[0, 0, 7, 0, 0, 13, 14, 8, 0, 0, 0, 5]
steps	12
major rules	3
active labels	tocnf