数据库原理配套课件Lesson-06.pptx

数据库原理;课程内容安排;第六讲 关系数据理论;基于某个数据库管理系统设计数据库，如何基于数据库系统编程 第6章 关系数据理论 第7章 数据库设计 第8章 数据库编程;本讲目标;6.1 问题的提出;问题的提出（续）;问题的提出（续）;问题的提出（续）;问题的提出（续）;问题的提出（续）; 问题的提出（续）;问题的提出（续）;问题的提出（续）;问题的提出（续）;问题的提出（续）;问题的提出（续）;问题的提出（续）;问题的提出（续）;问题的提出（续）;第六章 关系数据理论;6.2 规范化;6.2.1 函数依赖;1. 函数依赖;函数依赖（续）;函数依赖（续）;函数依赖（续）;函数依赖（续）;2. 平凡函数依赖与非平凡函数依赖;平凡函数依赖与非平凡函数依赖（续）;3. 完全函数依赖与部分函数依赖;完全函数依赖与部分函数依赖（续）;4. 传递函数依赖;6.2 规范化;6.2.2 码;码（续）;码（续）;码（续）;6.2 规范化;6.2.3 范式;范式（续）;6.2 规范化;6.2.4 2NF;2NF（续）;2NF（续）;2NF（续）;2NF（续）;6.2 规范化; 6.2.5 3NF;6.2 规范化; 6.2.6 BCNF;BCNF（续）;[例6.5]考察关系模式C(Cno,Cname,Pcno) 它只有一个码Cno，没有任何属性对Cno部分依赖或传递依赖，所以C∈3NF。 同时C中Cno是唯一的决定因素，所以C∈BCNF。 对于关系模式SC(Sno,Cno,Grade)可作同样分析。 ;[例6.6] 关系模式S(Sno,Sname,Sdept,Sage)， 假定Sname也具有唯一性，那么S就有两个码，这两个码都由单个属性组成，彼此不相交。 其他属性不存在对码的传递依赖与部分依赖，所以S∈3NF。 同时S中除Sno，Sname外没有其他决定因素，所以S也属于BCNF。;[例6.7] 关系模式SJP(S,J,P)中，S是学生，J表示 课程，P表示名次。每一个学生选修每门课程的 成绩有一定的名次，每门课程中每一名次只有一 个学生（即没有并列名次）。 由语义可得到函数依赖： (S,J)→P；(J,P)→S (S,J)与(J,P)都可以作为候选码。 关系模式中没有属性对码传递依赖或部分依赖，所以 SJP∈3NF。 除(S,J)与(J,P)以外没有其他决定因素，所以 SJP∈BCNF。 ;BCNF（续）;BCNF（续）;BCNF（续）;6.2 规范化;6.2.7 多值依赖;多值依赖（续）;多值依赖（续）;多值依赖（续）;多值依赖（续）;多值依赖（续）;多值依赖（续）;多值依赖（续）;多值依赖（续）;多值依赖（续）;多值依赖（续）;多值依赖（续）;多值依赖（续）;多值依赖（续）;多值依赖（续）;多值依赖（续）;多值依赖（续）;多值依赖（续）;多值依赖（续）;多值依赖（续）;6.2 规范化;6.2.8 4NF;4NF（续）;6.2 规范化;6.2.9 规范化小结;规范化小结（续）;规范化小结（续）;;规范化小结（续）;第六章 关系数据理论;6.3 数据依赖的公理系统;数据依赖的公理系统（续）;数据依赖的公理系统（续）;数据依赖的公理系统（续）;数据依赖的公理系统（续）;数据依赖的公理系统（续）;数据依赖的公理系统（续）;数据依赖的公理系统（续）;数据依赖的公理系统（续）;数据依赖的公理系统（续）;数据依赖的公理系统（续）;数据依赖的公理系统（续）;数据依赖的公理系统（续）;数据依赖的公理系统（续）;数据依赖的公理系统（续）;定理6.2 Armstrong公理系统是有效的、完备的。 证明： 1. 有效性 有效性实际上是“正确性” 可由定理6.1得证;2. 完备性 只需证明逆否命题：若函数依赖X→Y不能由F从Armstrong公理导出，那么它必然不为F 所蕴涵 分三步证明： （1） 若V→W成立，且V ? XF+，则W ? XF+ 证：因为 V ? XF+，所以有X→V成立； 因为X →V，V→W，于是X→W 成立； 所以W ? XF+ 。 ;（2）构造一张二维表r，它由下列两个元组构成，可以证明r 必是RU,F的一个关系，即F中的全部函数依赖在 r上成立。 XF+ U-XF+ 11......1 00......0 ? 11......1 11......1 ? 若r 不是RU,F 的关系，则必由于F中有某一个函数依赖V→W 在r上 不成立所致。由r 的构成可知，V 必定是