数据库——关系数据的规范化：范式判断【知识点罗列+例题讲解】

知识点罗列：

各种范式之间的关系

1.第一范式1NF：

如果关系模式R中所有的属性都具有原子性，均是不可再分的（一个属性不能再被分解成更小的数据单元），则称R属于第一范式，简称1NF，记作R∈1NF。

• 关系模式中最基本具备的范式关系是1NF，也就是说任一关系模式均满足第一范式；
• 第一范式具有大量的数据冗余，还会出现插入、删除和更新异常等弊端。解决该弊端的方法是利用投影运算将关系分解，去掉过于复杂的函数依赖关系，向更高级的范式转换。

2.第二范式2NF：

如果关系模式R∈1NF，且每个非主属性都完全函数依赖于R的主关系键，则称R属于第二范式，简称2NF，记作R∈2NF 。

• 在第一范式中提到通过投影运算可以将关系模式转换到更高级的范式，因此，从1NF关系转换到2NF的方法就是：在1NF中消除非主属性对主关系键的部分函数依赖
• 如果R的关系键为单属性，或R的全体属性均为主属性，则R∈2NF

3.第三范式3NF：

如果关系模式R∈2NF，且每个非主属性都不传递函数依赖于R的主关系键，则称R属于第三范式，简称3NF，记作R∈3NF。

---

4.关系模式规范化：

一个低一级范式的关系模式，通过模式分解转化为若干个高一级范式的关系模式的集合的过程。

• 目的：使关系模式结构合理，消除存储异常，减少数据冗余，便于插入、删除和更新。
• 基本原则：遵循“一事一地”的原则。
• 规范化流程：

例题讲解：

该题有两个选项填空，第一个是候选码的求解，第二个是关系模式R的最高满足范式判断；

（1）该关系模式的候选码求解结果是：D、[AB、AC、AD]

详细的求解步骤可以参考我写过的一篇文章：http://t.csdnimg.cn/qt0vH

（2）基于该关系模式，这种题型一般只考虑1NF、2NF、3NF：

1NF是每个关系模式都具备的范式关系，只需要考虑2NF、3NF，而3NF是基于满足2NF的条件再去判断每个非主属性间是否是直接函数依赖，是就满足3NF，不是（即传递函数依赖）就不满足。

判断2NF	列出主属性（候选码）
	列出非主属性（在关系模式R中非候选码的属性）
	结合函数依赖集，判断非主属性是否完全依赖于主属性。也就是说判断主属性能不能推得出非主属性，同时主属性的真子集不能推出非主属性，这样才叫做完全依赖。
第一步：列出主属性——AB、AC、AD 第二步：列出非主属性——E 第三步：分别判断AB—>E?  判断AC—>E? 判断AD—>E?

已知F={AB→DE,AC→E,AD →B,B →C,C→D}，

先看AB是否能够推得出E： 在F中，我们发现只有AC→E，那么就需要看看能不能找到：AB→AC F中有B →C，通过增广律，可以得到AB →AC 因此AB →E。

看AC是否能够推得出E： 显而易见，题目已经给出了，AC→E满足关系模式R的函数依赖集F，因此无需再去对其分析

看AD是否能够推得出E： 依旧是根据F中的AC→E，那么就需要看看能不能找到：AD→AC 首先先看F集中能推得出AC的，没有，那么就看看有没有能够间接推得出AC的 F中有B →C，那么通过增广律，可以得到AB →AC 所以接下来就去看看能不能找到AD→AB F中有AD →B，依旧是增广律，两边同时添加A，有多个相同的属性只取一个，所以AD →AB AD →AB、AB →AC、AC→E，通过传递律我们可以证明AD→E

非主属性E对三个主属性都满足完全依赖关系，因此，关系模式R满足2NF

判断3NF：

在2NF的基础上，判断非主属性是否传递函数依赖于主属性。如果是则不满足，如果不是则满足。

先看AC→E：是直接函数依赖，题目F依旧给出

看AB→E是否是传递函数依赖： 回到2NF的判断过程，我们是通过AB →AC——AC→E，从而间接得到AB →E 判断是否是传递函数依赖，就去判断AC能不能确定AB，AC能够确定AB就是直接函数依赖，不能确定AB就是传递函数依赖。 在F中，我们可以找到能够确定B的只有AD →B，通过增广律可以得到AD →AB，那么接下来就去判断AC是否能确定AD 因为C→D,通过增广律，AC→AD，而AD →AB 所以根据传递律，AC →AB。也就是说，E对AB是直接函数依赖

看AD→E是否是传递函数依赖： 同理，按照上面的分析步骤，我们是通过 AD →AB——AB →AC——AC→E从而间接得到AD→E 我们已经知道，AC →AB，那么就只需要判断，AB是否能够推得出AD 在F中，我们可以找到能推得出AD的只有通过在C→D上使用增广律,AC→AD 那么就请判断AB能否推得出AC，在F中依旧对B→C使用增广律，可得AB→AC AB→AC，AC→AD，使用传递律，可以得到AB→AD。也就是说，E对AD是直接函数依赖

在满足2NF的情况下，非主属性E对三个主属性都满足直接函数依赖，因此可以得知关系模式R满足3NF