[理学]第六章 关系数据理论.pptVIP

多值依赖（续） 多值依赖的另一个等价的形式化的定义： 在R（U）的任一关系r中，如果存在元组t，s 使得t[X]=s[X]，那么就必然存在元组 w，v? r，（w，v可以与s，t相同），使得w[X]=v[X]=t[X]，而w[Y]=t[Y]，w[Z]=s[Z]，v[Y]=s[Y]，v[Z]=t[Z]（即交换s，t元组的Y值所得的两个新元组必在r中），则Y多值依赖于X，记为X→→Y。 这里，X，Y是U的子集，Z=U-X-Y。 多值依赖（续） 平凡多值依赖和非平凡的多值依赖 若X→→Y，而Z＝φ，则称 X→→Y为平凡的多值依赖 否则称X→→Y为非平凡的多值依赖 多值依赖（续） ［例］关系模式WSC（W，S，C） W表示仓库，S表示保管员，C表示商品 假设每个仓库有若干个保管员，有若干种商品 每个保管员保管所在的仓库的所有商品 每种商品被所有保管员保管 多值依赖（续） W S C W1 S1 C1 W1 S1 C2 W1 S1 C3 W1 S2 C1 W1 S2 C2 W1 S2 C3 W2 S3 C4 W2 S3 C5 W2 S4 C4 W2 S4 C5 多值依赖（续） W→→S且W→→C 用下图表示这种对应 多值依赖的性质 （1）多值依赖具有对称性 若X→→Y，则X→→Z，其中Z＝U－X－Y （2）多值依赖具有传递性 若X→→Y，Y→→Z， 则X→→Z –Y （3）函数依赖是多值依赖的特殊情况。 若X→Y，则X→→Y。 （4）若X→→Y，X→→Z，则X→→Y? Z。 （5）若X→→Y，X→→Z，则X→→Y∩Z。 （6）若X→→Y，X→→Z，则X→→Y-Z，X→→Z -Y。 多值依赖与函数依赖的区别 (1) 多值依赖的有效性与属性集的范围有关 (2) 若函数依赖X→Y在R（U）上成立，则对于任何Y ? Y均有X→Y 成立 多值依赖X→→Y若在R(U)上成立，不能断言对于任何Y ? Y有X→→Y 成立 5) 第四范式（4NF） 定义6.10 关系模式RU，F∈1NF，如果对于R的每个非平凡多值依赖X→→Y（Y ? X），X都含有候选码，则R∈4NF。 （X→Y） 如果R ∈ 4NF， 则R ∈ BCNF 不允许有非平凡且非函数依赖的多值依赖 允许的是函数依赖（是非平凡多值依赖） 4NF 一个存在多值依赖的关系模式，其数据冗余量特别大，而且还有其他异常现象。如果把上面的关系TEACH分解成两个关系C_T和C_B，如下表。 (a) C_T关系 C T 高等数学 张华民 高等数学 王天华 高等数学 林静 普通物理 吴刚 普通物理 李晓芳 (b) C_B关系 C B 高等数学 高等数学 高等数学 高等数学教程 普通物理 物理学 普通物理 普通物理 普通物理 普通物理基础 把关系分解成仅含平凡多值依赖的多个关系,定义一个其条件比BCNF更苛刻的范式，即4NF。一个满足4NF的关系模式的特点是： 该关系模式满足BCNF； 该关系模式只允许出现平凡多值依赖。 ???????? 将TEACH分解后产生的C_T(C,T)和C_B(C,B)，显然因为有C→→T和C→→B，故不存在非平凡多值依赖，从而有C_T∈4NF和C_B∈4NF 上例中的关系模式TEACH为例，虽然是BCNF，但不是4NF，因为在TEACH (C,T,B)中有:C→→T和C→→B，关键字是CTB。虽然TEACH∈BCNF，但C不是关键字，即TEACH? 4NF。 关系模式规范化的基本步骤 练习题 1、设有关系模式R(学号Sno,课程号Cno,成绩G,任课教师TN,教师专长TS)，基于R的函数依赖集F={(Sno,Cno)→G,Cno→TN,TN→TS},判断R为第几范式？ 判断步骤： 是否为1NF； 候选码有（sno，cno），非主属性为（g，tn和ts） 判断函数依赖集中非主属性是否完全函数依赖于候选码；非主属性G对键是完全依赖：(S#,C#)→G。但非主属性TN,TS对键是部分依赖(他们仅依赖于键的真子集C#)。 得出结论：属于1NF； 2、设有关系模式R(Sno,sname,sdept)，函数依赖集F={sno→sname ，Sno→sdept,},判断R为第几范式？ 判断步骤： 是否为1NF； 候选码为（sno），非主属性为（sname和sdept） 判断函数依赖集中非主属性是否完全函数依赖于候选码；非主属性grade对键是完全依赖；但非主属性sname对码是部分依赖(仅依赖于键的真子集sno。属于2NF； 非主属性为（sname和sdept）是否存在传递依赖候选码→属于3NF； 主属性sn