数据库系统概论 高等教育出版社chp6.ppt

R1已是BCNF。 R2不属于BCNF， 因为存在C→T， R2的候选键是HS， C不是R2的候选键。 利用算法，将R2分解为 R21(U21) (其中U21={C, T}, F21={C→T})和R22(U22) (其中U22={C, H, R, S}, F22={ HR→C, HS→R, HC→R}) , 此时ρ={R1, R21, R22}。 R21已是BCNF。 R22不属于BCNF， 因为存在HR→C， R22的候选键是 HS， HR不是R22的候选键。 利用算法将R22分解为 R221(U3) (其中U3={H, R, C}, F3={ HR→C, HC→R}) R222(U4) (其中U4={H, R, S}， F4={HS→R})。 此时ρ={R1, R21, R221, R222}。 ρ中每一个关系模式均为BCNF， 分解结束。 6.5 小结 关系模式的规范化，其基本思想： 小结(续) 规范化理论为数据库设计提供了理论的指南和工具 也仅仅是指南和工具 并不是规范化程度越高，模式就越好 必须结合应用环境和现实世界的具体情况合理地选择数据库模式 下课了。。。 休息一会儿。。。 * * * 无损连接分解的特性说明： 关系模式分解后所表示的信息应与原模式等价， 即分解后的多个关系再连接得到的新关系不能“丢失”信息。 实际上， 连接后的关系不会少了任何元组， 而是可能多出一些元组，与原来的关系不等价， 所以是有损的。 r和mρ(r)的关系: 引理6.4 设关系模式R(U)及R上的关系r, ρ={R1, R2,…, Rn}是R的一个分解， 则有： (1) r mρ(r) (2) (3) mρ(mρ(r))= mρ(r) ? 分析： 将SL分解为下面二个关系模式： ND(Sno, Sdept) NL(Sno, Sloc) 具有无损连接性 问题:这种分解方法没有保持原关系中的函数依赖 SL中的函数依赖Sdept→Sloc没有投影到关系模式ND、NL上 2. 判定一个分解的无损连接性算法 算法6.2 判定一个分解的无损连接性算法。 输入： 关系模式R(A1, A2, …, An)， R上的分解ρ={R1, R2, …,Rn}， R上的函数依赖集为F。 输出： 分解ρ是否具有无损连接性。 方法： (1) 构造一个k行n列的初始表， 第i 行对应于关系模式Ri， 第j列对应于属性Aj。如果Aj∈Ri， 则在第i行第j列上填符号ai； 否则填符号bij。 ? (2) 逐个检查F中的每一个函数依赖， 并修改表中的元素。 具体办法如下： 从函数依赖集F中取一个函数依赖X→Y， 在X的分量中寻找相同的行， 然后将这些行中Y的分量改为相同的符号。 如果其中有aj, 则将bij改为aj; 否则， 改为bij(指用其中的一个bij 替换另一个， 通常是把下标改为较小的那个数)。 (3) 这样反复进行， 如果发现某一行变成了a1, a2, …, an， 即存在某一行全为a 类符号， 则分解ρ具有无损连接性； 如果 F中所有函数依赖都不能再修改表中的内容， 且没有发现这样的行， 则分解ρ不具有无损连接性。 【例】 已知关系模式R(U)， U={A, B, C, D, E}， R上的函数依赖集F={A→C, B→C, C→D, DE→C, CE→A}， 分解ρ={R1({A, D}), R2({A, B}), R3({B, E}), R4({C, D, E}), R5({A, E}), 判定ρ是否具有无损连接性。 解： (1) 首先构造初始表（见表）。 表 (2) 检查A→C， 修改结果如表。 (3) 检查B→C， 修改结果如表。 (4) 检查C→D， 修改结果如表。 (5) 检查DE→C，修改结果如表。 (6) 检查CE→A，修改结果如表。 定理6.4 算法6.2能正确判断分解ρ是否是无损连接分解。 定理6.5 设关系模式R的一个分解ρ={R1, R2}, U1、U2和U分别是R1、 R2和R的属性集合， F是R上的函数依赖集