数据库关系模式设计的规范化
名词解析：
1，完全依赖：不存在非主码决定其他码。（用F表示）
2，部分依赖：非完全依赖就是部分依赖。（用P表示）
3，传递依赖：存在码间的关系 X->Y->Z(Y-/->X)。
若有如下关系
R<U> ->? 教学{学号，姓名，性别，系名，系主任，课程名，成绩}
?
第一范式：关系中的任何属性必需不可再分。
教学关系模式符合第一范式。
?
第二范式：关系模式中不存在部分依赖。
(学号,课程名)-P>姓名，
(学号,课程名)-P>性别，
(学号,课程名)-P>系名，
(学号,课程名)-P>系名，
(学号,课程名)-P>系主任，
(学号,课程名)-F>成绩
所以根据第二范式规范化后的模式为
学生_系{学号，姓名，性别，系名，系主任}
学生_课程{学号，课程名，成绩}
?
第三范式：关系模式中不存在传递依赖
学生_系? 关系模式中有? 学号->系名，系名->系主任，系名-/->学号，
所以存在传递依赖
根据第三范式规范化后的关系为
学生{学号，姓名，性别，系名}
系{系名，系主任}
学生_课程{学号，课程名，成绩}
