第五章 大学数据库技术课件.pdfVIP

第5章 规范化理论 北京科技大学物流工程系 吴秀丽 本章学习要点 1、函数依赖、完全函数依赖、部分函数依赖和传递 函数依赖的定义 2、第一范式、第二范式、第三范式和BC范式的定义 及存在的问题 本章提要 规范化应 用 第5章 规范化理论 范式 数据依赖 §5.1数据依赖 数据依赖：通过关系中属性间值的决定关系体现出 来的数据间的相互关系。 例如，学生的学号可以决定学生的姓名，学生的学号 加上他所选课程的课程号可以决定他这门课的成绩。 §5.1数据依赖 函数依赖：设X，Y是关系的两个不同的属性组， 如果X的取值确定时，Y的取值也就确定了，叫做X 函数决定Y，或Y函数依赖于X，表示为X→Y，其中 X称作决定因素。 例5-1 设关系模式R(学号，所在系，系主任，课程号，成绩) 中一名学生可以上若干门课，并在一个系注册，每个系只有 一个系主任。该模式的属性间存在着什么样的函数依赖呢？ 学号→所在系 学号→系主任 所在系→系主任 (学号，课程号) →成绩 §5.1数据依赖 完全函数依赖：在函数依赖X→Y中，如果对于X的任 何一个真子集X’，都有X’ Y，则称Y完全函数依 赖于X。 例5-1 设关系模式R(学号，所在系，系主任，课 程号，成绩)中一名学生可以上若干门课，并在一 个系注册，每个系只有一个系主任。 (学号，课程号) →成绩 因为学号 成绩 课程号 成绩 所以“成绩”对属性组(学号，课程号)的依赖属于 完全函数依赖。 §5.1数据依赖 部分函数依赖：在函数依赖X→Y中，如果存在X的 一个真子集X’，使得X’→Y，则称Y部分函数依赖于 X。 例5-1 设关系模式R(学号，所在系，系主任，课 程号，成绩)中一名学生可以上若干门课，并在一 个系注册，每个系只有一个系主任。 属性组(学号，课程号)是主码，故(学号，课程号) →所在系，但对于(学号，课程号)的真子集“学 号”，有学号→所在系，故“所在系”对属性组(学 号，课程号)的依赖属于部分函数依赖。 §5.1数据依赖 传递函数依赖：如果存在函数依赖X→Y，Y→Z， 并且Y不是X的子集，同时Y不能函数决定X，则Z传 递函数依赖于X。 例5-1 设关系模式R(学号，所在系，系主任，课程 号，成绩)中一名学生可以上若干门课，并在一个 系注册，每个系只有一个系主任。 学号→所在系，所在系→系主任，则学号→系主 任，这样“系主任”传递函数依赖于“学号”。 本章提要 规范化应 用 第5章 规范化理论 范式 数据依赖 §5.2范式 关系数据库中的关系模式是要满足一定要求的，满 足不同程度要求的为不同范式。满足最低