规范化

通常按属性间依赖情况来区分关系规范化程度为1NF、2NF、3NF和4NF等。

1 函数依赖

1.1 函数依赖的定义

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

1.2 确定函数依赖

根据现实世界的语义来确定函数依赖。

1.3 函数依赖的其他术语

• $X\to Y,$但是$Y\notin X,$则称$X\to Y$是非平凡的函数依赖。
  示例：在关系SC（Sno,Cno,Grage）中，（Sno,Cno）->Grage
• $X\to Y,$但是$Y\in X,$则称$X\to Y$是平凡的函数依赖。
  示例：在关系SC（Sno,Cno,Grage）中，（Sno,Cno）->Sno
• $X\to Y,$$Y\to X,$则记作$X\leftrightarrow Y$
• 在$R(U)$中，如果$X\to Y,$并且对于$X$的任何一个真子集$X^{\prime }$，都有$X^{\prime }\nrightarrow Y$，则称$Y$对$X$完全函数依赖，记作$X\stackrel{F}{\to }Y$，若$Y$不完全依赖于$X$，则称$Y$对$X$部分函数依赖。
  示例：在关系SC（Sno,Cno,Grage）中，（Sno,Cno)$\stackrel{F}{\to }$Grage是完全函数依赖。
• 在$R(U)$中，如果$X\to Y(Y\notin X),Y\nrightarrow X,Y\to Z,Z\notin Y$,则称$Z$对$X$传递函数依赖。
  示例：$Sno\to Sdept,Sdept\to Mname$成立，所以$Sno\stackrel{传递}{\to }Mname$

2 第一范式（1NF）

定义：每个分量必须是不可分的数据项。

注：关系模式至少要满足1NF。

3 第二范式（2NF）

定义：若$R\in 1NF$，且每个非主属性完全函数依赖于任何一个候选码，则$R\in 2NF$。

注：如果不满足第二范式可能会引发插入、删除、修改等异常。

4 第三范式（3NF）

定义：设关系模式$R<U,F>\in 1NF$,若$R$中不存在这样的码$X$，属性组$Y$及非主属性$Z(Z不包含于Y)$使得$X\to Y,Y\to Z$成立，$Y\nrightarrow X$,则称$R<U,F>\in 3NF$。

注：3NF即为不能存在传递函数依赖。

5 BCNF

定义：关系模式$R<U,F>\in 1NF$,若$X\to Y(Y不包含于X)$时$X$必含有码，则称$R<U,F>\in BCNF$。

注：
所有非主属性对每个码都是完全函数依赖。
所有主属性对每个不包含他的码也是完全函数依赖。
没有任何属性完全依赖于非码的任何一组属性。