首先知道包含关系:
5NF ⊆ 4NF ⊆ BCNF ⊆ 3NF ⊆ 2NF ⊆ 1NF,
由此可见,1NF最易实现。
因此,1NF、2NF只对属性做了简单约束,而3NF、BCNF要求更高,需要考察关系模式中的函数依赖。
1NF
满足:每个属性不可再分
即对应E-R图中的“叶子结点”。
2NF
满足:
- 变量不可再分
- 每个属性均满足两者任一(出现在候选码中/完全依赖于候选码)
旨在消除非主属性对候选码的部分依赖。
简单说就是,关系模式R中的每个属性要么属于某个候选码,要么完全依赖候选码。
例子:SC(sno,cno,score),显然属于2NF:sno与cno在候选码中,score完全依赖于(sno,cno)
3NF
从这开始,需要考虑函数依赖。
满足:
对F闭包中的所有函数依赖α->β,满足下面三者其一:
- 是平凡函数依赖
- α是超码
- β-α 中的每个属性均包含在某个候选码中。
旨在消除非主属性对码的传递依赖。
3NF优化可以只考虑F上的函数依赖,不用F闭包了。
如何找到一个满足3NF & 无损连接 & 保持依赖的分解?
- 计算函数依赖集F的的正则覆盖Fc;
- 按照Fc中的依赖左部分组,每组分配为一个模式Ri
- 若某个候选码被包含在Ri中,则已找到满足要求的分解
- 否则,在上述分解中添加一个候选码模式
这样可以通过给一个指定的正则覆盖中的每个函数依赖显式构造一个模式来确保保持函数依赖;
并且通过保证至少有一个候选码模式来保证无损连接分解。
这种算法的结果不唯一,有两个原因:
- 算法依赖于正则覆盖的计算,而正则覆盖不唯一
- 算法依赖于候选码模式的创建,而候选码不一定唯一
BCNF
BCNF的限制比3NF严格,但判断起来其实更加简单一点。
对F中的任意函数依赖,需要满足二者任一:要么是平凡函数依赖,要么左部是超码。
如何找到一个满足 BCNF & 无损连接的分解?(这里并不能满足保持函数依赖)
- 确定关系模型R的所有候选码;
- 从F中依次找到不满足BCNF要求的函数依赖,假设为α->β;
- 那么我们就可以先找到一个分解R1={α,β};
- 接着在U中删去已经确定的属性集β,即U=U-{β},使之称为另一个分解R2;
- 判断R2是否满足BCNF,若满足,则找到符合要求的分解,否则重复2-4过程。
- 最后检查一下所有的分解Ri中是否都满足BCNF