数据库系统概要17模式分解等价标准.pptVIP

授课主题 第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是