西安石油大学教案 第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 备注