6数据库第六章关系数据理论.ppt

离散数学 6.2.9 规范化小结 规范化的基本思想 消除不合适的数据依赖 各关系模式达到某种程度的“分离” 采用“一事一地”的模式设计原则 让一个关系描述一个概念、一个实体或者实体间的 一种联系。若多于一个概念就把它“分离”出去 所谓规范化实质上是概念的单一化 离散数学 6.2.9 规范化小结 不能说规范化程度越高的关系模式就越好 在设计数据库模式结构时，必须对现实世界的实际 情况和用户应用需求作进一步分析，确定一个合适的、 能够反映现实世界的模式 上面的规范化步骤可以在其中任何一步终止 离散数学 §6.3 数据依赖的公理系统 定义6.11：对于满足一组函数依赖F的关系模式RU, F， 其任何一个关系r，若函数依赖X→Y都成立， 则称F逻辑蕴含X→Y。 Armstrong公理系统 数据库一套推理规则，是模式分解算法的理论基础 用途 求给定关系模式的码 从一组函数依赖求得蕴含的函数依赖 离散数学 一、Armstrong公理系统 对关系模式R U，F 来说有以下的推理规则： Al自反律(Reflexivity)： 若Y ? X ? U，则X →Y为F所蕴含。 A2增广律(Augmentation)：若X→Y为F所蕴含， 且Z ? U，则XZ→YZ为F所蕴含。 A3传递律(Transitivity)：若X→Y及Y→Z为F所