第五章关系数据理论..docVIP

第五章 关系数据理论 章 节 6.3 数据依赖的公理系统 6.4 模式的分解 课型 新授课 课时 2节课 班级 2005级11、12班 教 学 目 标 掌握数据依赖的公理系统 教 学 重 点 难 点 重点掌握Armstrong公理 掌握属性集闭包的算法 3. 侯选码的求解理论和算法 教学 关键 数据依赖的公理系统。 关于模式分解的算法。 教学 方法 讲授与课件演示。 教 具 计算机大屏幕投影。 复 习 内 容 函数依赖与范式 引 入 内 容 如何求出给定关系模式的所有函数依赖， 如何求关系模式的码。 讲 解 内 容 6.3 数据依赖的公理系统 ? 1. 逻辑蕴含 定义6.11 对于满足一组函数依赖 F 的关系模式R U，F，其任何一个关系r，若函数依赖X→Y都成立, (即对于r中任意两个元组s,t,若s[X]=t[X]，则s[Y]t[Y])，则称F逻辑蕴含X →Y 例如R(X, Y,Z),F={X→Y, Y→Z} X→Z 为了求得给定关系模式的码，为了从一组给定的函数依赖求得蕴涵的函数依赖，就需要一套推理规则。 这组推理规则是Armstrong于1974年提出的，所以称为 Armstrong公理系统。 2. Armstrong公理系统 ? 一套推理规则，是模式分解算法的理论基础 ?用途:求给定关系模式的码 ?从一组函数依赖求得