第三范式的书写方法

第三范式的书写方法：关系模式R中若不存在这样的码X、属性组Y及非主属性Z（Z（强制依赖）Y），使得X→Y，Y→Z，成立，Y→X不成立，则称R∈3NF。

第三范式（ThirdNormalForm，3rdNF）就是指表中的所有数据元素不但要能唯一地被主关键字所标识，而且它们之间还必须相互独立，不存在其他的函数关系。也就是说，对于一个满足2ndNF的数据结构来说，表中有可能存在某些数据元素依赖于其他非关键字数据元素的现象，必须消除。

通俗的说，第三范式（3NF）3NF在2NF的基础之上，消除了非主属性对于码的传递函数依赖。也就是说，如果存在非主属性对于码的传递函数依赖，则不符合3NF的要求。