3.4规范化理论

键

候选键

主键

外键

求候选键

主属性与非主属性

范式

1NF：属性值都是不可分的原子值

2NF：消除非主属性对候选键的部分依赖

3NF：消除非主属性对候选键的传递依赖

BCNF：消除主属性对候选键的部分和传递依赖

模式分解

表格法

公式法$R1\cap R2 \rightarrow (R1 -R2)$或$R1\cap R2 \rightarrow (R2-R1)$