BCNF分解疑问：关系模式M分解后函数依赖处理问题

针对你的分解场景，我们从BCNF分解的核心规则出发，梳理可能的操作失误点：

1. 错误直接移除含R的依赖，未正确投影函数依赖到分解后的关系 #

BCNF分解的关键是将原依赖集投影到每个分解后的关系中，而非简单删除含被移除属性的依赖：

• 对于分解出的R1{B,D,E,R}，原依赖中涉及这些属性的是B,D,E→R和B,D,R→E，这两个依赖在R1中完全有效。且R1的键为{B,D,E}或{B,D,R}（二者互为超键），所有依赖的左部都是超键，因此R1已经符合BCNF。
• 对于R2{B,C,D,E}，不能直接删掉含R的依赖就完事，需要从原依赖集推导其有效依赖：
  • 原依赖C,D→E完全适配R2，属于非平凡依赖；
  • 由原依赖B,C,D→R和C,D→E，可推导出B,C,D→E（Armstrong公理的增广律），这个依赖的左部是R2的键{B,C,D}，符合BCNF。

2. 未继续处理R2中违反BCNF的依赖 #

R2的键是{B,C,D}，但依赖C,D→E的左部{C,D}不是超键（无法决定属性B），明显违反BCNF。你在第一步分解后没有继续对R2进行分解，这是典型的步骤遗漏。正确操作是将R2进一步分解为：

• R21{C,D,E}：包含依赖C,D→E，其键为{C,D}，符合BCNF；
• R22{B,C,D}：无违反BCNF的依赖，键为{B,C,D}。

3. 对BCNF分解的触发条件理解有误 #

BCNF分解的第一步需要选择违反BCNF的非平凡函数依赖，而非任意依赖。原模式中，B,D,E→R、B,D,R→E、C,D→E都是违反BCNF的依赖（左部均不是超键），而B,C,D→R是符合的。如果第一步优先选择C,D→E进行分解，整个过程会更清晰：先分解为R'{C,D,E}和R''{B,C,D,R}，再对R''处理违反BCNF的依赖，最终结果和分步分解一致。

内容的提问来源于stack exchange，提问作者Jupiter