分解为BCNF

Question

我只需要检查一下我对BCNF的“分解”是否正确。

我有

R (A, B, C, D, E, F, G)

FD：

F -> E,B
F -> A
C -> D
A -> G

我找到了(F，C)作为键，分解后得到了以下关系：

R1 (C,D)
R2 (A,G)
R3 (A,B,C,E,F)

有人能看看吗？非常感谢

谢谢

Answer 1

R3 (A,B,C,E,F)应分解为：

R4 (A,B,E,F)
R5 (F,C)

这是因为F -> E,B and F -> A是违反R3 (A,B,C,E,F)格式的两个FDs。所以你必须把R3分解成R4和R5。

对于R4，我使用F+，对于{R5}，我通过遵循BCNF的分解规则来获取{R3 - Dependents of F+}。F+的依赖者是A,B,E。