关系数据库设计理论.pptVIP

所有这些范式都基于一个关系中各属性间的函数依赖。1976年Fagin又提出了基于多值依赖的4NF，后来又有人提出了基于连接依赖的5NF。范式，可理解为关系的某一种级别，也可理解为符合某一种级别的关系模式的集合，R为第几范式可写成R?xNF。范式的等级越高，满足的条件越严格，各种范式之间的联系有：5NF?4NF?BCNF?3NF?2NF?1NF5.3.1关系模式的分解规范化是将低一级范式的关系模式通过模式分解（decompose）转换为若干个高一级范式的关系模式的集合的过程，以达到最小的冗余和最少的插入、删除、更新异常。即把只符合低级范式条件的关系模式R分解成多个关系模式：R1，R2，…，Rm，Ri（i=1，2，…，m）都满足高级范式条件。必须保证R的每一个属性都应该至少出现在分解中的一个关系模式Ri中，称为分解的属性保持（attributepreservation）条件。定义5.9：关系模式R(U,F)的一个分解是指一关系模式的集合?={R1(U1,F1)，R2(U2,F2)，…，Rn(Un,Fn)}，其中，并且没有Ui?Uj，1≤i,j≤n，Fi是F在Ui上的投影。定义5.10：F在属性集Ui(?U)上的投影Fi定义为函数依赖集合{X→Y|X→Y?F+∧XY?Ui}的一个覆盖。无损连接性（losslessjoinproperty），确保在分解之后不会发生第5.1.4节中生成伪元组的问题。依赖保持性（dependencypreservationproperty），确保每个函数依赖会在分解之后产生的一些单独的关系中出现。F中的每个依赖都代表了数据库上的一个约束。如果一个依赖没能在分解的某个单独的关系中出现，就不能在处理一个单独的关系时执行这个约束。形式化定义及相关算法定义5.11：设?={R1，R2，…，Rn}是关系模式R的一个分解，F是R的一个函数依赖集。若对于R的任一关系r都有则称分解?具有无损连接性。简称?为无损分解。定义5.12：设ρ={R1，R2，…，Rk}是R的一个分解，F是R上的函数依赖集，若，则称ρ具有依赖保持性。输入：关系模式R(A1，A2，…，An)； R上的函数依赖集F；R上的分解?={R1，R2，…，Rk}。输出：确定?是否具有无损连接性。算法5.2：无损连接性的检验定理5.4：设ρ={R1,R2}是R的一个分解，F是R上的函数依赖集，ρ为无损分解的充分必要条件是(R1∩R2)→(R1–R2)或(R1∩R2)→(R2–R1)。5.2.3码定义5.13：设有关系模式R(U,F)，F是R的函数依赖集，X是U的一个子集。若(1)X→U?F+；(2)不存在X的真子集Y，使得Y→U成立，且Y→U?F+。则称X是R的一个候选码(candidatekey)。若候选码多于一个，则选定其中的一个为主码(primarykey)，其他的候选码则称为辅码。这里条件(1)表示码X可以决定R中的所有属性，条件(2)表示码X是具有这种性质的最小化的集合。包含在任一候选码中的属性叫主属性(primeattribute)，不包含在任一候选码中的属性叫非主属性(nonprimeattribute)。最简单的情况是单个属性是码，这种情况是最普遍的，如学生关系S(Snum,Sname,Ssex,Dept)中的学号Snum也可以是整个属性组是码，称为全码(All-key)，这种情况比较少见。包含候选码的属性或属性组称为超码(Superkey)，如学生选修关系SC(Snum,Cnum,Score)中的(Snum,Cnum)和(Snum,Cnum,Score)、学生关系S中的(Snum,Sname)都是超码5.3.3第一范式定义5.14：对于关系模式R的任一关系r，若其每一属性值都是单个的原子的（atomic）或不可再分的值（indivisiblevalue），则称R为第一范式(firstnormalform)或规范化关系，记作R?1NF。不满足1NF的关系称为非规范化关系。5.3.4第二范式定义5.15：若关系模式R是第一范式，且每一个非主属性完全函数依赖于码，则称R是第二范式（secondnormalform），记作R?2NF。也就是说，对于2NF，关系模式R中的非主属性不能有部分依赖于码。对2NF的检验包括检验函数依赖左边属性是否是码的一部分。如果码只包含一个单个属性，则不需要应