数据库理论-范式

数据库理论 函数范式

范式：范式是满足某一级别的关系模式的集合
类别：第一范式、第二范式、第三范式、BC范式、第四范式、第五范式

范式之间的关系：低级范式包含高级范式，即第一范式包含第二范式，同时也包含其他范式等

规范化：一个低一级范式的关系模式通过模式分解转换成若干个高一级范式的关系模式的过程

第一范式
一个关系模式R的所有属性都是不可再分的基本数据项，则R属于第一范式
第一范式是关系模式的基本要求，不符合第一范式的珊瑚橘库模式不能成为关系数据模式

第二范式
一个关系模式R符合第一范式，且该关系模式的每一个非主属性完全函数依赖R的码，则该关系模式R属于第二范式
看下面的例子：
Sdept部分函数依赖于（Sno，Cno），同时Sloc部分函数依赖于（Sno，Cno），所以不符合第二范式

如果一个关系模式R不符合第二范式，会出现以下四种问题：
1、插入异常
2、删除异常
3、数据冗余
4、修改复杂

解决方法：将一个关系模式分解成两个关系模式，消除部分函数依赖的问题
我们采用投影分解法分解结果如下：

此时SC中，Grade完全函数依赖于（Sno，Cno）；而SL中，Sdep和Sloc完全函数依赖于Sno，所以两个关系模式都符合第二范式

第三范式
第二范式仍存在插入异常、数据冗余、修改复杂和删除异常的问题，因为SL关系模式中存在传递函数依赖。

第三范式的定义如下：如果一个关系模式符合第二范式，且不存在非主属性传递函数依赖于码，那么该关系模式符合第三范式。
注意，上图的定义中还明确表示Y不包含Z，因为Y包含Z即为平凡函数依赖，是没有产生新的信息的，所以不进行讨论

在上图的例子SL关系模式中，由于Sloc传递函数依赖于Sno，所以不符合第三范式
如果上述例子想符合第三范式，则继续通过投影分解法，将其分成两个关系模式SD和DL，这样就解决了传递函数依赖的问题。