第一范式(1NF)
在关系模式R中,当且仅所有域只包含原子值,即每个分量都是不可再分的数据项,则称R是第一范式
如下表所示 删除高级职称即满足第一范式
| 系名称 | ||
| 教授 | 副教授 | |
| 计算机系 | 6 | 10 |
| 电子信息系 | 3 | 5 |
第二范式(2NF)
当且仅当R是(1NF),且每一个非全属性完全依赖主键(不存在部分依赖)时,则称R是第二范式
如下成绩表所示
| 学号 | 课程号 | 成绩 | 学分 |
| SO1 | CO1 | 75 | 4 |
| SO2 | CO1 | 92 | 4 |
| SO3 | CO1 | 87 | 4 |
| SO4 | CO1 | 85 | 4 |
| SO1 | CO2 | 55 | 2 |
| SO2 | CO2 | 97 | 2 |
| SO1 | CO3 | 94 | 5 |
第三范式(3NF)
当且仅当R是(1NF),且E中没有非主属性传递依赖与码时,则称R是第三范式
如下成绩表所示
拆分表:解决数据冗余、更新异常、插入异常、删除异常即3NF
该表学号不能确定学分
(学号、课程号、成绩)
(课程号、学分)
| 学号 | 课程号 | 成绩 | 学分 |
| SO1 | CO1 | 75 | 4 |
| SO2 | CO1 | 92 | 4 |
| SO3 | CO1 | 87 | 4 |
| SO4 | CO1 | 85 | 4 |
| SO1 | CO2 | 55 | 2 |
| SO2 | CO2 | 97 | 2 |
| SO1 | CO3 | 94 | 5 |


