6.2 规范化 6.2.1 函数依赖 6.2.2 码：外部码——外码

6.2规范化

关系的规范化理论是为了帮助我们设计一个好的数据库的逻辑模式

6.2.1 函数依赖
6.2.2 码
6.2.3 范式
6.2.4 第二范式（2NF）
6.2.5 第三范式（3NF）
6.2.6 BC范式（BCNF）
*6.2.7 多值依赖
*5.2.8 第四范式（4NF）
6.2.9 规范化小结

6.2.1 函数依赖

1. 函数依赖
2. 平凡函数依赖与非平凡函数依赖
3. 完全函数依赖与部分函数依赖
4. 传递函数依赖

定义6.1
设R(U)是一个属性及U上的关系模式，X和Y是U的子集。若对于R(U)的任意一个可能的关系r，r中不肯呢个存在两个元组在X上的属性值星等，而在Y上的属性值不等责成“X函数确定Y”或“Y函数依赖于X”，基座X -> Y.
X称为这个函数遗爱的决定属性组，也成为决定因素（Determinant）
栗子：Student(Sno, Sname, Ssex, Sage,)
F = {Sno->Sname, Sno->Ssex, Sno->Sage, Sno->Sdept}
Ssex⇏Sage, Ssex⇏Sdept

函数依赖不是指关系模式R的某个或某些关系实例r满足的约束条件，而是指R的所有关系实例r均要满足的约束条件

♥  函数依赖是语义范畴的概念。只能根据数据的语义来确定函数依赖。
    ◾ 如Sname->Sno函数依赖只有在“学生不允许有重名”的条件下成立
♥  数据库设计者可以对现实世界做强制的规定。
    ◾ 例如设计者可以强行规定不允许学生有重名，因而使函数依赖
Sname -> Sno, Sname -> Ssex, Sname -> Sage, Sname -> Sdept成立
♥  函数依赖是指关系模式R在任何时刻的关系实例均要满足的约束条件
    ◾ 不是指某个或某些关系实例r满足的约束条件，而是指R的所有关系实例r均要满足的约束条件。

• 平凡函数依赖与非平凡函数依赖
  ♥  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
  对于任一关系模式，平凡函数依赖都是必然成立的，它不反映新的语义，因此若不特别声明，我们总是讨论非平凡函数依赖

• 完全函数依赖与部分函数依赖
  定义6.2
  在关系模式R(U)中，如果X->Y，并且对于X的任何一个真子集X’，都有X’⇏Y，则称Y完全函数依赖X，记作X -F-> Y。若X->Y，但Y不完全函数依赖X，则称Y部分函数依赖X，记作X -P-> Y。
  [栗子] ：在关系Student（Sno, Sdept, Mname, Cno, Grade）中，
  （Sno, Cno） -F-> Grade是完全函数依赖
  （Sno, Cno） -P-> Sdept是部分函数依赖，因为Sno -> Sdept。

• 传递函数依赖
  定义6.3
  在R(U)中，如果X->Y，（Y⊈X），Y->X，Y->Z，则称Z对X传递函数依赖（transitive functional dependency）。记为：X -传递-> Z。
  注意：如果Y->X，即 X <–> Y，则Z直接依赖于X。
  [栗子] ：在关系Student（Sno, Sdept, Mname, Cno, Grade）中，
  Sno -> Sdept，Sdept -> Mname，Sno -传递-> Mname

6.2.1 函数依赖
6.2.2 码
6.2.3 范式
6.2.4 第二范式（2NF）
6.2.5 第三范式（3NF）
6.2.6 BC范式（BCNF）
*6.2.7 多值依赖
*5.2.8 第四范式（4NF）
6.2.9 规范化小结

♥  定义6.4 设K为关系模式R<U, F>中的属性或属性组合。若K -F-> U，则K称为R的一个候选码（Candidate Key）
    ◾ 若果U部分函数依赖K，即K -P-> U，则称K为超码（Surpkey）
    ◾ 候选码是最小的超码，即K的任意一个真子集都不是候选码
[栗子] ：S（Sno , Sdept, Sage）
Sno -> (Sno, Sdept, Sage)，Sno是码
(Sno, Sdept)、(Sno, Sage)、(Sno, Sdept, Sage)是超码
SC（Sno, Cno, Grade）中，（Sno, Cno）是码
♥  若关系模式R有多个候选码，则选定其中的一个作为主码（Primary key）
[栗子] ：S（Sno, Sname , Sdept, Sage），假设学生无重名
Sno、Sname是候选码，选择Sno为主码。
♥  主属性与非主属性
    ◾ 包含在任何一个候选码中的属性，称为主属性（Prime attribute）
    ◾ 不包含在任何码中的属性非主属性（Nonprime attribute）或非码属性
[栗子] ：S（Sno , Sdept, Sage），Sno是码，Sno是主属性，Sdept是非主属性。
SC(Sno, Cno, Grade)中，(Sno, Cno)是码，Sno, Cno是主属性，Grade是非主属性
♥  全码：整个属性组都是码，称为全码（All_key）

定义6.5
关系模式R<U,F>，U中属性或属性组X并非R的码，但X是另一个关系模式的码，则称X是R的外部码（Foreign key）也称外码

[栗子] ：SC(Sno, Cno, Grade)中，Sno不是码，但Sno是关系模式S（Sno , Sdept, Sage）的码，则Sno时关系模式SC的外部码

♥  主码与外码一起提供了表示关系间联系的手段