大学计算的机系数据库课件--第6讲关系数据理论.ppt

规范化（续） 第四范式4NF 定义：关系模式RU，F∈1NF，如果对于R的每个非平凡多值依赖X→→Y（Y ? X），X都含有码，则R∈4NF。 如果R ∈ 4NF， 则R ∈ BCNF 不允许有非平凡且非函数依赖的多值依赖 允许的非平凡多值依赖必须存在对应的函数依赖 规范化（续） 上例： Teaching(C,T,B) ∈ 4NF 因为：存在非平凡的多值依赖C→→T，且C不是码。 用投影分解法把Teaching分解为如下两个关系模式： CT(C, T) ∈ 4NF CB(C, B) ∈ 4NF C→→T， C→→B是平凡多值依赖。 规范化（续） 总结：关系模式规范化的基本步骤 1NF ↓ 消除非主属性对码的部分函数依赖 消除决定属性 2NF 集非码的非平 ↓ 消除非主属性对码的传递函数依赖 凡函数依赖 3NF ↓ 消除主属性对码的部分和传递函数依赖