第六章关系数据理论 61问题的提出 6.2规范化 63数据依赖的公理系统 *64模式的分解 65小结 An Introduction to Database System
An Introduction to Database System 第六章 关系数据理论 6.1 问题的提出 6.2 规范化 6.3 数据依赖的公理系统 *6.4 模式的分解 6.5 小结
6.2规范化 规范化理论正是用来改造关系模式,通过分解关系模式来 消除其中不合适的数据依赖,以解决插入异常、删除异常、 更新异常和数据冗余问题。 An Introduction to Database System
An Introduction to Database System 6.2 规范化 规范化理论正是用来改造关系模式，通过分解关系模式来 消除其中不合适的数据依赖，以解决插入异常、删除异常、 更新异常和数据冗余问题
6.2规范化 621函数依赖 62.2码 623范式 6.242NF 6.2.53NF 6.2.6 BCNF 627多值依赖 62.84NF 629规范化小结 An Introduction to Database System
An Introduction to Database System 6.2 规范化 6.2.1 函数依赖 6.2.2 码 6.2.3 范式 6.2.4 2NF 6.2.5 3NF 6.2.6 BCNF 6.2.7 多值依赖 6.2.8 4NF 6.2.9 规范化小结
6.21函数依赖 今函数依赖 今平凡函数依赖与非平凡函数依赖 完全函数依赖与部分函数依赖 传递函数依赖 An Introduction to Database System
An Introduction to Database System 6.2.1 函数依赖 ❖函数依赖 ❖平凡函数依赖与非平凡函数依赖 ❖完全函数依赖与部分函数依赖 ❖传递函数依赖
、函数依赖 定义61设R(U)是一个属性集U上的关系模式,X和Y是∪的 子集 若对于R(U)的任意一个可能的关系「,「中不可能存在两个元 组在Ⅹ上的属性值相等,而在Y上的属性值不等,则称“Ⅹ 函数确定Y”或“Y函数依赖于X”,记作Ⅹ_Y An Introduction to Database System
An Introduction to Database System 一、函数依赖 定义6.1 设R(U)是一个属性集U上的关系模式，X和Y是U的 子集。 若对于R(U)的任意一个可能的关系r，r中不可能存在两个元 组在X上的属性值相等， 而在Y上的属性值不等， 则称 “X 函数确定Y” 或 “Y函数依赖于X”，记作X→Y