第三范式的书写方法:关系模式R中若不存在这样的码X、属性组Y及非主属性Z(Z(强制依赖)Y),使得X→Y,Y→Z,成立,Y→X不成立,则称R∈3NF。
第三范式(ThirdNormalForm,3rdNF)就是指表中的所有数据元素不但要能唯一地被主关键字所标识,而且它们之间还必须相互独立,不存在其他的函数关系。也就是说,对于一个满足2ndNF的数据结构来说,表中有可能存在某些数据元素依赖于其他非关键字数据元素的现象,必须消除。
通俗的说,第三范式(3NF)3NF在2NF的基础之上,消除了非主属性对于码的传递函数依赖。也就是说,如果存在非主属性对于码的传递函数依赖,则不符合3NF的要求。