数据库原理第六章 关系数据理论.ppt

多值依赖与函数依赖的区别 只要在R（U）的任何一个关系r中，元组在X和Y上的值满足定义6.l（函数依赖）， 则函数依赖X→Y在任何属性集W（X Y ? W ?U）上成立。 多值依赖（续） (2) 若函数依赖X→Y在R（U）上成立，则对于任何Y ? Y均有X→Y 成立 多值依赖X→→Y若在R(U)上成立，不能断言对于任何Y ? Y有X→→Y 成立 6.2.8 第四范式（4NF） 定义6.10 关系模式RU，F∈1NF，如果对于R的每个非平凡多值依赖X→→Y（Y ? X），X都含有候选码，则R∈4NF。 如果R ∈ 4NF， 则R ∈ BCNF 不允许有非平凡且非函数依赖的多值依赖 允许的是函数依赖（是非平凡多值依赖） 第四范式（续） 例： Teach(C,T,B) ∈ 4NF 存在非平凡的多值依赖C→→T，且C不是候选码 用投影分解法把Teach分解为如下两个关系模式： CT(C, T) ∈ 4NF CB(C, B) ∈ 4NF C→→T， C→→B是平凡多值依赖 例:WSC(W,S,C) 6.2.9 规范化 关系数据库的规范化理论是数据库逻辑设计的工具。 一个关系只要其分量都是不可分的数据项，它就是规范化的关系，但这只是最基本的规范化。 规范化程度可以有多个