第4章关系数据及其规范化理论精选.pptxVIP

第 4 章;问题的引入;方案1：把学籍E-R模型设计成一个关系模式;SCD的问题1：数据冗余太大;SCD的问题2：存在插入异常;SCD的问题3：存在删除异常;SCD的问题4：更新复杂;可见：方案1不是一个“好”的方案！;方案2：把学籍E-R模型设计成4个关系模式;方案2的评价;可见：方案2比方案1“好” ！;结论：什么是一个“好”的关系模式？;函数依赖;函数依赖的定义;函数依赖的定义;函数依赖的定义;函数依赖的定义;函数依赖; Armstrong公理系统; Armstrong公理系统; Armstrong公理系统; Armstrong公理系统;属性集闭包;属性集闭包;属性集闭包;属性集闭包;属性集闭包;例:设有关系模式R(U,F)，其中U={A,B,C,D,E,G}, F={AB→C, C→A, BC→D, ACD→B, D→EG, BE→C，CG→BD, CE→AG},求(BD)+。;例:设有关系模式R(U,F)，其中U={A,B,C,D,E,G}, F={AB→C, C→A, BC→D, ACD→B, D→EG, BE→C，CG→BD, CE→AG},求(BD)+。;属性集闭包;属性集闭包;属性集闭包;属性集闭包;函数依赖的等价;最小函数依赖集;最小函数依赖集;最小函数依赖集;码的形式化定义;例：求关系模式R=(ABCD,{A→B,B→C})的候选码。;码的求法-图示法;;范式;第一范式(1NF);第二范式(2NF);第三范式(3NF);BC范式(BCNF);规范化;规范化的一般步骤;关系模式的分解;设ρ={R1(U1),R2(U2),…,Rk(Uk)}是关系模式R(U,F)的一个分解，若对R的每一个满足F的具体关系r都有：;设ρ={R1(U1),R2(U2),…,Rk(Uk)}是关系模式R(U,F)的一个分解，如果F所蕴含的函数依赖一定也可以由所有F在Ui上的投影所逻辑蕴含，即： ;分解案例;分解案例;4.5 规范化;4.5 规范化;无损连接的测试算法;无损连接的测试算法举例;无损连接的测试算法举例;无损连接的测试算法举例;无损连接的测试算法举例;无损连接的测试算法举例;无损连接的测试算法举例;无损连接的测试算法举例;无损连接的测试算法举例;无损连接的测试算法举例;无损连接的测试算法举例;无损连接的测试算法举例;4.5 规范化;如果R(U,F)的分解为ρ＝{Rl(U1),R2(U2)}，其中U=U1∪U2，则分解ρ是无损连接的充要条件为(U1∩U2)→(U1-U2)或者(U1∩U2)→(U2-U1)成立。 ;如果R(U,F)的分解为ρ＝{Rl(U1),R2(U2)}，其中U=U1∪U2，则分解ρ是无损连接的充要条件为(U1∩U2)→(U1-U2)或者(U1∩U2)→(U2-U1)成立。 ;保持函数依赖测试算法;保持函数依赖测试算法举例;保持函数依赖测试算法举例;保持函数依赖测试算法举例;分解成3NF模式集的算法;分解成3NF模式集的算法;分解成3NF模式集的算法;分解成3NF模式集的算法