Exercise

Exercise relationalgebra.cnf

Description
To conjunctive normal form

(r ; s \/ s) /\ (r ; s \/ q ! I)

ready: yes

Feedback

(no onefirst)
allfirsts (0)
allapplications
derivation
microsteps

Path 1

path [0, 0, 13, 13, 14, 4, 0, 0, 0, 2, 0]
steps 11
major rules 2
active labels
tocnf
step3

enter tocnf, enter step1, navigator.down, navigator.down, navigator.right, relationalgebra.idempotencyand, navigator.up, navigator.up, exit step1, enter step3, relationalgebra.unionoverintersec

path	[0, 0, 13, 13, 14, 4, 0, 0, 0, 2, 0]
steps	11
major rules	2
active labels	tocnf step3