BCNF Decomposition
result = {R}
done = false
Compute F+
while not done
if there is a schema Ri that is not BCNF
let a --> b be the non-trivial fn.dep in Ri
s.t. a --> Ri is not in F+ and a?b =0
result = (result -Ri) ? (Ri-b) ? (a,b)
else done=true;
Previous slide
Next slide
Back to first slide
View graphic version