第三章 关联模式设计理论.pptxVIP

第三章　关系模式设计理论;　　考核知识点与考核要求;3.1　关系模式的设计准则;　　2.关系模式的非形式化设计准则 　　１）关系模式的设计应尽可能只包含有直接联系的属性，不包括有间接联系的属性 　　２）关系模式的设计应尽可能使得相应关系中不出现插入、删除及修改异常。 　　３）关系模式的设计应尽可能使得相应关系中避免放置经常为空值的属性。 　　４）关系模式的设计应尽可能使得关系的等值连接在主键和外键的属性上进行，并且保证连接以后不会生成额外的元组。;3.2　函数依赖;　　2.函数依赖的逻辑蕴涵 　　设F是关系模式R的一个函数依赖集，X,Y是R的属性子集，如果从F中的函数依赖能够推出X→Y，则称F逻辑蕴涵X→Y，记为F|=X→Y。 　　而函数依赖的闭包F + 是指被F逻辑蕴涵的函数依赖的全体构成的集合。;　　3.键及FD的关系 　　键是唯一标识实体的属性集。对于键和函数依赖的关系：有两个条件：设关系模式R(A1,A2...An)，F是R上的函数依赖集，X是R的一个子集： 　　1?X→A1A2...An∈F +（它的意思是X能够决定唯一的一个元组） 　　2?不存在X的真子集Y，使得Y也能决定唯一的一个元组，则X就是R的一个候选键。(它的意思是X能决定唯一的一个元组但又没有多余的属性集) 　　包含在任何一个候选键中的属性称为主属性，不包含在任何键中的属性为非主属性(非键属性)，（注意） 主属性应当包含在候选键中。;　　4.函数依赖(FD)的推理规则 　　前面我们举的例子中是以实际经验来确定一个函数依赖的逻辑蕴涵，但是我们需要一个推理规则才能完全确定F或F+的所有函数依赖。 　　设有关系模式R(U)，X，Y，Z，W均是U的子集，F是R上只涉及到U中属性的函数依赖集，推理规则如下： 　　A1?自反性：如果Y X U,则X→Y在R上成立。 　　A2?增广性：如果X→Y为F所蕴涵，Z U，则XZ→YZ在R上成立。(XZ表示X∪Z，下同) 　　A3?传递性：如果X→Y及Y→Z在R上成立，则X→Z在R上成立。;A4?合并性：如果X→Y及X→Z成立，那么X→YZ成立。 A6?分解性：如果X→Y和Z Y成立，那么X→Z成立。 A5?伪传性：如果X→Y和WY→Z成立，那么WX→Z成立。 A7?复合性：{X→Y， W→Z} |=XW →YZ。 A8?通用一致性定理：{X→Y， W→Z } |=x ∪(X-Y) →YZ。;　　5.函数依赖推理规则的完备性 　　函数依赖推理规则系统(自反性、增广性及传递性)是完备的。由推理规则的完备性可得到两个重要结论： 　　1?属性集X + 中的每个属性A，都有X→A被F逻辑蕴涵，即X + 是所有由F逻辑蕴含X→A的属性A的集合。 　　2?F+ 是所有利用Amstrong推理规则从F导出的函数依赖的集合。;　　6.函数依赖集的等价及覆盖 　　在关系模式R(U)上的两个函数依赖集F和G，如果 满足F + =G + ，则称F和G是 等价 的，称F和G等价也称F 覆盖 G或G覆盖F。 　　每个函数依赖集F都可以被一个 右部只有单属性的函数依赖集 G所覆盖。 　　如果函数依赖集合F满足： 　　(1)F中每一个函数依赖的右部都是单属性； 　　(2)F中的任一函数依赖X→A，其F-{X→A}是不等价的； 　　(3)F中的任一函数依赖X→A，Z为X的子集。(F-{X→A})∪{Z→A}与F不等价。 　　则称F为最小函数依赖集合。;　　如果函数依赖集F及G等价，并且G是最小集，那么称G是F的一个 最小覆盖 。 　　这一段并不要求掌握最小集的求法，但是应当通过其求法理解最小集的概念。;3.3　关系模式分解特性;　　2.无损联接的定义及性质 　　设R是一关系模式，分解成ρ={R1,R2，...,Rk}，F是R上的一个函数依赖集。无损联接就是指R中每一个满足F的关系r(也就是一个关系实例)都有r=π R1 (r)|X|π R2 (r)...|X|π R3 (r)，即r为它在Ri上的投影的自然联接。 　　最简单的理解，也就是说，分解后的关系 自然连接后完全等于 分解前的关系，则这个分解相对于F是无损联接分解。 ;　　设R的分解为ρ={R1,R2},F为R所满足的函数依赖集，则分解ρ具有无损联接性的充分必要条件是： 　　R1∩R2→(R1-R2) 　　R1∩R2→(R2-R1) 　　也就是说，分解后的两个模式的交能决定这两个模式的差集，即R1、R2的公共属性能够函数决定R1或R2中的其他属性，这样的分解就必定是无损联接分解。;　　3.保持函数依赖的分解 　　在分解过程中，要求模式分解的无损联接是必要的，只有无损联接分解才能保证任何一个关系能由它的那些投影进行自然联接得到恢复。 　　同时，分解关系模式时还应保证关系模式的函数依赖集在分解后仍在