10.CH5 关系数据理论及求精(2).pptVIP

模式求精步骤 基于函数依赖理论的模式求精步骤： 确定函数依赖。根据需求分析得到的数据需求，确定关系模式内部各属性之间以及不同关系模式的属性之间存在的数据依赖关系。 确定关系模式所属范式。按照数据依赖关系对关系模式进行分析，检测是否存在部分依赖或传递依赖，以确定该模式属于第几范式。 分析是否满足应用需求。按照需求分析得到的数据处理要求，分析现有模式是否满足应用需求，并决定是否需要进行模式合并或分解。 模式分解。根据范式要求(是选择BCNF还是3NF)，运用规范化方法将关系模式分解成所要求的关系模式。 模式合并。在分解过程中可能进行模式合并。如当查询经常涉及到多个关系模式的属性时，系统将经常进行连接操作，而连接运算的代价是相当高的。此时，可考虑将这几个关系合并为一个关系。 即???即??? 模式求精举例 [例5.20] 假设大学选课系统中课程与教师的关系模式可设计为： CourseTeacher (courseNo, courseName, creditHour, courseHour, teacherNo, teacherName, title, degree, teachLength) 其中属性集{courseNo, teacherNo}是主码。试对该模式进行求精，以达到BCNF范式要求。 步骤1. 分析函数依赖关系及判断范式 通过分析关系模式CourseTeacher可知，存在以下函数依赖： courseNo ? courseName, creditHour, courseHour teacherNo? teacherName, title, degree, teachLength 显然，存在非主属性对主属性的部分依赖，故CourseTeacher不属于3NF范式，更不属于BCNF范式。 模式求精举例 步骤2. 模式分解 由于函数依赖“courseNo ? courseName, creditHour, courseHour”违背了BCNF条件，依BCNF分解算法，可将关系模式CourseTeacher分解为以下两个关系模式： Course (courseNo, courseName, creditHour, courseHour)； Teaching (courseNo, teacherNo, teacherName, title, degree, teachLength) 可验证关系模式Course已满足BCNF要求，且分解是无损分解(因为公共属性courseNo是Course的主码)。而在关系模式Teaching中，由于存在部分函数依赖“teacherNo? teacherName, title, degree, teachLength”，因此可以进一步分解为： Teacher (teacherNo, teacherName, title, degree, teachLength) NewTeaching (courseNo, teacherNo) 可验证关系模式Teacher和NewTeaching都已满足BCNF要求，且分解是无损分解(因为公共属性teacherNo是Teacher的主码)。 模式求精举例 综合上述分解结果，关系模式CourseTeacher可以分解为如下满足BCNF要求的三个关系模式： Course (courseNo, courseName, creditHour, courseHour) Teacher (teacherNo, teacherName, title, degree, teachLength) NewTeaching (courseNo, teacherNo) 模式求精是数据库设计过程中非常重要的一步，设计者应在关系数据理论的指导下检查和改进设计中存在的不足和缺陷，以保证最终的设计结果尽可能地满足应用需求。 本章结束！ 请同学们对本章内容进行复习、总结！！！ * 滁州学院计算机科学与技术系 数据库系统原理与设计 第 5 章 关系数据理论与模式求精 目 录 范式 5.4 问题提出 5.1 函数依赖定义 5.2 函数依赖理论 5.3 数据库模式求精 模式分解算法 5.6 5.5 范式概述 基于函数依赖理论，关系模式可分成 第一范式(1NF) 第二范式(2NF) 第三范式(3NF) Boyce-Codd范式(BCNF) 这几种范式的要求一个比一个严格，它们之间的联系为BCNF?3NF?2NF?1NF。即满足BCNF范式的关系一定满足3NF范式，满足3NF范式的关系一定满足2NF范式，满足2NF范式的关系一定满足1NF范式。 第一范式(1NF) ——码 定义5.16 如果一关系模式r