第六讲关系数据理论 6.1问题的提出 6.2规范化 6.3数据依赖的公理系统 *6.4模式的分解 6.5小结
第六讲 关系数据理论 6.1 问题的提出 6.2 规范化 6.3 数据依赖的公理系统 *6.4 模式的分解 6.5 小结
6.2规范化 规范化理论正是用来改造关系模式,通过分解关 系模式来消除其中不合适的数据依赖,以解决插 入异常、删除异常、修改复杂和数据冗余问题
6.2 规范化 规范化理论正是用来改造关系模式，通过分解关 系模式来消除其中不合适的数据依赖，以解决插 入异常、删除异常、修改复杂和数据冗余问题
6.2规范化 数据依赖(P170 数据依赖是一个关系内部属性与属性之间的 种约束关系。这种约束关系是通过属性间值的 相等与否体现出来的数据间的相关联系。是现实 世界属性间相互联系的抽象,是数据内在的性质, 是语义的体现
6.2 规范化 数据依赖（P170） 数据依赖是一个关系内部属性与属性之间的 一种约束关系。这种约束关系是通过属性间值的 相等与否体现出来的数据间的相关联系。是现实 世界属性间相互联系的抽象，是数据内在的性质， 是语义的体现
6.2规范化 数据依赖的类型 口函数依赖( Functional Dependency,简记为FD) 口多值依赖( Multivalued Dependency,简记为MVD)
6.2 规范化 数据依赖的类型 函数依赖（Functional Dependency，简记为FD） 多值依赖（Multivalued Dependency，简记为MVD）
6.2.1函数依赖 函数依赖 、平凡函数依赖与非平凡函数依赖 、完全函数依赖与部分函数依赖 四、传递函数依赖
6.2.1 函数依赖 一、函数依赖 二、平凡函数依赖与非平凡函数依赖 三、完全函数依赖与部分函数依赖 四、传递函数依赖