7. 函数依赖 函数依赖 定义:设 R(U) 是属性集 U 上的一个关系模式, X,Y 是 U 的子集,若对关系模式 R(U) 的任何一个当前关系,不可能有两个元组在属性集 X 上的值相同而在属性集 Y 上的值不同,则称 X 函数决定 Y 或 Y 函数依赖于 X ,记作 X Y 。 函数依赖是关于现实世界的断言,它不能被证明,而必须由数据库的设计者仔细考察属性的含义(语义)来获得。
8. 平凡函数依赖与非平凡函数依赖 定义 若 X 函数 决定 Y ,且 Y 不包含在 X 中,则称 X 非平凡决定 Y ,或 Y 非平凡函数依赖于 X 。否则称 X 平凡决定 Y ,或 Y 平凡函数依赖于 X 。 找出下述关系模式的所有函数依赖关系 学生(学号,姓名,性别,年龄,专业编号,专业名称,课程编号,课程名称,成绩)
10. 函数依赖的类型 完全函数依赖和部分函数依赖 若 X Y ,且对 X 的任何一个真子集 X’ 都有 X Y ,则称 X 完全函数决定 Y ,或 Y 完全函数依赖于 X 。记作 X Y 。否则称 X 部分函数决定 Y ,或 Y 部分函数依赖于 X ,记作: X Y 。 传递函数依赖 若对于属性集 X 、 Y 、 Z ,有 X Y , Y X , Y Z ,则称 X 传递函数决定 Z ,或 Z 传递函数依赖于 X ,记作 X Z 。 t f p
23. 多值依赖引例 假设一门课由多个教师讲授,他们使用同一套 参考书。 请思考:该关系属于第几范式?它的码是什么?该关系完美吗? … … … 高等数学 高等代数 微分方程 高平 王行军 数学 普通物理学 力学原理 物理学试验 参考书 B 李明 刘华 教师 T 物理 课程 C
24. 多值依赖引例 假设一门课由多个教师讲授,他们使用同一套 参考书。 X Z Y 本关系的码是全码,属 BCNF ,存在数据冗余,修改复杂等诸多问题! … … … 高等数学 高等代数 微分方程 高平 王行军 数学 普通物理学 力学原理 物理学试验 参考书 B 李明 刘华 教师 T 物理 课程 C
25. 多值依赖的定义 定义 : 设 R(U) 是属性集 U 上的一个关系模式, X,Y,Z 是 U 的子集,且 Z=U-X-Y ,若对于 R 的任一关系 r,r 在 (X,Z) 上的每一个值,对应一组 Y 的值,且这组 Y 的值与 Z 的取值无关,则称 X 多值决定 Y ,或 Y 多值依赖于 X 。记为: X Y 。
26. 多值依赖的性质 多值依赖具有对称性 若 X Y ,则 X Z 。 函数依赖是多值依赖的特殊情况 若 X Y ,而 Z 为空集,则称 X Y 为平凡多值依赖。 如(课程,教师)
27. 第四范式( 4NF ) 定义: 设 R(U) 是属性集 U 上的一个关系模式, R(U) 属于 1NF ,若对于 R(U) 上的任何非平凡多值依赖 X Y , X 都包含有 R(U) 的码,则关系模式 R(U) 属于 4NF 。 思考题: CTB( 课程,教师,参考书 ) 属不属于 4NF ?
30. 关系模式分解的标准 分解的定义 关系模式 R(U,F) 的分解就是用一组关系模式 ρ= (R 1 (U 1 , F 1 ) , R 2 (U 2 , F 2 ) ,…, R k (U k , F k ) ) 取代 R ,其中: U=U 1 ∪U 2 ∪ … ∪ U k 且不存在 u i 包含 u j F i 是 F 在 u i 上的投影 标准一:无损连接分解 设 ρ= (R 1 (U 1 , F 1 ) , R 2 (U 2 , F 2 ) ,…, R k (U k , F k ) ) 是对关系模式 R(U,F) 的分解, F 是 R 上的函数依赖集,若对于 R 的每一个满足 F 的关系 r ,下式成立: r=∏ R1 (r) ∞ ∏ R2 (r) ∞ … ∞ ∏ Rk (r) 则称分解 ρ 是无损连接分解。 式中, ∏ 表示投影,∞表示自然连接。
31. 分解标准(续) 标准二:保持函数依赖的分解 设 ρ= (R 1 (U 1 , F 1 ) , R 2 (U 2 , F 2 ) ,…, R k (U k , F k ) ) 是对关系模式 R(U , F) 的分解, F 是 R 上的函数依赖集, F i 是 F 在 U i 上的投影,若 F 所逻辑蕴含的函数依赖,一定也由分解得到的某个关系模式的函数依赖 F i 所逻辑蕴含,则称分解 ρ 是保持函数依赖的分界。 标准三:既满足无损连接,又保持函数依赖。