函数依赖
关系模式规范化
第一范式（1NF）无重复的列
第二范式（2NF）非主属性完全依赖于主键 [ 消除部分子函数依赖 ]
eg：如果主键是(A,B)，但关系中存在A->C，即存在部分依赖，不是2NF
若关系R的侯选码是单属性的，则R必定是2NF。
第三范式（3NF）属性不依赖于其它非主属性 [ 消除传递依赖 ]：
不存在如下依赖关系：关键字段 → 非关键字段x → 非关键字段y
若关系R的所有属性都是主属性，则R至少是3NF。
BCNF：若函数依赖集合F中的所有函数依赖X→Y（Y⊈X）的左部都包含R的任一侯选码，则R∈BCNF。
函数依赖集的和属性集的闭包
求候选码
最小等价依赖集
求Fm
模式的分解
3NF
BCNG