计算机软件基础第十一讲.pptVIP

函数依赖 设有一关系模式R（A1,A2,…,An),X和Y均为（A1,A2,…,An)的子集，对于R的值r来说，当其中任意两个元组u,v中对应于X的那些属性分量的值均相等时，则有u,v中对应于Y的那些属性分量的值也相等，称X函数决定Y，或Y依赖于X，记为X Y 其它函数依赖 在R(U)中，如果X Y，对于X的任意一个真子集X’,都有X’不能决定Y，记为X’ Y,则称Y对X完全函数依赖，记为X Y 若X Y，但Y不完全函数依赖于X，则称Y对X部分函数依赖，记为X Y 在R(U)中，当且仅当X Y,Y Z时，称Z对X传递函数依赖。 f p 关系数据库理论基础 规范化理论 问题的提出：重复组的出现 第一范式：没有重复组 第二范式：由部分依赖转变为完全依赖 第三范式：每个非主属性不传递函数依赖于主关键字 问题提出 关系模式中可能存在的异常  在数据管理中，数据冗余一直是影响系统性能的一个大问题。数据冗余是指同一个数据在系统中多次重复出现。在文件系统中，由于文件系统之间没有联系，容易引起一个数据在多个文件中出现。数据库系统克服了文件系统的这种缺陷，但对于数据冗余问题仍然应加以关注。如果一个关系模式设计得不好，仍然会出现像文件系统一样的数据冗余、异常、不一致等问题。 设有一个学生选修课程关系(学号、课程号、课程名、教师、教室、上课时间)等，具体实例见表所示。 虽然这个模式比较简单，但在使用过程中存在一些问题，主要表现为以下四个方面： 学号 课程号 课程 教师 教室 上课时间 0401001 0101 离散数学 吴敏 9-406 周一上午3-4节 0401002 0101 离散数学 吴敏 9-406 周一上午3-4节 0401003 0101 离散数学 吴敏 9-406 周一上午3-4节 0401001 0103 数据结构 刘一佳 7-508 周三上午1-2节 0401005 0105 计算机原理 陈志 7-404 周四下午5-6节 0401007 0103 数据结构 刘一佳 7-508 周三上午1-2节 学生选修课程关系示例 学号 课程号 课程 教师 教室 上课时间 0401001 0101 离散数学 吴敏 9-406 周一上午3-4节 0401002 0101 离散数学 吴敏 9-406 周一上午3-4节 0401003 0101 离散数学 吴敏 9-406 周一上午3-4节 0401001 0103 数据结构 刘一佳 7-508 周三上午1-2节 0401005 0105 计算机原理 陈志 7-404 周四下午5-6节 0401007 0103 数据结构 刘一佳 7-508 周三上午1-2节 学生选修课程关系示例 ①插入异常（Insert Anomaly）  如果安排一门新课（0106，计算机基础理论，陈伟，9-203，周三下午5-6节），在没有学生选修时，要把这门课程的数据存储到关系中去时，在属性学号上就会出现空值。但该表的(学号，课程号)属性是主键，所以又不能为空值，由此出现插入异常。在数据库技术中空值的语义比较复杂，对带空值元组的检索和操作也比较麻烦。 学号 课程号 课程 教师 教室 上课时间 0401001 0101 离散数学 吴敏 9-406 周一上午3-4节 0401002 0101 离散数学 吴敏 9-406 周一上午3-4节 0401003 0101 离散数学 吴敏 9-406 周一上午3-4节 0401001 0103 数据结构 刘一佳 7-508 周三上午1-2节 0401005 0105 计算机原理 陈志 7-404 周四下午5-6节 0401007 0103 数据结构 刘一佳 7-508 周三上午1-2节 学生选修课程关系示例 ②删除异常（Delete Anomany）  如果在表3.13中要删除学号为0401005选课元组，那么就要把这门课程的课程名和教师信息一起删除；如果要取消离散数学这门课程，则要求删除0401001、0401002、0401003对应离散数学这门课程的三个元组；这些都是一种不合理的现象。 学号 课程号 课程 教师 教室 上课时间 0401001 0101 离散数学 吴敏 9-406 周一上午3-4节 0401002 0101 离散数学 吴敏 9-406 周一上午3-4节 0401003 0101