第4讲 关系数据库理论.pptVIP

北京林业大学 软件教研室 第4章 关系数据库理论 4.1 规范化问题的提出 4.2 函数依赖 4.3 关系模式的分解* 4.4 关系模式的范式 4.5 关系模式的规范化 4.1 规范化问题的提出 4.1.1 规范化理论的主要内容 关系数据库的规范化理论 函数依赖 范式（Normal Form） 模式设计 4.1.2 不合理的关系模式存在的存储异常问题 教学管理数据库 SCD(SNo，SN，Age，Dept，MN，CNo，Score) 在此关系模式中填入一部分具体的数据 一个好的关系模式应该具备以下四个条件： （1）尽可能少的数据冗余； （2）没有插入异常； （3）没有删除异常； （4）没有更新异常。 4.2 函数依赖 4.2.1 函数依赖的定义 定义4.1 SNo决定函数（SN，Age，Dept） （SN，Age，Dept）函数依赖于SNo 4.2.2 函数依赖的逻辑蕴涵定义 定义4.2 设F是在关系模式R(U)上成立的函数依赖集合，X，Y是属性集U的子集，X→Y是一个函数依赖。如果从F中能够推导出X→Y，即如果对于R的每个满足F的关系r也满足X→Y，则称X→Y为F的逻辑蕴涵（或F逻辑蕴涵X→Y），记为F|=X→Y 。 定义4.3 设F是函数依赖集，被F逻辑蕴涵的函数依赖的全