关系数据库规范化理论1xt.pptVIP

01例2：关系模式SPC(S，C，P)中，S是学生，C表示课程，P表示名次。02语义：每一个学生选修每门课程的成绩有一定的名次，每门课程中每一名次只有一个学生(即没有并列名次)。由语义可得到下面的函数依赖：03（S，C）→P；(C，P)→S04候选码：(S，C)与(C，P)。05SPC∈3NF，而且除(S，C)与(C，P)以外没有其它决定因素，所以SPC∈BCNF例3：关系模式STJ(S，T，J)中，S表示学生，T表示教师，J表示课程。语义为：每一教师只能讲授一门课程，每门课程由若干教师讲授；每个学生选修某门课程就对应一个固定的教师。由语义可以得到STJ模式的函数依赖为：

F={(S，J)→T，T→J}

显然：(S，J)和(T，S)都是关系的码；关系的主属性集为{S，T，J}，非主属性为?（空集）。

P由于STJ模式中无非主属性，所以它属于3NF；但因为存在T→J，由于T不是码，故STJ?BCNF。BCNF不仅强调非主属性对码的完全的直接的依赖，而且强调主属性对码的完全的直接的依赖，故R?BCNF，R一定属于3NF。3NF只强调非主属性对码的完全直接依赖，这样就可能出现主属性对码的部分依赖和传递依赖。五、BCNF和3NF的比较1NF2NF3NFBCNF削除非主属性对码的部分函数依赖削除非主属性对码的传递函数依赖削除主属性对码的部分和传递函数依赖图1各种范式规范化过程规范化小结：在关系数据库中，对关系模式的基本要求是满足第一范式。这样的关系模式就是合法的、允许的。但是，人们发现有些关系模式存在插入、删除异常、修改复杂、数据冗余等毛病。人们寻求解决问题的方法，这就是规范化的目的。规范化的基本思想是逐步消除数据依赖中不合适的部分，使模式中的各关系模式达到某种程度的“分离”，即“一事一地”的模式设计原则。让一个关系描述一个概念、一个实体或者实体间的一种联系。若多于一个概念就把它“分离”出去。因此所谓规范化实质上是概念的单一化。0102实际上，在对模式进行分解时，除考虑数据等价和依赖等价以外，还要考虑效率。当我们对数据库的操作主要是查询而更新较少时，为了提高查询效率，可能宁愿保留适当的数据冗余，让关系模式中的属性多些，而不愿把模式分解得太小，否则为了查询一些数据，常常要做大量的连接运算，把多个关系模式连在一起才能从中找到相关的数据。在实际应用中，对模式分解的要求并不一定要达到BC范式或更高的范式，有时达到第三范式就足够了。关系规范化理论研究：函数依赖理论的研究（1）关系模式上的所有依赖通过一些公理系统（Armstrong）而获得关系模式上的所有依赖。基本的由语义获取，其他部分由公理系统推出。（2）最小函数依赖集:等价的函数依赖集中最小者。模式分解的研究（1）无损连接（反映了模式分解的数据等价原则。）当对关系模式R进行分解时，R的元组将分别在相应属性集进行投影而产生新的关系。如果对新的关系进行自然连接得到的元组的集合与原关系完全一致，则称为无损连接。（2）保持依赖当对关系模式R进行分解时，R的函数依赖集也将按相应的模式进行分解。如果分解后总的函数依赖集与原函数依赖集保持一致，则称为保持依赖。F1={A→B，B→C，A→C}与01F2={A→B，B→C，A→BC}02F3={A→B，B→C}是否等价？03关系模式的分解算法关系模式分解的算法基础函数依赖的逻辑蕴含设F是模式R〈U〉的函数依赖集，X和Y是属性集U的子集。如果从F中的函数依赖能推出X→Y，则称F逻辑蕴含X→Y，或称X→Y是F的逻辑蕴含。如：F＝｛A→B，B→C｝，问A→C是否成立？这就需要函数依赖的逻辑隐含知识，用函数依赖的公理系统推出。2.Armstrong公理系统

(1)Armstrong公理系统

设U为属性集，F是U上的函数依赖集，于是有关系模式R〈U，F〉。对R（U，F）来说，有以下的推理规则：

1)自反律：若Y?X?U，则X→Y为F所蕴含。2)增广律：若X→Y为F所蕴含，且Z?U，则XZ→YZ为F所蕴含。3)传递律：若X→Y及Y→Z为F所蕴含，则X→Z为F所蕴含。(2)Armstrong公理的三个推理

1)合并规则：由X→Y，X→Z，有X→YZ。2)伪传递规则：由X→Y，WY→Z，有XW→Z。3)分解规则：由X→Y及Z?Y，有X→Z。由合并规则和分解规则，容易知：X→A1A2…Ak成立的充分必要条件为X→Ai成立。（i=1,2,…k）*数据库技术及应用第三章关系数据库的规范化理论关系模式的冗余和异常问题范式（Normal