第5章节联系数据理论.pptVIP

第五章 关系数据理论 2、函数依赖 设R（U）是属性集U上的关系模式。 X，Y 是 U 的子集。若对于 R(U)的任意一个可 能的关系 r，r中不可能存在两个元组在 X上的 属性值相等，而在Y上的属性值不等， 则称 X 函数确定 Y 或 Y 函数依赖于 X， 记作X ? Y。 码 设 K 为R（U，F）中的属性或属性组合， 若 K ? U 则 K 为的候选码。 若候选码多于一个，则选定其中的一个为主码。 学生关系模式分解为： 学生（学号，姓名，年龄，性别，系名，系主任） 选课（学号，课程号，成绩） 多值依赖的性质 1）若X ? ? Y，则X ? ? Z，其中Z=U ?X ? Y。 2）若X ? ? Y，Y ? ? Z，则X ? ? Z ? Y。 3）若X ? ? Y，X ? ? Z，则X ? ? YZ。 4）若X ? ? Y，X ? ? Z，则X ? ? Y ? Z。 5）若X ? ? Y，X ? ? Z， 则X ? ? Y ? Z， X ? ? Z ? Y。 6）函数依赖可以看作多值依赖的特殊情况。 模式分解 “一事一地”（One Fact In One Place）原则 例1 关系R 例2 关系SCG SCG是第几范式，应如何分解？ SNO 80152 80153 80154 80154 80155 CNO C1 C2 C1 C3 C4 CNAME OS DB OS AI CL TNAME 王平 高升 王平 杨杨 高升 TLOCA D1 D2 D1 D3 D2 GRADE 70 85 86 72 92 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. * 学号 98001 98001 98001 98001 98002 98002 98002 98003 98003 98003 姓名 李华 李华 李华 李华 张敏 张敏 张敏 陈兵 陈兵 陈兵 年龄 20 20 20 20 21 21 21 20 20 20 性别 男 男 男 男 女 女 女 男 男 男 系名 数学系 数学系 数学系 数学系 数学系 数学系 数学系 物理系 物理系 物理系 系主任 王民 王民 王民 王民 王民 王民 王民 赵敏 赵敏 赵敏 课程名 高等数学 离散数学 线形代数 概率统计 概率统计 线形代数 高等数学 普通物理 数字电路 模拟电路 成绩 81 72 94 87 74 92 88 63 78 82 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 1、关系模式 R（U，D，dom，F） R 关系名 U 属性组 D 属性组U中属性所来自的域 dom 属性到域的映射 F 属性组 U 上的一组数据依赖 一般把关系模式看作三元组： R（U，F） Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 若 Y 不是 X 的子集，则为非平凡的函数依赖； 若 Y 是 X 的子集，则为平凡的函数依赖。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 包含在任何一个候选码中的属性，叫主属性。 不包含在任何码中的属性叫非主属性，或非码属性。 F 关系模式R中属性或属性组X并非R的码，但X 是另一个关系模式的码，则称X是R的外码。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 1、1NF 关系模式R的每个关系r的每个属性值都是 不可再分的数据项，则 R∈ 1NF。 例 借书人 张平 李文 所借书名 T1 T2 T3 T4 日期 D1 D2 D3 D4 范式 Evaluation only. Created with Aspose.Sl