关系数据理论讲义.ppt

数据库系统概论 An Introduction to Database System 第六章 关系数据理论;第六章 关系数据理论;6.1 问题的提出;问题的提出;一、概念回顾;概念回顾;二、关系模式的形式化定义;三、什么是数据依赖;什么是数据依赖（续）;什么是数据依赖（续）;四、关系模式的简化表示;五、数据依赖对关系模式的影响;数据依赖对关系模式的影响（续）;数据依赖对关系模式的影响（续）;关系模式StudentU, F中存在的问题;关系模式StudentU, F中存在的问题;数据依赖对关系模式的影响（续）;分解关系模式;第六章 关系数据理论;6.2 规范化;6.2 规范化;6.2.1 函数依赖;一、函数依赖;说明： ;说明 ;函数依赖（续）;二、平凡函数依赖与非平凡函数依赖;平凡函数依赖与非平凡函数依赖（续）;平凡函数依赖与非平凡函数依赖（续）;三、完全函数依赖与部分函数依赖;完全函数依赖与部分函数依赖（续）;四、传递函数依赖;函数依赖与属性关系;6.2 规范化;6.2.2 码;码（续）;码（续）;外部码;6.2 规范化;6.2.3 范式;6.2.3 范式;6.2 规范化;6.2.4 2NF;2NF（续）; 2NF（续）;SLC不是一个好的关系模式;SLC不是一个好的关系模式;S-L-C不是一个好的关系模式（续）;2NF（续）; 2NF（续）; 2NF（续）;6.2 规范化; 6.2.5 3NF;3NF（续）; 3NF（续）;3NF（续）;3NF（续）;3NF（续）;3NF（续）;3NF（续）;6.2 规范化; 6.2.6 BC范式（BCNF）;BCNF（续）;BCNF（续）;BCNF（续）; BCNF（续）; BCNF（续）;BCNF（续）;BCNF（续）;BCNF（续）;BCNF（续）;BCNF（续）;BCNF（续）;BCNF（续）;BCNF（续）;3NF与BCNF的关系;6.2 规范化;6.2.7 多值依赖;… ;普通物理学 光学原理 物理习题集 普通物理学 光学原理 物理习题集 数学分析 微分方程 高等代数 数学分析 微分方程 高等代数 …;多值依赖（续）;Teaching模式中存在的问题;Teaching模式中存在的问题;多值依赖（续）;多值依赖（续）;多值依赖（续）;多值依赖（续）;多值依赖（续）;多值依赖（续）;多值依赖（续）;多值依赖的性质;多值依赖的对称性;多值依赖的对称性;多值依赖与函数依赖的区别;多值依赖与函数依赖的区别;多值依赖（续）;6.2 规范化;6.2.8 4NF;4NF（续）;4NF（续）;4NF（续）;*连接依赖;*连接依赖（续）;*连接依赖??续）;*第五范式;6.2 规范化;6.2.9 规范化小结;规范化小结（续）;规范化的基本思想;规范化小结（续）;第六章 关系数据理论;6.3 数据依赖的公理系统;Armstrong公理系统;1. Armstrong公理系统;定理 6.1 Armstrong推理规则是正确的;定理 6.l Armstrong推理规则是正确的（续）;定理 6.l Armstrong推理规则是正确的（续）;2. 导出规则;导出规则;3. 函数依赖闭包;Armstrong公理系统;F的闭包;已知关系模式R中 U={A，B，C，D, E, G}, F={AB→C, C→A, BC→D, ACD→B, D→EG, BE→C, CG→BD, CE→AG}, 判断BD→AC是否属于F+;已知关系模式R中 U={A，B，C，E, H, P, G}, F={AC→PE, PG→A, B→CE, A→P, GA→B, GC→A, PAB→G, AE→GB,ABCP→H}, 证明BG→HE属于F+;关于闭包的引理;求闭包的算法;算法6.1;Define XF+ = closure of X = set of attributes functionally determined by X Basis: XF+ :=X Induction: If Y XF+, and Y A is a given FD, then add A to XF+ End when XF+ cannot be changed.; U={A, B, C, D}; F={A B, BC D}; A+ = AB. C+ = C. (AC)+ = ABCD.; ;函数依赖闭包;函数依赖闭包;4. Armstrong公理系统的有效性与完备性;4. Armstrong公理系统的有效性与完备性;有效性与完备性的证明;Armstrong公理系统的有效性与完备性(续);Armstrong公理系统的有效性与完