重要结论:
1.在关系DB中,二元关系模式的最高范式为4NF。
2.关系模式 R 中的属性全部是主属性,则 R 的最高范式必定是(3NF )
6.1 问题的提出
Ⅰ 关系模式看作一个三元组:R<U,F>
- 关系名R是符号化的元组语义
- U为一组属性
- F为属性组U上的一组数据依赖
- 当且仅当U上的一个关系r满足F时,r称为关系模式R<U,F>的一个关系
- 作为二维表,关系要符合一个最基本的条件:每个分量必须是不可分开的数据项。满足了这个条件的关系模式就属于第一范式(1NF)
Ⅱ 属性间的联系:一对一联系、多对一联系、多对多联系
Ⅲ 数据依赖:是一个关系内部属性与属性之间的一种约束关系,通过属性间值的相等与否体现出来的数据间相互联系
(1)数据依赖的主要类型
- 函数依赖
- 多值依赖
6.2 规范化
6.2.1 函数依赖
1.函数依赖
一、定义: 设R(U)是一个属性集U上的关系模式,X和Y是U的子集。若对于R(U)的任意一个可能的关系r,r 中不可能存在两个元组在X上的属性值相等, 而在Y上的属性值不等, 则称“X函数确定Y”或“Y函数依赖于X”,记作X→Y。
二、函数依赖与属性间的联系类型有关
(1) 一对一联系:X←→Y
(2) 多对一联系:X→Y
(3) 多对多联系:不存在依赖关系
(4) 可从属性间的联系类型来分析属性间的函数依赖
- 若X→Y,并且Y→X, 则记为X←→Y。
- 若Y不函数依赖于X, 则记为X
Y。
2.平凡函数依赖与非平凡函数依赖
①X→Y,但Y⊈X则称X→Y是非平凡的函数依赖。
②X→Y,但Y⊆X 则称X→Y是平凡的函数依赖。
例:在关系SC(Sno, Cno, Grade)中,
非平凡函数依赖: (Sno, Cno) → Grade
平凡函数依赖: (Sno, Cno) → Sno
(Sno, Cno) → Cno
3.完全函数依赖与部分函数依赖
①在R(U)中,如果X→Y,并且对于X的任何一个真子集X’, 都有 X’ Y, 则称Y对X完全函数依赖,记作X → Y。
②若X→Y,但x的真子集不决定y,则称Y对X部分函数依赖,记作X → Y
4.传递函数依赖
定义: 在R(U)中,如果X→Y(Y⊈X),YX,Y→Z,Z⊈Y, 则称Z对X传递函数依赖(transitive functional dependency)。记为:X → Z。
注: 如果Y→X, 即X←→Y,则Z直接依赖于X,而不是传递函数依赖。
[例] 在关系Std(Sno, Sdept, Mname)中,有:Sno → Sdept,Sdept → Mname,Mname传递函数依赖于Sno
6.2.2 码
定义: 设K为R<U,F>中的属性或属性组合。若K → U,则K称为R的一个候选码(Candidate Key)。
- 如果U部分函数依赖于K,则K称为超码 (Surpkey)。候选码是最小的超码,即K的任意一个真子集都不是候选码。
- 若关系模式R有多个候选码,则选定其中的一个做为主码(Primary key)。
(1)主属性与非主属性
n包含在任何一个候选码中的属性 ,称为主属性 (Prime attribute)
n不包含在任何码中的属性称为非主属性(Nonprime attribute)或非码属性(Non-key attribute)
(2)全码:整个属性组是码,称为全码(All-key)
(3) 外码:关系模式 R中属性或属性组X 并非 R的码,但 X 是另一个关系模式的码,则称 X 是R 的外部码(Foreign key)也称外码。
6.2.3 范式
- 各种范式之间存在联系:
- 某一关系模式R为第n范式,可简记为R∈nNF。
- 一个低一级范式的关系模式,通过模式分解(schema decomposition)可以转换为若干个高一级范式的关系模式的集合,这种过程就叫规范化(normalization)。
6.2.4 2NF:不存在非主属性对码的部分函数依赖
6.2.5 3NF:在第二范式的基础上,不存在非主属性对码的传递函数依赖
例:2NF关系模式S-L(Sno, Sdept, Sloc)中
函数依赖:
Sno→Sdept
Sdept → Sno
Sdept→Sloc
可得:
,即S-L中存在非主属性对码的传递函数依赖,S-L
3NF
6.2.6 BCNF:在第三范式的基础上,不存在主属性对码的部分函数依赖和传递函数依赖,即每一个决定属性集都包含候选码
[例6.8] 关系模式STJ(S,T,J)中,S表示学生,T表示教师,J表示课程。每一教师只教一门课。每门课有若干教师,某一学生选定某门课,就对应一个固定的教师。
- 由语义可得到函数依赖:(S,J)→T;(S,T)→J;T→J
- 因为没有任何非主属性对码传递依赖或部分依赖, STJ ∈ 3NF。
- 因为T是决定因素,而T不包含码,所以STJ
BCNF。
6.2.7 多值依赖
定义: 设R(U)是属性集U上的一个关系模式。X,Y,Z是U的子集,并且Z=U-X-Y。关系模式R(U)中多值依赖X→→Y成立,当且仅当对R(U)的任一关系r,给定的一对(x,z)值,有一组Y的值,这组值仅仅决定于x值而与z值无关。
例: Teaching(C, T, B)
对于C的每一个值,T有一组值与之对应,而不论B取何值。因此T多值依赖于C,即C→→T。
(一)平凡多值依赖和非平凡的多值依赖
若X→→Y,而Z=Ф,即Z为空,则称X→→Y为平凡的多值依赖。否则称X→→Y为非平凡的多值依赖(即Z不为空集)。
(二)多值依赖的性质
(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→→YZ。
(5)若X→→Y,X→→Z,则X→→Y∩Z。
(6)若X→→Y,X→→Z,则X→→Y-Z,X→→Z -Y。
(三)多值依赖与函数依赖的区别
(1)多值依赖的有效性与属性集的范围有关
若X→→Y在U上成立,则在W上一定成立;反之则不然,即X→→Y在W上成立,在U上并不一定成立。
(2)若函数依赖X→Y在R (U)上成立,则对于任何Y‘均有X→Y’ 成立。多值依赖X→→Y若在R(U)上成立,不能断言对于任何Y’
有X→→Y’ 成立。
6.2.8 4NF
定义: 关系模式R<U,F>∈1NF,如果对于R的每个非平凡多值依赖X→→Y(Y ⊈ X),X都含有码,则R<U,F>∈4NF。
v不允许有非平凡且非函数依赖的多值依赖。
v允许的非平凡多值依赖实际上是函数依赖。
6.2.9 规范化小结
注意:不能说规范化程度越高的关系模式就越好。
6.3 数据依赖的公理系统
(1)定义6.11 对于满足一组函数依赖F的关系模式 R <U,F>,其任何一个关系r,若函数依赖X→Y都成立(即r中任意两元组t、s,若t[X]=s[X],则 t[Y]=s[Y]),则称F逻辑蕴涵X →Y。
(2)Armstrong公理系统
设U为属性集总体,F是U上的一组函数依赖, 于是有关系模式R <U,F >。对R <U,F> 来说有以下的推理规则:
A1 自反律(reflexivity rule):若Y X
U,则X →Y 为F所蕴涵。
A2 增广律(augmentation rule):若X→Y为F所蕴涵,且Z U,则XZ→YZ 为F所蕴涵。
A3 传递律(transitivity rule):若X→Y及Y→Z为F所蕴涵,则X→Z 为F所蕴涵。
注意:由自反律所得到的函数依赖均是平凡的函数依赖, 自反律的使用并不依赖于F。
※根据A1,A2,A3这三条推理规则可以得到下面三条推理规则:
n 合并规则(union rule):由X→Y,X→Z,有X→YZ。
n 伪传递规则(pseudo transitivity rule): 由X→Y,WY→Z,有XW→Z。
n 分解规则(decomposition rule): 由X→Y及ZY,有X→Z。
※根据合并规则和分解规则,可得引理6.1
引理6.1 X→A1 A2…Ak成立的充分必要条件是X→Ai成立(i=1,2,…,k)。
(3)定义6.12 在关系模式R<U,F>中为F所逻辑蕴涵的函数依赖的全体叫作F的闭包,记为。
(4)定义6.13 设F为属性集U上的一组函数依赖,X、YU,
={ A|X→A能由F根据Armstrong公理导出},
称为属性集X关于函数依赖集F的闭包。
- 引理6.2 设F为属性集U上的一组函数依赖,X、Y
U,X→Y能由F根据Armstrong公理导出的充分必要条件是Y
。
- 引理6.2的用途:判定X→Y是否能由F根据Armstrong公理导出的问题,就转化为求出
,判定Y是否为
的子集的问题。
求闭包:
(5)定义6.14 如果,就说函数依赖集F覆盖G(F是G的覆盖,或G是F的覆盖),或F与G等价。
注意:两个函数依赖集等价是指它们的闭包等价
- 引理6.3
的充分必要条件是
- 要判定
,只须逐一对F中的函数依赖X→Y,考察 Y 是否属于
就行了。
- 因此引理6.3 给出了判断两个函数依赖集等价的可行算法。
(6)定义6.15 如果函数依赖集F满足下列条件,则称F为一个极小函数依赖集,亦称为最小依赖集或最小覆盖。
(1)单属性化: F中任一函数依赖的右部仅含有一个属性。
(2)无冗余化: F中不存在这样的函数依赖X→A, 使得F与F-{X→A}等价。即F中的函数依赖均不能由F中其他函数依赖导出
(3)既约化: F中不存在这样的函数依赖X→A, X有真子集Z使得F-{X→A}∪{Z→A}与F等价。即F中各函数依赖左部均为最小属性集(不存在冗余属性)
- 无冗余化实例:
注意:F的最小依赖集Fm不一定是唯一的,它与对各函数依赖FDi 及X→A中X各属性的处置顺序有关。
- 既约化实例:
6.4 模式的分解
(1)三种模式分解等价的定义:
⒈ 分解具有无损连接性
⒉ 分解要保持函数依赖
⒊ 分解既要保持函数依赖,又要具有无损连接性
(2)关系模式R<U,F>的一个分解 ρ={ R1<U1,F1>,R2<U2,F2>, …,Rn<Un,Fn>},若R与R1、R2、…、Rn自然连接的结果相等,则称关系模式R的这个分解ρ具有无损连接性(Lossless join)
(3)
v如果一个分解具有无损连接性,则它能够保证不丢失信息
v如果一个分解保持了函数依赖,则它可以减轻或解决各种异常情况
v分解具有无损连接性和分解保持函数依赖是两个互相独立的标准。具有无损连接性的分解不一定能够保持函数依赖;同样,保持函数依赖的分解也不一定具有无损连接性。
(4)分解算法
v算法6.2 判别一个分解的无损连接性
v算法6.3(合成法)转换为3NF的保持函数依赖的分解。
v算法6.4 转换为3NF既有无损连接性又保持函数依赖的分解
v算法6.5 (分解法)转换为BCNF的无损连接分解
v算法6.6 达到4NF的具有无损连接性的分解
6.5 小结
- 若要求分解具有无损连接性,那么模式分解一定能够达到4NF。
- 若要求分解保持函数依赖,那么模式分解一定能够达到3NF,但不一定能够达到BCNF。
- 若要求分解既具有无损连接性,又保持函数依赖,则模式分解一定能够达到3NF,但不一定能够达到BCNF。