DBMS Chapter19

基于完整性约束的模式求精与范式
高级约束:函数依赖
方法:模式分解(范式(Normal Form))
BCNF:

3NF:放松BCNF一点
模式分解必需无损,最好还要保持依赖
无损分解成BCNF
保持依赖分解成3NF