[工学]《数据库与SQL Server》-第04章.ppt

第4章 关系数据库规范化理论 4.1 问题的提出 4.2 函数依赖 4.2.1 函数依赖的定义 4.2.2 函数依赖与属性关系 4.2.3 Armstrong公理 4.2.4 闭包及其计算 4.3 范式和规范化 4.3.1 什么叫范式 4.3.2 范式的判定条件与规范化 4.4 关系模式的分解 4.4.1 模式分解中存在的问题 4.4.2 无损分解的定义和性质 4.4.3 无损分解的测试方法 4.4.4 保持函数依赖的分解 4.1 问题的提出 有关系S: S(NO,NAME,SEX,CNO,CNAME,DEGR) 主码为（NO,CNO） 这个关系会有什么问题？ 数据冗余 不一致性 插入异常 删除异常 如何克服异常这些问题？ 对关系进行分解。 将S分解为： S1(NO,NAME,SEX) S2(NO,CNO,DEGR) S3(CNO,CNAME) 为什么对关系分解就解决了这些异常？ FD（Functional Dependence） MD（Multivalued Dependence） 4.2 函数依赖 4.2.1 函数依赖的定义 4.2.2 函数依赖与属性关系 4.2.3 Armstrong公理 4.2.4 闭包及其计算 4.2.1 函数依赖的定义 定义1：设R(U)是属性集U上的关系模式。X，Y是U的子集。若对于R(U)的任意一个可能的关系 r，r 中不可能存在两个元组在X上的属性值相等，而在Y上的属性值不等，则称 X函数确定Y 或 Y函数依赖于X ，记作X-Y。 定义2：设X-Y是一个函数依赖，若 ，则称X-Y是一个平凡函数依赖 定义3：完全函数依赖 定义4：部分函数依赖 定义5：传递函数依赖 4.2.2 函数依赖与属性关系 1:1 X-Y AND Y-X 1:n X-Y m:n X和Y不存在函数依赖 4.2.3 Armstrong公理 Armstrong公理：设A、B、C、D是给定关系模式R的属性集的任意子集，并把A和B的并集 记为AB，则其推理规则可归结为3条。 自反律：如果 ，则A-B。这是一个平凡依赖。 增广律：If A-B，then AC-BC。 传递律：If A-B and B-C，then A-C。 有Armstrong公理可以得到以下推论。 自合规则：A-A。 合并规则：If A-BC, then A-B and A-C. 合并规则：If A-B and A-C, then A-BC. 复合规则：If A-B, C-D, then AC-BD. 4.2.4 闭包及其计算 定义6：设F是关系模式R的一个函数依赖集，X，Y是R的属性子集，如果从F中的函数依赖能够推出X-Y，则称F逻辑蕴涵X-Y。 定义7：被F逻辑蕴涵的函数依赖的全体构成的集合，称为F的闭包，记为F+。 定义8：X关于F的闭包X+F的定义 X+F＝｛A|X-｝ * *