数据库精品课仅供个人学习第06章.ppt

Theory of Database 第六章 关系数据理论 6.1 问题的提出 6.2 规范化 6.3 数据依赖的公理系统 *6.4 模式的分解 6.5 小结 6.1 问题的提出 存在的问题 第六章 关系数据理论 6.1 问题的提出 6.2 规范化 6.3 数据依赖的公理系统 *6.4 模式的分解 6.5 小结 6.2 规范化 6.2.1 函数依赖 一、函数依赖 说明： 二、平凡函数依赖与非平凡函数依赖 二、平凡函数依赖与非平凡函数依赖 三、完全函数依赖与部分函数依赖 三、完全函数依赖与部分函数依赖 四、传递函数依赖 6.2 规范化 6.2.2 码 外部码 6.2 规范化 6.2.3 范式 6.2.3 范式（续） 6.2 规范化 6.2.4 1NF 2NF S-L-C不是一个好的关系模式 S-L-C不是一个好的关系模式 6.2 规范化 6.2.5 3NF 6.2.5 3NF（续） 6.2.5 3NF（续） 函数依赖图： 6.2.5 3NF（续） 6.2.5 3NF（续） 6.2.5 3NF（续） 6.2 规范化 6.2.6 BCNF 6.2.6 BCNF（续） 6.2.6 BCNF（续） 6.2.6 BCNF（续） 6.2.6 BCNF（续） 6.2.6 BCNF（续） 6.2.6 BCNF（续） STJ∈3NF? 没有任何非主属性对码传递依赖或部分依赖? STJ∈BCNF T是决定因素，T不包含码 6.2.6 BCNF（续） 3NF与BCNF的关系： 6.2 规范化 6.2.9 规范化小结 6.2.9 规范化小结（续） 6.2.9 规范化小结（续） 第六章 关系数据理论 6.1 问题的提出 6.2 规范化 6.3 数据依赖的公理系统 *6.4 模式的分解 6.5 小结 6.3 数据依赖的公理系统 Armstrong公理系统 导出规则 导出规则（续） 第六章 关系数据理论 6.1 问题的提出 6.2 规范化 6.3 数据依赖的公理系统 *6.4 模式的分解 6.5 小结 6.5 小结 6.5 小结（续） 作 业 问下列关系模式最高属于第几范式，并解释其原因。 （1）R的属性集合为{A, B, C, D}，F={B→D, AB→C} （2）R的属性为{A, B, C, D, E}，F={AB→CE, E→AB, C→D} （3）R的属性集合为{A, B, C, D}，F={B→D, D→B, AB→C} （4）R的属性集合为{A, B, C}，F={A→B, B→A, A→C} （5）R的属性集合为{A, B, C}，F={A→B, B→A, C→A} （6）R的属性集合为{A, B, C, D}，F={A→C, D→B} （7）R的属性集合为{A, B, C, D}，F={A→C, CD→B} 6.3 数据依赖的公理系统（续） 根据合并规则和分解规则，可得引理6.1 引理6.l X→A1A2…Ak成立的充分必要条件是 X→Ai成立（i=l，2，…，k）。 6.3 数据依赖的公理系统（续） Armstrong公理系统是有效的、完备的 有效性：由F出发根据Armstrong公理推导出来的每一 个函数依赖一定在F+中； 完备性：F+中的每一个函数依赖，必定可以由F出发 根据Armstrong公理推导出来。 关系模式的规范化，其基本思想： 规范化理论为数据库设计提供了理论的指南和工具 并不是规范化程度越高，模式就越好 必须结合应用环境和现实世界的具体情况合理地 选择数据库模式。 也仅仅是指南和工具。 6.2.4 1NF 2NF（续） 原因： Sdept、 Sloc部分函数依赖于码。 解决方法： S-L-C分解为两个关系模式，以消除这些 部分函数依赖： SC（Sno， Cno， Grade） S-L（Sno， Sdept， Sloc） Sno Cno Grade SC S-L Sno Sdept Sloc 关系模式SC的码为（Sno，Cno） 关系模式S-L的码为Sno 这样非主属性对码都是完全函数依赖 6.2.4 1NF 2NF（续） 函数依赖图： 例： 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 6.2.4 1NF 2NF（