数据库第六章

1NF：每一个分量必须是不可分的数据项。

关系模式可能存在的问题：

1. 数据冗余：系主任的名字重复出现
2. 更新异常：更换系主任必须要修改每一个相关元组
3. 插入异常：一个系刚成立，没有学生，Sno和Cno不确定，不能将该系存入数据库
4. 删除异常：某个系学生毕业，删除后系主任也删除了。

规范化

函数依赖：

定义：x->y，表示x能确定y

•  若X→Y，则X称为这个函数依赖的决定属性组，也称为决定因素（Determinant）。
• 若X→Y，Y→X，则记作X←→Y。
• 若Y不函数依赖于X，则记作X→Y。

注：完全函数依赖表示Y对X中的属性缺一不可。

码

候选码，主码，主属性和非主属性，全码，外部码。

范式

第一范式在上面讲过每一个分量必须是不可分的数据项。

第二范式每一个非主属性完全函数依赖与任何一个候选码。

第三范式每一个非主属性既不部分依赖于码也不传递依赖于码。