怎样判断一个函数依赖集属于第几范式

判断一个函数依赖集属于第几范式——
首先，要懂得以下几条概念：
1.完全函数依赖： 如果X→Y，且对于任意一个X的子集X’，都有X’↛ Y，则称Y完全函数依赖于X
2.部分函数依赖：Y不完全函数依赖于X
总之，如果一个属性Y既依赖于X，也依赖于X的某个子集，则说明Y部分依赖于X
3.传递函数依赖：如果X→Y，Y→Z，且Y∉X，Y↛ X，则称Z传递函数依赖于X
4.直接函数依赖：如果X→Y，Y→Z，且Y→X，即X←→Y，则称Z直接函数依赖于X

范式分别会有的特征
1级范式：所以属性都是不可分的基本数据项
2级范式：所有非主属性都完全函数依赖于码（没有部分函数依赖）
3级范式：所有非主属性都完全函数依赖于码，且不存在对码的传递函数依赖（没有部分函数依赖和传递函数依赖）
BC范式：所有属性（非主、主）都完全函数依赖于码，不存在对码的部分函数依赖和传递函数依赖，每一个决定属性集都包含码
注：这里说的码都是候选码

                   1NF
            	    ↓  消除非主属性对码的部分函数依赖
                   2NF
                    ↓  消除非主属性对码的传递函数依赖
                   3NF
            	    ↓  消除主属性对码的部分和传递函数依赖
           	       BCNF 
            	    ↓  消除非平凡且非函数依赖的多值依赖
           	       4NF
                    ↓  消除不是由候选码所蕴含的连接依赖 
           	       5NF

1NF→5NF：消除决定属性集非码的非平凡函数依赖