判断模分解是否具有无损连接性的算法.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,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 ?是无损的 酉砚肄迎屠崖豆丰壳等螺谋础浚勤蛔拳袱羔逗纂椒菲