西安石油大学教案 学时:8学时 章节」 第五章关系数据库理论 函数依赖、 Armstrong公理系统、候选键、函数依赖集F的极小函数依赖集、1NF、ΣNF、3N 知识点和BC范式、关系模式的规范化处理、关系模式分解算法。 和分析 方法采用先引入定义、引理和定理等,然后应用这些定义、引理和定理解决实际应用问题让同学们进 一步加深对这些定义、引理和定理的理解,掌握关系数据库基本理论。 教学重点:函数依赖的定义、 Armstrong公理系统、关系模式的3NF和BC范式、关系模式的 规范化处理 重点 难点教学难点:函数依赖的定义、 Armstrong公理系统的证明、关系模式分解的算法及证明。 关系模式上函数依赖、 Armstrong公理系统、函数依赖集F的极小函数依赖集、关系模式的 要求掌1NF、2NF、3NF和BC范式、关系模式的规范化处理、关系模式分解算法 握内容 学生不应只是被动的学习接受者,还应成为主动的知识猎取者,提倡”使学生成为知识的主人"。 本课程在整个教学过程中将贯穿如下思路:教授学生知识的同时,帮助学生理解所学的知识,提 教授思高学生学习的积极性和学习兴趣,提高学寻找知识、利用知识,培养学生学习和创新的技能, 路,采指导学生掌握恰当的学习方法、培养创造能力、增强适应环境的能力、提升健康的心理水平 用的教 学方法课堂教学采用教师主讲为主,部分内容交给学生思考、讨论的形式 和辅助 手段,本章的教学包括课堂讲授8学时、学生自学、作业、辅导答疑等教学环节。课堂教 板书设 计,重 点如何学以课堂讲授为主,根据课程内容,在讲课中适当采取设立问题,请同学给出回答的方 难点如法加强师生互动,提高教学效果。每次下课前布置若干思考题,待下次上新课前进行提 何解 生互动 等对于重要的和难于理解的概念类问题,采用应用举例加强对它们的理解:对于难于理解 的定理的证明采取不同角度、不同方法分解难度,强调关键点的证明机理。 本章思 考题和见各节教案 习题 主要1、萨师煊,王珊,数据库系统概论(第四版),高等教育出版社,2006 参考资2、施伯乐,丁宝康,数据库系统概论,高等教育出版社,2002 3、王珊,陈红,数据库系统原理教程,清华大学出版社,2002 「备注
西安石油大学教案 学时：8 学时 章节 第五章 关系数据库理论 知识点 和分析 方法 函数依赖、Armstrong 公理系统、候选键、函数依赖集 F 的极小函数依赖集、1NF、2NF、3NF 和 BC 范式、关系模式的规范化处理、关系模式分解算法。 采用先引入定义、引理和定理等，然后应用这些定义、引理和定理解决实际应用问题让同学们进 一步加深对这些定义、引理和定理的理解，掌握关系数据库基本理论。 重点 难点 教学重点：函数依赖的定义、Armstrong 公理系统、关系模式的 3NF 和 BC 范式、关系模式的 规范化处理。 教学难点：函数依赖的定义、Armstrong 公理系统的证明、关系模式分解的算法及证明。 要求掌 握内容 关系模式上函数依赖、Armstrong 公理系统、函数依赖集 F 的极小函数依赖集、关系模式的 1NF、2NF、3NF 和 BC 范式、关系模式的规范化处理、关系模式分解算法。 教授思 路，采 用的教 学方法 和 辅助 手段， 板书设 计，重 点如何 突出， 难点如 何解 决，师 生互动 等 学生不应只是被动的学习接受者，还应成为主动的知识猎取者，提倡“使学生成为知识的主人”。 本课程在整个教学过程中将贯穿如下思路：教授学生知识的同时，帮助学生理解所学的知识，提 高学生学习的积极性和学习兴趣，提高学生寻找知识、利用知识，培养学生学习和创新的技能， 指导学生掌握恰当的学习方法、培养创造能力、增强适应环境的能力、提升健康的心理水平。 课堂教学采用教师主讲为主，部分内容交给学生思考、讨论的形式。 本章的教学包括课堂讲授 8 学时、学生自学、作业、辅导答疑等教学环节。课堂教 学以课堂讲授为主，根据课程内容，在讲课中适当采取设立问题，请同学给出回答的方 法加强师生互动，提高教学效果。每次下课前布置若干思考题，待下次上新课前进行提 问。 对于重要的和难于理解的概念类问题，采用应用举例加强对它们的理解；对于难于理解 的定理的证明采取不同角度、不同方法分解难度，强调关键点的证明机理。 本章思 考题和 习题 见各节教案 主要 参考资 料 1、萨师煊，王珊，数据库系统概论（第四版），高等教育出版社，2006 2、施伯乐，丁宝康，数据库系统概论，高等教育出版社，2002 3、王珊，陈红，数据库系统原理教程，清华大学出版社，2002 备注
西安石油大学教案 第1次课 学时2 章节5.1关系模式的一般表示及设计的问题52函数依赖 讲授主要数据库模式、函数依赖、完全函数依赖、部分函数依赖和传递函数依赖、候选键 F逻辑蕴涵Ⅹ→Y、函数依赖集合F的闭包 重点 数依赖的概念、逻辑蕴涵的概念、函数依赖集合F的闭包的计算、候选键的确定 难点 要求掌握「1、概念:数据库模式、函数依赖、平凡函数依赖、完全函数依赖、部分函数依赖和传递函数依 知识点和赖、逻辑蕴涵、函数依赖集合F的闭包、候选键等,2、针对某一关系模式,能正确判断哪个是 分析方法完全函数依赖、部分函数依赖和传递函数依赖等并能确定所有的候选键 教授思 路,采用 的教学方 法和辅 本节的概念较多且抽象难于理解,讲解清楚概念的内涵是关键。主要的教学思路:1、介绍坏的 板书设数据库模式引发的问题,引入函数依赖概念,举例讲解什么是函数依赖、平凡函数依赖、完全函 计,重点数依赖、部分函数依赖和传递函数依赖等概念。2、通过举例说明逻辑蕴涵、函数依赖集合F的 如何突闭包的概念,再给出它们的完整定义。3、提问复习候选键、主属性、非主属性的概念,引进对 出,难点任何关系模式适用的求解候选键的方法,举例 如何解 决,师生 互动等 「作业布置习题P13812 1、萨师煊,王珊,数据库系统概论(第四版),高等教育出版社,2006 主要 2、施伯乐,丁宝康,数据库系统概论,高等教育出版社,2002 参考资料 3、王珊,陈红,数据库系统原理教程,清华大学出版社,2002 备注
西安石油大学教案 第 1 次课 学时 2 章节 5.1 关系模式的一般表示及设计的问题 5.2 函数依赖 讲授主要 内容 数据库模式、函数依赖、完全函数依赖、部分函数依赖和传递函数依赖、候选键、 F 逻辑蕴涵 X→Y、函数依赖集合 F 的闭包 重点 难点 函数依赖的概念、逻辑蕴涵的概念、函数依赖集合 F 的闭包的计算、候选键的确定 要求掌握 知识点和 分析方法 1、概念：数据库模式、函数依赖、平凡函数依赖、完全函数依赖、部分函数依赖和传递函数依 赖、逻辑蕴涵、函数依赖集合 F 的闭包、候选键等，2、针对某一关系模式，能正确判断哪个是 完全函数依赖、部分函数依赖和传递函数依赖等并能确定所有的候选键 教授思 路，采用 的教学方 法和 辅 助手段， 板书设 计，重点 如何突 出，难点 如何解 决，师生 互动等 本节的概念较多且抽象难于理解，讲解清楚概念的内涵是关键。主要的教学思路：1、介绍坏的 数据库模式引发的问题，引入函数依赖概念，举例讲解什么是函数依赖、平凡函数依赖、完全函 数依赖、部分函数依赖和传递函数依赖等概念。２、通过举例说明逻辑蕴涵、函数依赖集合 F 的 闭包的概念，再给出它们的完整定义。３、提问复习候选键、主属性、非主属性的概念，引进对 任何关系模式适用的求解候选键的方法，举例。 作业布置 习题 P138 1,2 主要 参考资料 1、萨师煊，王珊，数据库系统概论（第四版），高等教育出版社，2006 2、施伯乐，丁宝康，数据库系统概论，高等教育出版社，2002 3、王珊，陈红，数据库系统原理教程，清华大学出版社，2002 备注
西安石油大学教案 第2次课 学时2 章节5.3函数依赖的公理系统 讲授主要 Armstrong公理系统的三个推理规则和三个推理、属性集合X关于函数依赖集F的闭包、函数 内容依赖集F的极小函数依赖集 重点 Armstrong公理系统的正确性和完备性证明、函数依赖集F的极小函数依赖集的求解 难点 要求掌握|1、概念:自反律、增广律、传递律、合并规则、分解规则、伪传递规则、属性集合Ⅹ关于函数 知识点和依赖集F的闭包、函数依赖集F的极小函数依赖集等,2、 Armstrong公理系统,3、求解属 分析方法性集合X关于函数依赖集F的闭包、函数依赖集F的极小函数依赖集 教授思 路,采用 的教学方 法和辅 助手段,本节的关键在于加强学生对 Armstrong公理系统的理解和灵活应用,强调利用概念正确、全面 板书设求解性集合X关于函歌依赖集F的包函数依赖集厂的极小函数依赖集等,注重学生实际应 计,重点义,剖析AmBn公理系统的正确性和完备性证明的思路,2、介绍属性集合ⅹ关于函数依 出,难点赖集F的闭包、函数依赖集F的极小函数依赖集的概念,举例应用 如何解 决,师生 互动等 作业布置习题P1383补充1 1、萨师煊,王珊,数据库系统概论(第四版),高等教育岀版社,2006 主要 2、施伯乐,丁宝康,数据库系统概论,高等教育出版社,2002 参考资料 3、王珊,陈红,数据库系统原理教程,清华大学出版社,2002 备注
西安石油大学教案 第 2 次课 学时 2 章节 5.3 函数依赖的公理系统 讲授主要 内容 Armstrong 公理系统的三个推理规则和三个推理、属性集合 X 关于函数依赖集 F 的闭包、函数 依赖集 F 的极小函数依赖集 重点 难点 Armstrong 公理系统的正确性和完备性证明、函数依赖集 F 的极小函数依赖集的求解 要求掌握 知识点和 分析方法 1、概念：自反律、增广律、传递律、合并规则、分解规则、伪传递规则、属性集合 X 关于函数 依赖集 F 的闭包、函数依赖集 F 的极小函数依赖集等，２、Armstrong 公理系统，３、求解属 性集合 X 关于函数依赖集 F 的闭包、函数依赖集 F 的极小函数依赖集 教授思 路，采用 的教学方 法和 辅 助手段， 板书设 计，重点 如何突 出，难点 如何解 决，师生 互动等 本节的关键在于加强学生对 Armstrong 公理系统的理解和灵活应用，强调利用概念正确、全面 求解属性集合 X 关于函数依赖集 F 的闭包、函数依赖集 F 的极小函数依赖集等，注重学生实际应 用能力培养。主要的教学思路：1、讲解 Armstrong 公理系统的三个推理规则和三个推理的含 义，剖析 Armstrong 公理系统的正确性和完备性证明的思路，２、介绍属性集合 X 关于函数依 赖集 F 的闭包、函数依赖集 F 的极小函数依赖集的概念，举例应用。 作业布置 习题 P138 3 补充 1 主要 参考资料 1、萨师煊，王珊，数据库系统概论（第四版），高等教育出版社，2006 2、施伯乐，丁宝康，数据库系统概论，高等教育出版社，2002 3、王珊，陈红，数据库系统原理教程，清华大学出版社，2002 备注
西安石油大学教案 第3次课 学时2 章节54关系模式的规范形式 讲授主要 内容 1NF、2NF、3NF和BC范式 重点 3NF和BC范式、正确求解各种范式 难点 要求掌握 知识点和 1、概念:1NF、2NF、3NF和BC范式、多值依赖、第四范式,2、从低级范式向高级范式的正 分析方法确的转化 教授思 路,采用本节的概念较多,关键在于加强学生对概念的理解和使用。主要的教学思路:1、提问复习候选 的教学方键、主属性、非主属性的概念,2、详细讲解1NF、2NF、3NF和BC范式,简单将介绍多值依 法和轴顿、第四范式3、,举例进行正确判断 助手段 板书设 计,重点 如何突 出,难点 如何解 决,师生 互动等 作业布置习题P1384,5,6,7 1、萨师煊,王珊,数据库系统概论(第四版),高等教育出版社,2006 主要 2、施伯乐,丁宝康,数据库系统概论,高等教育出版社,2002 参考资料 3、王珊,陈红,数据库系统原理教程,清华大学出版社,2002 备注
西安石油大学教案 第 3 次课 学时 2 章节 5.4 关系模式的规范形式 讲授主要 内容 1NF、2NF、3NF 和 BC 范式 重点 难点 3NF 和 BC 范式、正确求解各种范式 要求掌握 知识点和 分析方法 1、概念：1NF、2NF、3NF 和 BC 范式、多值依赖、第四范式，2、从低级范式向高级范式的正 确的转化。 教授思 路，采用 的教学方 法和 辅 助手段， 板书设 计，重点 如何突 出，难点 如何解 决，师生 互动等 本节的概念较多，关键在于加强学生对概念的理解和使用。主要的教学思路：1、提问复习候选 键、主属性、非主属性的概念，２、详细讲解 1NF、2NF、3NF 和 BC 范式，简单将介绍多值依 赖、第四范式，３、举例进行正确判断。 作业布置 习题 P138 4,5,6,7 主要 参考资料 1、萨师煊，王珊，数据库系统概论（第四版），高等教育出版社，2006 2、施伯乐，丁宝康，数据库系统概论，高等教育出版社，2002 3、王珊，陈红，数据库系统原理教程，清华大学出版社，2002 备注
西安石油大学教案 第4次课学时2 章节5.5关系模式的规范化 讲授主关系模式分解的概念、原则,具有无损连接性的关系模式的分解、具有保持函数依赖的 要内容关系模式的分解、一些相关资料的定理和算法。 重点 具有无损连接性的关系模式的分解、具有保持函数依赖的关系模式的分解 难点 要求掌 握知识 点和分 析方法 教授思 路,采 用的教 学方法 和辅助本节通过典型例题的讲解,加深学生对全章知识点的理解和掌握。教学思路:讲清关系 手段,模式分解的概念、原则,深入介绍具有无损连接性的关系模式的分解、具有保持函数依 板书设赖的关系模式的分解的概念和求解算法的理解 计,重 点如何, 突出 难点如 何解 决,师 生互动 作业布 习题P1388,10,11 主要1、萨师煊,王珊,数据库系统概论(第四版),高等教育出版社,2006 参考资2、施伯乐,丁宝康,数据库系统概论,高等教育出版社,2002 料 3、王珊,陈红,数据库系统原理教程,清华大学出版社,2002 「备注
西安石油大学教案 第 4 次课 学时 2 章节 5.5 关系模式的规范化 讲授主 要内容 关系模式分解的概念、原则，具有无损连接性的关系模式的分解、具有保持函数依赖的 关系模式的分解、一些相关资料的定理和算法。 重点 难点 具有无损连接性的关系模式的分解、具有保持函数依赖的关系模式的分解 要求掌 握知识 点和分 析方法 教授思 路，采 用的教 学方法 和 辅助 手段， 板书设 计，重 点如何 突出， 难点如 何解 决，师 生互动 等 本节通过典型例题的讲解，加深学生对全章知识点的理解和掌握。教学思路：讲清关系 模式分解的概念、原则，深入介绍具有无损连接性的关系模式的分解、具有保持函数依 赖的关系模式的分解的概念和求解算法的理解 ，。 作业布 置 习题 P138 8,10,11 主要 参考资 料 1、萨师煊，王珊，数据库系统概论（第四版），高等教育出版社，2006 2、施伯乐，丁宝康，数据库系统概论，高等教育出版社，2002 3、王珊，陈红，数据库系统原理教程，清华大学出版社，2002 备注