1范式:每个关系模式都满足1范式
2范式:1范式前提下,消除部分函数依赖,有AB->C和B->C就只保留B->C。单属性码一定是完全函数依赖
3范式:2前提向下,消除非主属性对码的函数传递依赖
BCNF:
模式分解示例:
关系的规范化就是
关系分解是通过投影实现的
1范式:每个关系模式都满足1范式
2范式:1范式前提下,消除部分函数依赖,有AB->C和B->C就只保留B->C。单属性码一定是完全函数依赖
3范式:2前提向下,消除非主属性对码的函数传递依赖
BCNF:
模式分解示例:
关系的规范化就是
关系分解是通过投影实现的