对于 BCNF 分解,是否可以与任何原始函数依赖关系都没有关系?

Mat*_*ugh 5 normalization database-design relational-theory

鉴于R[c, f, g, h, e, j, a, b, d, i]与以下功能依赖项的关系,我提出了以下解决方案。但是,我不确定它,R8即使它具有某些 LHS,也没有列出的函数依赖项。我按照分解成 BCNF 的说明进行操作,但我不确定这是正确的解决方案吗?

功能依赖

a ? b
{ c, a } ? d
c ? e
f ? { g, h, i, j }
Run Code Online (Sandbox Code Playgroud)

解决方案

In BCNF:
R1[f, g, h, i, j]
R3[a, b]
R5[c, a, d]
R7[c, e]
R8[c, f, a]
Run Code Online (Sandbox Code Playgroud)