数据库设计的规范化秦经贤2.ppt

*函数依赖A→B不被保持且r无法恢复**R不∈3NF这样的分解无法通过保持F，且不能使r得到“恢复”**此定理表明，当模式R分解成两个关系模式Rl(U1)和R2(U2)时，如果其公共属性能函数决定U1或U2中的其它属性，这样的分解就是无损连接的。*无损连接是必要的4.5关系模式的分解特性无损连接的测试输入关系模式R(U)，其中U={A1,A2,…,An}R(U)上成立的函数依赖集FR(U)的一个分解?={R1(U1),R2(U2),…,Rk(Uk)}，其中U=U1∪U2∪…∪Uk输出?相对于F具有或不具有无损连接性的判断4.5关系模式的分解特性无损连接的测试算法构造一张k行n列的表格，每列对应一个属性Aj(j=1,2,…,n)，每行对应一个模式Ri(Ui)的属性集合(i=1,2,…,k)。如果Aj在Ui中，那么在表格的第i行第j列处填上符号aj，否则填上符号bij反复检查F的每一个函数依赖，并修改表格中的元素，直到表格不能修改为止。4.5关系模式的分解特性无损连接的测试算法其方法如下：取F中的函数依赖X→Y，如果表格中有两行在X分量上相等，在Y分量上不相等，那么修改Y分量上的值，使这两行在Y分量上也相等，具体修改分两种情况：①如果Y的分量中有一个是aj，那么另一个也修改成aj，