完全函数依赖fullfd.pptVIP

CSEE in Hunan University Jin-Min Yang 2016.06 Database Systems Design Part III : Normalization Database Design Flow Diagram Individual Part 1 Modeling (identify, deduce refine, abstract) , Individual Part n ER-diagram Relations Rational Relations User view 1 User view n Transformation Normalization Implement in particular DBMS Requirements Investigation, analysis, research View Stored procedure 期望的关系模式特性 设计得好的关系模式具有如下3个重要的属性： 1) 一个关系是由一组逻辑上相关联的属性构成，也就是说，一个关系（relation）的属性是指一个实体（Entity）或者一个关系（Relationship）的属性. 2) 无损联接性是指将一个关系分解成2个或多个关系之后，原有的关系能够通过做自然联接来复原，这一点是从关系实例来讲的，也就是从元组来说的，其具体情形看ER建模中的裂口陷进和后面的5范式。 3) 依赖保留性指将一个关系分解成2个或多个关系，分解前的函数依赖性在分解之后仍然存在，其具体情况看后面的BC范式。 函数依赖理论及其在数据库设计合理性验证中的应用 已知： 对于一个关系R, 它的属性集合A＝ (A1, A2, …, An)， 有函数依赖集F = {X1 → Y1, …, Xj → Yj },其中Xk ? A，Yk ? A， 1? k ? i； 应用： 判断函数依赖Xt→ Yt是否成立； 判断Xt是否是R的候选键； 计算F的闭包F+，推理出其隐含的所有其它函数依赖(放大) 构建F的最小集，也即特征集（精简）；. 判断两个函数依赖集F和E是否等价； 解决问题的关键策略 对于属性集合 X， Xk ? A, 在函数依赖集F下的X的闭包X+ : 是指使用F能确定的所有属性的集合； 必须掌握的内容： X+的计算； F+的计算； Let X+ = X Repeat 如果F中有某个FD，它的左边是X+的子集. 添加该FD 的右边的属性到 X+. Until ( X+ 不发生改变 or X+ 包含了R得所有属性) 判断属性集Xk是否是R的候选键的方法 对于关系R，它的属性集合A，函数依赖集F，对于属性集合 Xk， Xk ? A： 如果 Xk+ = A；然后计算Xk的所有真子集的闭包，如果它们都不等于A；那么Xk是R的候选键，否则不是； 两个函数依赖集F和E 的等价性 对于两个函数依赖集F和E，如果E中的每一个函数依赖都在F+中，那么就说F覆盖E； F覆盖E 的判定方法： 对E中的每一个函数依赖X → Y ，基于F，计算X＋，然后检查Y是否在X+中； 如果全部成立，那么F覆盖E； 如果 F覆盖E， F也覆盖E，那么就说E和F等价( equivalent）； F和E等价，那么E+ = F+. 函数依赖集的最小集（缩减函数依赖，减炼的过程） 对函数依赖集F，如果满足如下三个条件，那么它就是最小集： F中的每一个函数依赖X → Y，Y只含一个属性；. F的任意真子集，都与F不等价； 对F中的任意函数依赖X → A，设X的真子集Y，对于F，当用Y → A替换X → A后得到的函数依赖集E，F和E不等价； 对于一个函数依赖集，它的最小集，可以说是它的一个特征集； 对于一个函数依赖集，它的最小集可能有多个，也即并不唯一； 完全函数依赖（Full FD） 定义: 对于函数依赖A → B，如果从A中去掉任一个属性，依赖关系不再成立，那么 A → B是一个完全函数依赖。 也说，B完全函数依赖于A； 如果从A中去掉任一个属性，依赖关系依然成立，那么就说 B部分函数依赖于A； 例子: eno → ename (完全FD) eno, ename → salary, title (部分 FD, 只依赖eno) eno, pno → hours, resp (完全 FD) 作业 13.16－13.20； 其中13.19中有关4NF部分的判定基于扇子陷进来思考； 13.20中有关5NF部分的判定基于裂口陷进来思考； 范式（Normal Forms） 就关系(Relation)的模式(Schema)合理性而言，可从5个层面来检测关系是否会存在有潜在的冗余和更新异常。