第三范式定义及其规范化

首先引入传递函数依赖的概念 传递函数依赖： 关系模式R中的函数依赖X->Y是一个传递函数依赖的条件是：属性集Z既不是R的候选吗，也不是R中任何码的子集，并且X->Z和Z->Y都成立。 第三范式定义： 根据Codd的初始定义，如果一个关系模式R满足2NF，且R中不存在非主属性传递依赖于主码，则R属于3NF。 规范化： 分解原来的关系，简历一个包含函数决定其他非码属性的非码属性的关系。 第三范式通用定义： 只要关系模式R中存在一个非平凡函数依赖X->A，或者（a）X是R的超码，或者（b）A是R的主属性，则该关系模式R属于第三范式。 如果关系模式R中的每一个非主属性均满足以下两个条件，则该关系模式R就属于3NF： ·它完全函数依赖于R中的每一个码。 ·它非传递依赖于R中的每一个码。