判断模式分解否具有无损连接性的算法.pptVIP

判断一个分解具有无损连接性的算法 算法的输入： 关系模式R(A1,A2,…,An), R上的函数依赖集F, R的一个分解?={R1,R2,…,Rk} 算法的输出： true 或 false 算法 LOSSLESSTEST(R,F ,?) 构造一个k行n列的二维表T，第i行对应于关系模式Ri，第j列对应于属性Aj，令 tij= { aj 若Aj?Ri bij 若Aj?Ri c1:=true do while c1 {c1:=false; for 每一个X?Y?F do for 每一对ti,tk ? T do if ti[X]=tk[X] and ti[Y]?tk[Y] then { EQUY(ti,tk); c1=true } }; for 任一个t?T do { if t=a1a2..an then return(true)} return(false) EQUY (ti,tk)是使ti, tk两个元组的Y值相等的子处理过程， 处理原则如下： 若ti[Y]与tj[Y] 有一个为aj 则将另一个也改为aj 否则，tk[Y]=ti[Y] 假定ik 例：关系模式 R(A,B,C,D,E) F={A?C,