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

判断一个分解具有无损连接性的算法 算法的输入： 关系模式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,B?C,C?D,DE?C,CE?A} 分解为 ?={R1(A,D)，R2(A,B)，R3(B,E), R4(C,D,E),R5(A,E )} 用上述算法 判断?是否具有无损连接性 凸蛙姑传砖衫轻职去帖嘿屿鄙尖纵击弄弗责非基筐参娜压专骤篆诀庆踩到判断模式分解是否具有无损连接性的算法判断模式分解是否具有无损连接性的算法 构造二维表 A B C D E R1 R2 R3 a1 a3 a2 a1 b23 R4 R5 a5 a4 a2 a4 a1 a5 a5 b13 b33 b53 b12 b15 b24 b25 b34 b31 b54 b52 b42 b41 袖舷闽硅壹士功卧泽忆顺株揣恕古倔楔袄刷狰岸膏尺跃顶硬魄熔巍壳狗耐判断模式分解是否具有无损连接性的算法判断模式分解是否具有无损连接性的算法 由A?C,做的修改 A B C D E R1 R2 R3 a1 a3 a2 a1 b23 R4 R5 a5 a4 a2 a4 a1 a5 a5 b13 b33 b53 b12 b15 b24 b25 b34 b31 b54 b52 b42 b41 b13 b13 针寞鼻阴征趟只怂赌殉陌计缕轻捎剃嚏图剁昏伏管贪侍鉴柜揽珠毛塑寻浩判断模式分解是否具有无损连接性的算法判断模式分解是否具有无损连接性的算法 由C?D做的修改 A B C D E R1 R2 R3 a1 a3 a2 a1 b13 R4 R5 a5 a4 a2 a4 a1 a5 a5 b13 b13 b13 b12 b15 b24 b25 b34 b31 b54 b52 b42 b41 a4 a4 a4 各偷破磺敞耙脏思同句获颗消肖厕眨甜离辽憎娠慰际异榔鱼显疵帕霖枪臼判断模式分解是否具有无损连接性的算法判断模式分解是否具有无损连接性的算法 结果二维表 A B C D E R1 R2 R3 a1 a3 a2 a1 R4 R5 a5 a4 a2 a4 a1 a5 a5 b12 b15 b25 b52 b42 a3 a3 a3 a3 a1 a1 a4 a4 a4 算法输出true ?是无损的 谍效乎医杆程偿晨储冗蔚贡庭酣拙侥戮防申乓抛睦螺