武汉大学数据库系统概论 第十六讲 范式及无损分解.pdfVIP

第十六讲 范式及无损分解 1 本讲主要 目标 学完本讲后，你应该能够了解： 1. 第二范式、第三范式、BC范式的定义，以及 范式之间的包含关系； 2. 对于一个关系模式，判断其最高属于第几范 式，并使用基本的模式分解方法，将1NF分 解为2NF，将2NF分解为3NF ； 3. 分解的无损连接性和保持函数依赖性的概念； 4. 使用规范化方法设计数据库的逻辑结构时， 并不是要使得到的数据库模式都达到最高范 式，而是还需要平衡查询效率和更新代价。 2 一．范式：2NF、3NF和BCNF 二．多值依赖 三．范式：4NF 四．无损分解 五．规范化回顾 六. 其它设计考虑 3 范式：2NF、 3NF和BCNF 4 范式：2NF、3NF和BCNF 1. 范式(Normal Forms)  范式的定义： 关系数据库中符合某一级别的 关系模式的集合。所谓 “第几范式”，是表 示关系的某一种级别，R为第几范式就可以写 成 R ∈xNF  各范式之间的联系有 5NF  4NF  BCNF  3NF  2NF  1NF  并不总是需要达到最高范式 5 范式：2NF、3NF和BCNF 2. 实例 例，有一个关系模式S-L-C （S#，SD，SL，C#，G）， 其中S#为学生的学号，SD为学生所在系，SL为学生的 住处，并且每个系的学生住在同一个地方，C#为课程 号，G为成绩。这里键为 （S#，C#）。 函数依赖有： F （S#，C# ）→ G S# → SD， 图示 S# → SL， P S# SD （S#，C# ）→ SD G SD → SL， P C# SL （S#，C# ）→ SL 6 范式：2NF、3NF和BCNF 3. 第一范式 （INF） 第一范式 （First Normal Form，简写为1NF ） —— 如果一张表不含有多值属性 （有时称为 重复字段）和内部结构 （比如记录类型）的 列，则称该表为第一范式  关系模式S-L-C(S#,SD,SL,C#,G) ∈1NF  关系模式S-L-C存在更新异常、插入异常和删 除异常 7 范式：2NF、3N