数据库理论n.pptVIP

* 北京邮电大学 * 4.4.5 BCNF 2. BCNF范式 定义8: 若R∈1NF,且R中每个决定因素都是候选码,则R ∈BCNF. 满足BCNF的关系将消除任何属性对候选码的部分依赖与传递依赖 * 北京邮电大学 * 4.4.5 BCNF 举例: SCG(S#,SN,CN,G)属于3NF,继续把它分解为: SS=SCG[S#,SN] SG=SCG[S#,CN,G] 可用SS,SG代替原模式SCG 规范化后,SS,SG都属于BCNF,并且大大减少了冗余 * 北京邮电大学 * 4.4.6 多值依赖 [例] 学校中某一门课程由多个教师讲授，他们使用相同的一套参考书。每个教员可以讲授多门课程，每种参考书可以供多门课程使用。 * 北京邮电大学 * … … … 课 程 C 教 员 T 参 考 书 B ? ? 物理 数学 ? 计算数学 李 勇 王 军? ? 李 勇 张 平 ? 张 平 周 峰 普通物理学 光学原理 物理习题集 数学分析 微分方程 高等代数 数学分析 ... … ? ? ? 非规范化关系 * 北京邮电大学 * 普通物理学 光学原理 物理习题集 普通物理学 光学原理 物理习题集 数学分析 微分方程 高等代数 数学分析 微分方程 高等代数 … 李 勇 李 勇 李 勇 王 军 王 军 王 军 李 勇 李 勇 李 勇 张 平 张 平 张 平 … 物 理 物 理 物 理 物 理 物 理 物 理 数 学 数 学 数 学 数 学 数 学 数 学 … 参考书B 教员T 课程C 多值依赖（续） 用二维表表示Teaching * 北京邮电大学 * 多值依赖（续） Teaching∈BCNF Teaching具有唯一候选码(C，T，B)， 即全码 * 北京邮电大学 * 多值依赖（续） Teaching模式中存在的问题 (1)数据冗余度大 (2)插入操作复杂 (3) 删除操作复杂 (4) 修改操作复杂 存在 多值依赖 * 北京邮电大学 * 多值依赖（续） ［例］关系模式WSC（W，S，C） W表示仓库，S表示保管员，C表示商品 假设每个仓库有若干个保管员，有若干种商品 每个保管员保管所在的仓库的所有商品 每种商品被所有保管员保管 * 北京邮电大学 * 多值依赖（续） W S C W1 S1 C1 W1 S1 C2 W1 S1 C3 W1 S2 C1 W1 S2 C2 W1 S2 C3 W2 S3 C4 W2 S3 C5 W2 S4 C4 W2 S4 C5 * 北京邮电大学 * 多值依赖（续） W→→S且W→→C 用下图表示这种对应 * 北京邮电大学 * 多值依赖 例: student(sid,major,activity) 假定学生可以选修几个不同的专业,也可以参加几个不同的活动 sid和major之间的关系,因为学生可以有几个专业,所以不是函数依赖,称作sid多值决定major. 一般,当关系至少有三个属性,其中的两个是多值时,且他们的值只依赖于第三个属性时,才会有多值依赖; 多值依赖会导致更新异常,要删除异常,需消除多值依赖,可以通过建立两个关系,每个关系只存储一个多值属性的数据. 一个关系如果在BCNF中,且没有非平凡多值依赖,则该关系在第四范式中. * 北京邮电大学 * 4NF（续） 例： Teaching(C,T,B) ∈ 4NF 存在非平凡的多值依赖C→→T，且C不是码 用投影分解法把Teaching分解为如下两个关系模式： CT(C, T) ∈ 4NF CB(C, B) ∈ 4NF C→→T， C→→B是平凡多值依赖 * 北京邮电大学 * 4.4.7 规范化小结 关系数据库的规范化理论是数据库逻辑设计的工具 目的：尽量消除插入、删除异常，修改复杂，数据冗余 基本思想：逐步消除数据依赖中不合适的部分 实质：概念的单一化 * 北京邮电大学 * 规范化小结（续） 关系模式规范化的基本步骤 1NF ↓ 消除非主属性对码的部分函数依赖 消除决定属性 2NF 集非码的非平 ↓ 消除非主属性对码的传递函数依赖 凡函数依赖 3NF ↓ 消除主属性对码的部分和传递函数依赖 BCNF ↓ 消除非平凡且非函数依赖的多值依赖