资源描述：
《SQLServer教案第04周关系模式的分解》由会员上传分享，免费在线阅读，更多相关内容在工程资料-天天文库。
1、授课日期年月曰第4周授课形式讲课授课时数4章节名称第04章关系模式的分解教学目的与要求①理解关系模式的分解、保持无损连接的分解、保持函数依赖分解的概念②掌握判断某个关系模式的分解是否是无损分解的方法和Chase过程教学重点无损分解和保持函数依赖的分解教学难点判断某个关系模式的分解是否是无损分解的方法和Chase过程教学方法和手段讲授法结合课堂实例分析讨论教学过程与组织导入新课我们已经学习了数据库规范化设计的第一范式、第二范式、第三范式、BC范式、第四范式、第五范式。一般的工程应用，大多只需要满足第三范式即可
2、。要将某个只满足较低范式的关系模式修改为满足较高范式的关系模式，就要对原有的关系模式进行分解。现在我们将学习如何对一个关系模式进行合理的分解。讲授新课第04章关系模式的分解第01节关系模式的分解3.5.1关系模式的分解原则解决关系模式的冗余、插入异常和删除异常的的方法是将其分解。在分解中会涉及一些新问题。这些新问题的实质是如何能够通过分解而保持原来关系模式的特性，这些特性就是函数依赖。也即原关系模式的函数依赖通过分解并不丢失。因此要求分解具备无损联接性和保持其原有的函数依赖。设有关系模式R=AiA2...A
3、n,RbR2,...,Rk都是R的子集,其中R=RjUR2URkU...URkc关系模式R],R2，...,Rk的集合用P表示，P={R[,R2,…,Rk}。用P代替R的过程称为关系模式的分解。3.4.1无损联接(1)无损联接的定义设关系模式R,它的一个分解是P={Ri,R2，.・・,Rk},F是R上的一个函数依赖集。如果对于R中满足F的每一个关系I•都有r=^RiCr)冈吨20*)冈…冈HRk(r)成立，则称分解P相对于F是“无损联接分解”(losslessjoindecomposition)o即i•是它
4、在Rj的投影的自然连接。其中^Ri(r)表示关系r在关系模式Ri的属性上的投影。用mp(r)表示r的投影连接表达式，即：mP(r)=71ri(r)E%(“冈...E则称nip(r)为r的投影连接变换。一般情况下r与mp(r)是不相等的。关系模式R关于F的无损连接条件是：任何满足F的关系「，都有r=mp(r)o上述定义可以这样较为直观地理解：设有关系模式R,如果把R分解为n个(n>l)子模式，相应一个R关系中的数据就要被分成n个子表Ri，R2,…,站。如果这n个子表自然连接(即进行R]XR2X...XRn)的
5、结果与原来的R关系相同(即数据未损失)，则称该分解具备无损连接性。保持关系模式分解的无损连接性是必要的，因为它保证了该模式上的任何一个关系能由它的那些投影通过自然连接而得到恢复。定理3・4设R是一个关系模式，P={Ri，R2，...,Rk}是关系模式R的一个分解"是R的任一关系,rj=JlRi(R)(lWiWk),则有：®rCmP(r)；②如果S=mP(r),则Hri(S)；③mp(mP(r)=mP(r)(1)无损联接的判定定理3-5若R的分解p={R],R2}，F为R所满足的两数依赖集，分解P具备无损联接
6、的充分必要条件是：R1nR2^(Ri-R2)eF+或者RiCIR2T(R2・R1)&F+定理3-5中RiAR2为模式Ri和R2的交集，由两模式的公共属性组成；(Ri・R2)、依2次1)表示两模式的差集，分别由R]、R2中去除两模式的公共属性后的其它属性组成。该定理表明当一个关系模式分解成两个关系模式时，如果两关系模式的公共属性能够函数决定它们屮的其它属性时，这样的分解具备无损联接性。例3-13设有关系模式R(A,B,C),F={A~B},判断R的两个分解pi={Ri(A,B),R2(A,C)}>P2={Ri
7、(A,B),R3(B,C)}是否具备无损连接性。解：根据定理3・5,pi具备无损连接性，P2不具备无损连接性。算法3・3无损联接的测试算法。输入：关系模式R=AjA2...An,R上的函数依赖集F,R的一个分解P={Rj}(i=l,2,...,k)o输出：判断P相对于F是否具备无损联接特性。方法：①构造一张k行n列的表格，每列对应一个属性Ai(lWjWn),每行对应一个分解后的关系模式Ri(lWiW町。如果Aj在Ri中，则在表格的第i行第j列上填写上色,否则填上bij。②反复检查F的每一个函数依赖，并修改表
8、格中的元素，其方法为(Chase过程)：取F的一个函关系模式R关于F的无损连接条件是：任何满足F的关系「，都有r=mp(r)o上述定义可以这样较为直观地理解：设有关系模式R,如果把R分解为n个(n>l)子模式，相应一个R关系中的数据就要被分成n个子表Ri，R2,…,站。如果这n个子表自然连接(即进行R]XR2X...XRn)的结果与原来的R关系相同(即数据未损失)，则称该分解具备无损连接性。保持关系模式分解的无损
