数据库系统概论17模式分解及等价标准.ppt

授课主题 第17讲 计划学时 2 第6章 关系数据理论—关系模式分解的等价标准 教学目的 和要求 1、掌握关系模式分解的两个等价标准的算法 2、理解分解为3NF和BCNF的两个算法 教学重点 和难点 关系模式分解的两个等价标准的算法 教学内容 1、关系模式分解的等价标准 2、无损连接的定义和性质 3、分解具有保持函数依赖 4、模式分解的算法 教学过程 见课件 消除非主属性对码的部分函数依赖 消除非主属性对码的传递函数依赖 消除函数依赖的决定因素是非码 1NF 2NF 3NF BCNF 关系模式的规范化，是通过对关系模式的分解实现的。 分解的实质： “一事一表”，让一个关系只描述一个实体或联系，使关系单一化，以利于处理简单化。 规范化过程就是把一个关系模式分解为若干个关系模式，而且这种分解应该是可逆的。所谓可逆，是要求模式的分解是没有信息丢失，并保证分解后产生的关系模式集合和原来的关系模式等价。 如何对关系模式进行分解才能保证没有信息丢失呢？ 对于同一个关系模式可能有多种分解方案。下面的例子给出三种分解方案，如何判断哪种分解方案更好呢？ 6.4 关系模式的分解 三种分解方案(模式分解不唯一) 例：关系模式S(Sno,sdept,dean) 。 何 D2 s3 何 D2 s2 罗 D1 s1 dean Sdept Sno F={Sno→sdept，sdept→dean} S1是哪个系的学生？ 何是哪个系的系主任呢？ D1的系主任是谁呢？ 做连接 sno sdept dean s1 d1 罗 s1 d1 何 s1 d2 罗 s1 d2 何 ………… 联接后问题没有得到解决，原因是没有保持函数依赖。 第一种分解： Sno S1 S2 S3 Sdept d1 d2 dean 罗 何 ∈3NF sno sdept dean S1 D1 罗 S2 D2 何 S3 D2 何 做自然连接 分解后可以恢复原关系，但数据冗余问题没有得到解决，问题是丢失了函数依赖sdept→dean。 D1的系主任是谁呢？ 何是哪个系的系主任呢？ 关系模式S(Sno,sdept,dean)， F={Sno→sdept，sdept→dean} 第二种分解： Sno sdept S1 d1 S2 d2 S3 d2 Sno dean S1 罗 S2 何 S3 何 ∈3NF sno sdept dean S1 D1 罗 S2 D2 何 S3 D2 何 做自然连接 问题得到了彻底解决，即不丢失信息，也减少了冗余。 关系模式S(Sno,sdept,dean)， F={Sno→sdept，sdept→dean} 第三种分解： Sno sdept S1 d1 S2 d2 S3 d2 Sdept dean d1 罗 d2 何 ∈3NF 6.4.1 模式分解的等价标准 上面例子中，每种分解方案得到的两个关系模式都属于3NF（实际上，也属于BCNF）。如何比较这三种分解方案的优劣呢？将一个关系模式分解为多个关系模式时，除了提高规范化程度外还需要什么别的考虑吗？ 常用的关系模式分解的等价标准有： 分解是具有无损连接性的； 分解是保持函数依赖的； 分解既要具有无损连接又要保持函数依赖两种。 (1)无损连接的定义 指的是对关系模式分解时，原关系模式下任一合法的关系实例在分解之后应能通过自然连接运算恢复起来。 定义：设ρ={R1，R2，……，Rk}是关系模式RU,F的一个分解，如果对于R的任一满足F的关系r都有 r=∏R1(r) ∏R2(r) … ∏Rk(r) 则称这个分解ρ是满足依赖集F的无损连接。 6.4.2 无损连接的定义和性质 (2)验证无损连接的充要条件 如果R的分解为ρ={R1，R2}，F为R所满足的函数依赖集合，则分解ρ具有无损连接性的充分必要条件为 R1∩R2→(R1-R2)∈F+ 或R1∩R2→(R2-R1)∈F+ 例：现有关系模式R(A,B,C)，函数依赖集F={A→B，C→B}，判断ρ1={AB，AC}， ρ2={AB，BC}是否具有无损连接性。 解： AB∩AC=A AB-AC=B A→B∈F+ 所以：ρ1具有无损连接性。 解： AB∩BC=B AB-BC=A BC-AB=C B→A或B→C∈F+ 所以：ρ2不具有无损连接性。 (3)无损连接的测试方法------表格法（算法6.2,P189） 算法：检验无损连接性。 输入：关系模式R(A1,A2,…,An)，它的函数依赖集