第六章数据库规范化理论.pptVIP

至此在关系数据库规范中建立了一个范式系列各个范式之间的联系可以表示为：5NF?4NF?BCNF?3NF?2NF?1NF 一级比一级有更严格的要求。 若某一关系满足第n范式，我们可以称某一关 系模式R为第n范式，可简记为R∈nNF。 一个低一级范式的关系模式，通过模式分解 可以转换为若干个高一级范式的关系模式的集合， 这种过程就叫规范化 。 规范化理论—范式 5NF 规范化理论—范式 4NF 3NF 2NF 1NF BCNF 5NF （1）第一范式 （1NF） 第一范式（First Normal Form）是最基本的规范形式，即关系中每个属性都是不可再分的简单项。 定义：如果一个关系模式R的所有属性都是不可分的基本数据项，则R∈1NF。 第一范式是对关系模式的最起码的要求。不满足第一范式的数据库模式不能称为关系数据库。 但是满足第一范式的关系模式并不一定是一个好的关系模式。 规范化理论—范式 数据库模式SCD如下： SCD(SNO,SNAME,AGE,DEPT,MN,CNO,SCORE) 规范化理论—范式 SNO SN AGE DEPT MN CNO SCORE S1 赵亦 17 计算机 刘伟 C1 70 S1 赵亦 17 计算机 刘伟 C2 85 S2 钱尔 18 信息 王平 C5 57 S2 钱尔 18 信息 王平 C6 80 S2 钱尔 18 信息 王平 C7 ?70 S2 钱尔 18 信息 王平 C5 70 S3 孙珊 20 信息 王平 C1 0 S3 孙珊 20 信息 王平 C2 70 S3 孙珊 20 信息 王平 C4 85 S4 李思 男 自动化 刘伟 C1 93 （2）第二范式 （2NF） 若R∈1NF，且每一个非主属性完全函数依赖于码，则R∈2NF。 规范化理论—范式 例:关系模式 S-L-C(Sno, Sdept, Sloc, Cno, Grade) Sloc为学生住处，假设每个系的学生住在同一个地方 关系模式S-L-C的函数依赖 (Sno, Cno) → Grade Sno → Sdept (Sno, Cno) → Sdept Sno→ Sloc (Sno, Cno)→Sloc Sdept → Sloc 规范化理论—范式 P F P Sno Cno Grade Sdept Sloc S-L-C (1) 插入异常 (2) 删除异常 (3) 数据冗余度大 (4) 修改复杂 解决方法 S-L-C分解为两个关系模式，消除部分函数依赖 SC（Sno， Cno， Grade） S-L（Sno， Sdept， Sloc） 规范化理论—范式 函数依赖图 关系模式SC的码为（Sno，Cno） 关系模式S-L的码为Sno 这样非主属性对码都是完全函数依赖 规范化理论—范式 Sno Cno Grade SC S-L Sno Sdept Sloc S-L-C(Sno, Sdept, Sloc, Cno, Grade) ∈1NF S-L-C(Sno, Sdept, Sloc, Cno, Grade) ∈2NF SC （Sno， Cno， Grade） ∈ 2NF S-L（Sno， Sdept， Sloc） ∈ 2NF 采用投影分解法将一个1NF的关系分解为多个2NF的关系，可以在一定程度上减轻原1NF关系中存在的插入异常、删除异常、数据冗余度大、修改复杂等问题。 规范化理论—范式 （3） 第三范式(3NF) 定义:若RU,F中不存在这样的码X,属性组Y及非主属性Z(Z?Y),使得X→Y,Y→Z,X→Z成立,则称R∈3NF. 消除非主属性对码的传递函数依赖. 分析S-L(Sno, Sdept, Sloc) S-L?3NF 存在的问题 插入异常,删除异常,修改异常,冗余度大 解决办法：模式分解 规范化理论—范式 S-L Sno Sdept Sloc 分解结果 采用投影分解法，把S-L分解为两个关系模式，以消除传递函数依赖： S-D（Sno， Sdept） D-L（Sdept，Sloc） S-D的码为Sno， D-L的码为Sdept。 分解后的关系模式S-D与D-L中不再存在传递依赖 规范化理论—范式 STJ（S,T,J）