华中科技大学数据库课件关系数据理论.ppt

第6章 关系数据理论 6.1 问题的提出 6.2 函数依赖 6.3 函数依赖的公理系统 6.4 关系模式的规范化 6.5 关系模式的分解 6.6 小结 6.4 关系模式的规范化 规范化理论正是用来改造关系模式，通过分解关系模式来消除其中不合适的数据依赖，以解决插入异常、删除异常、更新异常和数据冗余问题。 6.4 关系模式的规范化 6.4.1 范式 6.4.2 1NF 6.4.3 2NF 6.4.4 3NF 6.4.5 BCNF 6.4.6 多值依赖 6.4.7 4NF 6.4.8 规范化小结 6.4.1 范式 范式是符合某一种级别的关系模式的集合。 关系数据库中的关系必须满足一定的要求。满足不同程度要求的为不同范式。 通过模式分解将一个低级范式转换为若干个高级范式的过程称作规范化。 范式的级别： 6.4.1 范式 策略 概念单一化：一个关系模式表示一个概念，一个实体，一个实体间联系；多余部分分解出去。 目标 较少冗余 避免修改麻烦 避免操作异常 某一关系模式R为第n范式，可简记为R∈nNF。 6.4 关系模式的规范化 6.4.1 范式 6.4.2 1NF 6.4.3 2NF 6.4.4 3NF 6.4.5 BCNF 6.4.6 多值依赖 6.4.7 4NF 6.4.8 规范化小结 6.4.2 1NF 1.定义 任给关系模式R(U,F)，若U中每个属性及其值均为不可再分的基本数据元素（原子项），则R∈1NF。 2.说明 关系DBS中,所有关系模式至少都必须是1NF。否则不能称为关系数据库系统。 例 6.4.2 1NF 3.转换: 非1NF ? 1NF 去掉嵌套属性的上层(保留最底层);重写行交叉处的值 6.4.2 1NF 4. 1NF 存在的问题 SCD(Sno,Sname,Age,Dept,Mn,Cno,Score) 6.4.2 1NF 1NF存在的问题(续) 数据冗余;更新复杂;插入异常;删除异常 5. 症由: 非主属性部分函数依赖于候选码 候选码: (Sno,Cno) ? U 注意到: Sno ?(sno,sname, age,dept,mn) 所以, 姓名、年龄、系别和系主任部分依赖于候选码。 6. 解决方法：规范化(投影分解) 消除非主属性对码的部分依赖。 所有完全函数依赖于码的属性组成一个关系模式 所有部分FD于码的属性组成一个关系模式 6.4.2 1NF 分解后 6.4 关系模式的规范化 6.4.1 范式 6.4.2 1NF 6.4.3 2NF 6.4.4 3NF 6.4.5 BCNF 6.4.6 多值依赖 6.4.7 4NF 6.4.8 规范化小结 6.4.3 2NF 1.定义 定义6.12 若关系模式R∈1NF，并且每一个非主属性都完全函数依赖于R的码，则R∈2NF。 [例5.10] SD(sno,sname,age,dept,mn), F={sno?sname, sno?age, sno?dept, dept?mn}. 码为sno, SD ∈2NF。 SC(sno,cno,score),F={(sno,cno)?score}. 码为(sno,cno), SC ∈2NF。 6.4.3 2NF 推论: 若R∈1NF,且其候选码为单个属性,则R∈2NF (为什么?) 6.4.3 2NF 2. 2NF存在的问题 SD(sno,sname,age,dept,mn) ∈2NF 冗余仍存在:系主任信息冗余； 更新复杂:某系换系主任，需同时更改很多信息； 插入异常:某系无学生,则系及系统主任信息不能插入； 删除异常:删除某系全部学生,则将删除系及主任信息。 3. 症由 非主属性对码的传递依赖:sno?dept, dept?mn 4. 解决方法 投影分解,消去非主属性对码的传递依赖。 6.4.3 2NF 分解后 6.4 关系模式的规范化 6.4.1 范式 6.4.2 1NF 6.4.3 2NF 6.4.4 3NF 6.4.5 BCNF 6.4.6 多值依赖 6.4.7 4NF 6.4.8 规范化小结 6.4.4 3NF 1.定义 定义6.13 关系模式RU，F 中若不存在这样的码X、属性组Y及非主属性Z（Z ? Y）, 使得X→Y，Y → X，Y→Z，成立，则称RU，F ∈ 3NF。 若R ∈ 3NF,则每一非主属性既不部分依赖于码也不传递依赖于码。 若R ∈ 3NF ,则必有R ∈ 2NF 。 采用投影分解法将一个2NF的关系分解为多个3NF的关系，可以在一定程度上解决原2NF关系中存在的插入异常、删除异常、数据冗余度大、修改复杂