【数据库】关系数据理论

学习数据库系统概念（第六版）笔记，第八章关系数据库设计与ER模型

函数依赖

• 由某些属性推出其他一些属性
• 一个模式中所有实例都满足的函数依赖，称该函数依赖在某模式上成立
• 超码$K$ ：$K\rightarrow R$ 在$r(R)$ 上成立
• 平凡的：整体确定部分，如某集合一定能推出它的子集
• 闭包$F^+$：从函数依赖集$F$ 中能推导出的所有函数依赖的集合

范式

1NF

• 属性都是原子的

2NF

• 1NF且每一个非主属性完全函数依赖于任何一个候选码

• 主属性：所有候选码的属性称为主属性，不包含在任何候选码中的属性称为非主属性或非码属性

• 完全函数依赖：$X\rightarrow Y$ ，不存在$X$ 的真子集$X'$ 使得$X'\rightarrow Y$ ，称$Y$ 完全函数依赖于$X$ ，否则是不完全函数依赖

• 即，查看每一个非主属性是否存在不完全函数依赖主码

3NF

• 2NF且非主属性不传递依赖于码

BCNF

• 所有非主属性对每一个码都是完全函数依赖。

• 所有的主属性对每一个不包含它的码,也是完全函数依赖。

• 没有任何属性完全函数依赖于非码的任何一组属性