第03章 关系数据理论 - 副本.ppt

* 在上面的关系中： 给定一个课程值，有一组学生与其对应，而这组学生值与先修课程值没有任何依赖关系，所以课程→→学生； 同样课程→→先修课程； 多值依赖具有对称的性质，即如果X→→Y，并且Z=U-X-Y，则X→→Z也成立。 * 多值依赖举例： 判断多值依赖BC ?? D分别在下列关系中是否成立？ A B C D E a 2 3 4 5 a 2 3 6 5 a 2 3 6 6 关系R1 A B C D E a 2 3 4 5 a 2 3 4 6 a 2 3 6 5 a 2 3 6 6 关系R2 * 函数依赖可以看作是多值依赖的特例。即若X?Y，则X??Y。 * 第四范式 定义3.11 设关系模式R(U,D)∈1NF，若对每个非平凡的多值依赖X→→Y，X都含有侯选关键字，则R(U,D)∈4NF。 从定义可以看出，4NF限定了在关系模式的属性间不允许有非平凡、且非函数依赖的多值依赖。 这是因为，若X→→Y是非平凡的多值依赖，且X含有侯选关键字，则有X→Y，所以4NF所允许的非平凡的多值依赖实际上就是函数依赖。 4NF自然是BCNF * 非4NF关系到4NF关系的转换仍然是通过分解，前面所示的关系显然不是4NF，可以分解为： 学生(课程，学生) 先修课 (课程,先修课程) 分解结果都是4NF关系。 * 规范化小结 * 求最高范式 R(A,B,C,D), F:{B→D,AB→C} R(A,B,C,D,E), F:{AB→C,E→AB,C→D} R(A,B,C), F:{A→B, A→C} R(A,B,C), F:{A→B,B→C} R(A,B,C), F:{AB→C,C→B} 1NF 2NF 4NF 2NF 3NF * 模式分解 模式分解的准则 3NF无损连接和保持函数依赖算法 使分解后的关系模式数最少 * 模式分解的准则 模式分解具有无损连接性； 模式分解能够保持函数依赖。 * 无损连接的形式定义： * 保持函数依赖的形式定义： 定义3.13 若 ，则R(U,F)的分解 ρ={R1(U1,F1),…,Rk(Uk,Fk)}保持函数依赖。 * 设有关系模式R（U，F），U={A,B,C}，F={A→B，B→C}，对R进行分解。 主要有如下4种分解方法： ρ1={R4(A),R5(B),R6(C)} ρ2={R1(AB),R2(AC)} ρ3={R1(AB),R3(BC)} ρ4={R2(AC),R3(BC)} * ρ1={R4(A),R5(B),R6(C)} F={A→B，B→C} 此分解既不是保持函数依赖，又不是无损联接 A B C a1 b1 c1 a2 b1 c1 a3 b2 c2 a4 b3 c1 A a1 a2 a3 a4 R R4 B b1 b2 b3 R5 C c1 c2 R6 * 2. ρ2={R1(AB),R2(AC)} F={A→B，B→C} 此分解是无损联接，但不保持函数依赖 A B C a1 b1 c1 a2 b1 c1 a3 b2 c2 a4 b3 c1 A B a1 b1 a2 b1 a3 b2 a4 b3 R R1 A C a1 c1 a2 c1 a3 c2 a4 c1 R2 * 3. ρ3={R1(AB),R3(BC)} F={A→B，B→C} 此分解是无损联接，且保持函数依赖 A B C a1 b1 c1 a2 b1 c1 a3 b2 c2 a4 b3 c1 A B a1 b1 a2 b1 a3 b2 a4 b3 R R1 B C b1 c1 b2 c2 b3 c1 R3 * 4. ρ3={R2(AC),R3(BC)} F={A→B，B→C} 此分解既不是保持函数依赖，又不是无损联接 A B C a1 b1 c1 a2 b1 c1 a3 b2 c2 a4 b3 c1 A C a1 c1 a2 c1 a4 c1 a3 c2 R R2 B C b1 c1 b3 c1 b2 c2 R3 * 判断一个分解是否保持函数依赖，可以根据函数依赖的最小覆盖和等价来判断。 * 判断一个分解是否具有无损连接特性可以用如下法则：关系模式R分解为R1和R2是无损连接分解的充分必要条件是： R1 ∩ R2 → R1 - R2 或 R1 ∩ R2 → R2 – R1 * 试分析下列分解是否具有无损联接和保持函数依赖的特点 （1）设R(ABC)，F1={A→B}在R上成立，ρ1={AB，AC} （2）设R(ABC)，F2={A→C，B→C}在R上成立，ρ2={AB， AC}