第五章第1讲函数依赖新教案解析.ppt

第5章 关系数据库模式设计 本章主要问题 在一个关系数据库应用系统中，构成该系统的关系数据库的全局逻辑模式的基本表的全体， 称为该系统的数据库模式。 教学内容 函数依赖 函数依赖的公理体系 关系模式的分解 关系模式的规范化 第1讲 函数依赖 主要内容 规范化设计的必要性 函数依赖（FD） 函数依赖的逻辑蕴涵 候选键的形式化定义 一、规范化设计的必要性 关系模型1：R(教员,住址,课程号,课程名) 存在问题： 续1 关系模型2：R1(教员,住址)， R2(教员, 课程号,课程名) 续2 关系模型1：R(教员,住址,课程号,课程名) 原因： 续3 关系模型1：R(教员,住址,课程号,课程名) 关系模型2：R1(教员,住址)， R2(教员, 课程号,课程名) 续4 不合理的关系模式会引起数据冗余和操作异常的问题，需要对关系模式进行规范化设计。 二、函数依赖（FD） 1、定义 设有关系模式R(A1,A2,…,An)和属性集U={A1,A2,…,An}的子集X、Y。如果对于具体关系r的任何两个元组u和v，只要u[X]=v[X]，就有u[Y]=v[Y]，则称X函数地决定Y，或Y函数依赖X，记为X?Y。 举例1 例：R(教员，住址，课程号，课程名) 举例2 例：R(教员，住址，课程号，课程名) 几点说明 ①为什么称为函数依赖呢？ ②函数依赖是一种语义范畴的概念，反映的是语义完整性约束，所以最初要从语义的角度来确定一个关系的函数依赖，它一般是隐藏在客观现实和我们的经验当中的。 S# ? SNAME 几点说明（续一） ③函数依赖与属性之间的联系类型有关。 属性X与Y有1:1的联系，X→Y，Y→X。 公司名?总裁,总裁?公司名,即：公司名?总裁 属性X与Y有m:1的联系，则只存在X→Y。 学号与专业之间是m：1，则：学号→专业 属性X与Y有m：n的联系，则X与Y之间不存在函数依赖关系。 几点说明（续二) ④函数依赖不是指关系模式R的某个或某些关系实例满足的约束条件，而是指关系模式R的所有实例均要满足的约束条件。 ⑤当X?Y时，Y值由X值决定，X也称为决定因素 思考： 是不是所有的函数依赖都会引起数据冗余和操作异常呢？显然不是，函数依赖是现实世界施加在关系上的语义约束条件，只是某些函数依赖会造成数据冗余和操作异常。究竟是什么样的函数依赖会造成数据冗余和操作异常？ 2、非平凡函数依赖与平凡函数依赖 ①若有X?Y，且 ，称X?Y为非平凡FD ②若有X?Y，且Y?X，称X?Y为平凡函数依赖 3、完全依赖 设有关系模式R(A1,A2,…,An)和属性集U= {A1,A2,…,An}的子集X、Y。如果X?Y，并且对 于X的任何真子集X’，都有X’?Y不成立，则称Y 完全依赖于X，记为X Y。 4、部分依赖 设有关系模式R(A1,A2,…,An)和属性集U= {A1,A2,…,An}的子集X、Y。如果X?Y，但Y不 完全依赖于X，则称Y部分依赖于X，记为 X Y。 5、传递依赖 设有关系模式R(A1,A2,…,An)和属性集U={A1,A2,…,An}的子集X、Y、Z。如果有X?Y、Y?Z、 Z-Y≠φ，Z-X≠φ和Y X，则称Z传递依赖于X，记为X Z。 三、函数依赖的逻辑蕴涵 1、逻辑蕴涵 设F是关系模式R的函数依赖集合，X、Y是属性集U={A1,A2,…,An}的子集，如果从F中的函数依赖能够推导出X?Y，则称F逻辑蕴涵X?Y，或称X?Y是F的逻辑蕴涵。记为F|=X?Y 2、函数依赖集的闭包 所有被F逻辑蕴涵的函数依赖组成的依赖集称为F的闭包，记为F＋。 F＋={X?Y|F|=X?Y} ① F＋中的元素是函数依赖； ② 一个FD能够成为F＋中的元素的条件是：能够从F中推导出该FD； ③ 一般地有F?F＋。 四、候选键的形式化定义 设有关系模式R(A1,A2,…,An)和属性集U={A1,A2,…,An}的子集X，F是R的函数依赖集。如果： ①X→∪属于F＋； ②不存在X的真子集X’，使X’→∪∈F