/*無損分解的測試方法CHASE過程,主要分成兩個步驟:初始化表格及修正表格,最後進行判斷1.畫初始表格關係模式R的屬性作為表格的列(ABCDEG),講分解的關係作為行(DG,AC,CDE,AB)如果行跟列無相交用bij表示(i行j列),有相交用aj表示(j列)第一行DG∩A -> b11 不相交(第1列)DG∩B -> b12 不相交(第2列)DG∩C -> b13 不相交(第3列)DG∩D -> a1 相交(第4列)DG∩E -> b15 不相交(第5列)DG∩G -> a6 相交(第6列)第二行AC∩A -> a1AC∩B -> b22AC∩C -> a3AC∩D -> b24AC∩E -> b25AC∩G -> b26第三行CDE∩A -> b31CDE∩B -> b32CDE∩C -> a3CDE∩D -> a4CDE∩E -> a5CDE∩G -> b36第四行AB∩A -> a4AB∩B -> a5AB∩C -> b43AB∩D -> b44AB∩E -> b45AB∩G -> b46以上就初始表格圖12.修正表格D→G ∴ CDE∩G -> b36 改成 a6C→A ∴ CDE∩A -> b31 改成 a1C→A,A→B => C→B ∴ AC∩B -> b22 改成 a2 CDE∩B -> b32 改成 a2結果就是圖23.判斷如果結果存在全a的行就是無損分解,明顯CDE這行就是全a,所以是無損分解
/*無損分解的測試方法CHASE過程,主要分成兩個步驟:初始化表格及修正表格,最後進行判斷1.畫初始表格關係模式R的屬性作為表格的列(ABCDEG),講分解的關係作為行(DG,AC,CDE,AB)如果行跟列無相交用bij表示(i行j列),有相交用aj表示(j列)第一行DG∩A -> b11 不相交(第1列)DG∩B -> b12 不相交(第2列)DG∩C -> b13 不相交(第3列)DG∩D -> a1 相交(第4列)DG∩E -> b15 不相交(第5列)DG∩G -> a6 相交(第6列)第二行AC∩A -> a1AC∩B -> b22AC∩C -> a3AC∩D -> b24AC∩E -> b25AC∩G -> b26第三行CDE∩A -> b31CDE∩B -> b32CDE∩C -> a3CDE∩D -> a4CDE∩E -> a5CDE∩G -> b36第四行AB∩A -> a4AB∩B -> a5AB∩C -> b43AB∩D -> b44AB∩E -> b45AB∩G -> b46以上就初始表格圖12.修正表格D→G ∴ CDE∩G -> b36 改成 a6C→A ∴ CDE∩A -> b31 改成 a1C→A,A→B => C→B ∴ AC∩B -> b22 改成 a2 CDE∩B -> b32 改成 a2結果就是圖23.判斷如果結果存在全a的行就是無損分解,明顯CDE這行就是全a,所以是無損分解