4．1．3　规范化教学管理数据库的关系模型

关系数据库的规范化主要是分析关系模式中是否存在不应有的函数依赖关系，从而导致该关系的操作异常。一般而言，在关系数据库开发设计中，所有关系模式至少要达到第三范式（3NF）。下面根据规范化理论对前一步转换得到的关系模式进行分析和规范化处理。

根据任务背景描述中关于本系统说明的语义，关系Student（Sno，Sn，Sex，BirthDay，Dept，Class）中的主键只有一个属性Sno，所有非主属性Sn，Sex，BirthDay，Dept之间也不存在依赖关系，即关系中不存在传递函数依赖，所以该关系是第三范式（3NF）。

对关系Teacher，Course，Department，Dormitory的分析结果表明，它们也都是3NF。

学生选课关系SC（Sno，Cno，score）中的主键是Sno和Cno这两个属性的组合，非主属性Score既函数依赖于Sno，同时也函数依赖于Cno，可见它是完全函数依赖于主键Sno＋Cno的；此外关系中只有一个非主属性，也就不会存在传递函数依赖。因此，关系SC是3NF。

同样地分析教师任课关系TC，可得出TC也是3NF的结论。

综上可知，该关系模式全部都是3NF。