設關係模式R(U,F)中,U={A,B,C,D,E},F={AB→C,C→D,D→E},R的一個分解ρ={ R1(A,B,C),R2(C,D),R3(D,E)}。試判斷ρ具有無損連線性。
解:① 首先構造初始表,如圖(a)所示。
A B C D E
R1(A,B,C) a1 a2 a3 b14 b15
R2(C,D) b21 b22 a3 a4 b25
R3(D,E) b31 b32 b33 a4 a5
(a)
R1(A,B,C) a1 a2 a3 a4 a5
(b)
圖:分解的無損連線判斷表
② 按下列次序反覆檢查函式依賴和修改M:
AB→C,屬性A、B(第1、2列)中都沒有相同的分量值,故M值不變;
C→D,屬性C中有相同值,故應改變D屬性中的M值,b14改為a4;
D→E,屬性D中有相同值,b15、b25均改為a5。
結果如圖(b)所示。
說明:在上例步驟後,如果沒有出現a1,a2,a3,a4,a5,並不能馬上判斷ρ不具有無損連線性。而應該進行第二次的函式依賴檢查和修改M。直至M值不能改變,才能判斷ρ是否具有無損連線性。
設關係模式R(U,F)中,U={A,B,C,D,E},F={AB→C,C→D,D→E},R的一個分解ρ={ R1(A,B,C),R2(C,D),R3(D,E)}。試判斷ρ具有無損連線性。
解:① 首先構造初始表,如圖(a)所示。
A B C D E
R1(A,B,C) a1 a2 a3 b14 b15
R2(C,D) b21 b22 a3 a4 b25
R3(D,E) b31 b32 b33 a4 a5
(a)
A B C D E
R1(A,B,C) a1 a2 a3 a4 a5
R2(C,D) b21 b22 a3 a4 b25
R3(D,E) b31 b32 b33 a4 a5
(b)
圖:分解的無損連線判斷表
② 按下列次序反覆檢查函式依賴和修改M:
AB→C,屬性A、B(第1、2列)中都沒有相同的分量值,故M值不變;
C→D,屬性C中有相同值,故應改變D屬性中的M值,b14改為a4;
D→E,屬性D中有相同值,b15、b25均改為a5。
結果如圖(b)所示。
說明:在上例步驟後,如果沒有出現a1,a2,a3,a4,a5,並不能馬上判斷ρ不具有無損連線性。而應該進行第二次的函式依賴檢查和修改M。直至M值不能改變,才能判斷ρ是否具有無損連線性。