数据库系统概论之规范化

数据库系统概论之规范化

1.问题的提出

\quad 一个关系模式系模式由五部分组成，是一个五元组：
$$R(U,D,DOM,F)$$
关系名$R$是符号化的元组语义，
$U$为一组属性，
$D$为属性组$U$中的属性所来自的域，
$DOM$为属性到域的映射，
$F$为属性组$U$上的一组数据依赖。
由于$D$、$DOM$与模式设计关系不大，因此在本章中把关系模式看作一个三元组：$R<U,F>$

\quad 未经过规范化的关系模式，可能会造成的问题：
（1）数据冗余，浪费大量的存储空间。
（2）更新异常，数据冗余 ，更新数据时，维护数据完整性代价大。
（3）插入异常。
（4）删除异常。

2.相关定义

（1）数据依赖
\quad 分为函数依赖和多值依赖（这里仅考虑函数依赖）①是一个关系内部属性与属性之间的一种约束关系，通过属性间值的相等与否体现出来的数据间相互联系。②是现实世界属性间相互联系的抽象。③是数据内在的性质。④是语义的体现。

（2）函数依赖
\quad 设$R(U)$是一个属性集$U$上的关系模式，$X$和$Y$是$U$的子集。
若对于$R(U)$的任意一个可能的关系$r$，$r$ 中不可能存在两个元组在$X$上的属性值相等， 而在$Y$上的属性值不等，
则称“$X$函数确定$Y$”或“$Y$函数依赖于$X$”，记作
$$X\to Y$$

• $X\to Y$，但$Y⊈X$则称$X\to Y$是非平凡的函数依赖。
• $X\to Y$，但$Y\subseteq X$ 则称$X\to Y$是平凡的函数依赖。

\quad 注：对于任一关系模式，平凡函数依赖都是必然成立的，它不反映新的语义。若不特别声明， 我们总是讨论非平凡函数依赖。

• 若$X\to Y$，则$X$称为这个函数依赖的决定因素。
• 若$X\to Y$，$Y\to X$，则记作$X\leftarrow \to Y$。
• 若$Y$不函数依赖于$X$，则记作$X\nrightarrow Y$。

(3)完全函数依赖
\quad 在$R(U)$中，如果$X\to Y$，并且对于$X$的任何一个真子集$X^{\prime }$, 都有 $X^{\prime }\nrightarrow Y$, 则称$Y$对$X$完全函数依赖，记作
$$X\stackrel{F}{⟶}Y$$

(4)部分函数依赖
\quad 若$X\to Y$，但$Y$不完全函数依赖于$X$，则称$Y$对$X$部分函数依赖，记作
$$X\stackrel{P}{⟶}Y$$

(5)候选码
\quad 设$K$为$R<U,F>$中的属性或属性组合。若$K\stackrel{F}{⟶}U$，则$K$称为$R$的一个候选码。

• 如果$U$部分函数依赖于$K$，即$K\stackrel{P}{⟶}U$,则$K$称为超码。候选码是最小的超码，即$K$的任意一个真子集都不是候选码。
• 若关系模式R有多个候选码，则选定其中的一个做为主码。
• 包含在任何一个候选码中的属性 ，称为主属性。
• 不包含在任何码中的属性称为非主属性。
• 整个属性组是码，称为全码。

（6）外码
\quad 关系模式 $R$中属性或属性组$X$并非$R$的码，但$X$是另一个关系模式的码，则称$X$是$R$的外码。

3.规范化理论

(1)$1NF$
\quad 数据属性不可再分，不存在表中有表，就是$1NF$。

(2)$2NF$
\quad 若关系模式$R\in 1NF$，并且每一个非主属性都完全函数依赖于任何一个候选码，则$R\in 2NF$。（不存在非主属性对码的部分函数依赖）

(3)$3NF$
\quad 若关系模式$R\in 2NF$，不存在非主属性对码的传递函数依赖，则$R\in 3NF$。

(4)$BCNF$
\quad 设关系模式$R<U,F>\in 1NF$，若$X\to Y$且$Y\subseteq X$时$X$必含有码，则$R<U,F>\in BCNF$。
\quad 注：如果一个关系数据库中的所有关系模式都属于BCNF，那么在函数依赖范畴内，它已实现了模式的彻底分解，达到了最高的规范化程度，消除了插入异常和删除异常。

4.关系模式规范化的基本步骤

\quad 画出依赖关系表示图，先找出主码，然后逐步消除，确定该关系模式属于哪一级别的范式。

5.数据依赖的公理系统

(1)逻辑蕴涵
\quad 对于满足一组函数依赖$F$的关系模式 $R<U,F>$，其任何一个关系$r$，若函数依赖$X\to Y$都成立（即$r$中任意两元组$t$、$s$，若$t[X]=s[X]$，则 $t[Y]=s[Y]$），则称$F$逻辑蕴涵$X\to Y$。

(2)Armstrong公理系统

• 自反律：若$Y\subseteq X\subseteq U$，则$X\to Y$ 为$F$所蕴涵。
• 增广律：若$X\to Y$为$F$所蕴涵，且$X\subseteq Z$，则$XZ\to YZ$ 为$F$所蕴涵。
• 传递律：若$X\to Y$及$Y\to Z$为$F$所蕴涵，则$X\to Z$ 为$F$所蕴涵。

(3)三条推理规则

• 合并规则：由$X\to Y$，$X\to Z$，有$X\to YZ$。
• 伪传递规则：由$X\to Y$，$WY\to Z$，有$XW\to Z$。
• 分解规则：由$X\to Y$及$Z\subseteq Y$，有$X\to Z$。

引理：$X\to A_1{A}_2\dots A_k$成立的充分必要条件是$X\to A_i$成立$（i=1，2，\dots ，k）$

6.几个例题

（1） R ( A , B , C , D ) , F = { A B → C , B → D } R(A,B,C,D),F=\{AB→C,B→D\} R(A,B,C,D),F={AB→C,B→D}
（2） R ( A , B , C , D , E ) , F = { A B → C E , E → A B , C → D } R(A,B,C,D,E),F=\{AB→CE,E→AB,C→D\} R(A,B,C,D,E),F={AB→CE,E→AB,C→D}
（3） R ( A , B , C , D ) , F = { A B → C , D → B , B → D } R(A,B,C,D),F=\{AB→C,D→B,B→D\} R(A,B,C,D),F={AB→C,D→B,B→D}
（4） R ( A , B , C ) , F = { A → B , A → C , B → A } R(A,B,C),F=\{A→B,A→C,B→A\} R(A,B,C),F={A→B,A→C,B→A}
（5） R ( A , B , C ) , F = { A → B , C → A , B → A } R(A,B,C),F=\{A→B,C→A,B→A\} R(A,B,C),F={A→B,C→A,B→A}
（6） R ( A , B , C , D ) , F = { A → C , D → B } R(A,B,C,D),F=\{A→C,D→B\} R(A,B,C,D),F={A→C,D→B}
（7） R ( A , B , C , D ) , F = { A → C , C D → B } R(A,B,C,D),F=\{A→C,CD→B\} R(A,B,C,D),F={A→C,CD→B}

下次出答案与结题过程