Thực thể liên kết:
KH(#maKH,hoten,diachi)
HD(#maHD,ngay,giaHD,maNV,maKH)
NV(#maNV,ten,ngaysinh,quequan,sdt,luong,maNQL,maGH)
GH(#maGH,vitri,tenGH,maNQL)
NQL(#maNQL,ten,diachi)
NCC(#maNCC,ten,diachi,sdt)
MH(#maMH,tenMH,soluong,NSX,maGH)
Chitiet(#maHD,#maMH,soluong)
CC(#maNCC,#maMH,gia)
Phụ thuộc hàm:
F
1
={maKH→hoten,diachi}
F
2
={maHD→ngay,giaHD,maNV,maKH}
F
3
={maNV→ten,ngaysinh,quequan,sdt,luong,maNQL,maGH,{ten,ngaysinh) →quequan,
{ten,ngaysinh}→sdt}
F
4
={maGH→{vitri,tenGH,maNQL},tenGH→vitri,tenGH→maNQL}
F
5
={maNQL→ten,diachi}
F
6
={maNCC→{ten,diachi,sdt},{diachi,ten}→sdt}
F

đặt maNV=A;ten=B; ngaysinh=C; quequan=D; sdt=E; luong=F;
maNQL=G; maGH= H;
F
3
khi đó được viết lại là: F
3
={A→BCDEFGH ,BC →D,BC→E}
1,VP của F có nhiều hơn 1 thuộc tính
F
3
={A→B,A→C,A→D,A→E,A→F,A→G,A→H,BC→D,BC→E}
2,Xem VT đã tối thiểu chưa?
Xét BC→D
B
+
=B
C
+
=C
Nên VT đã tối thiểu
Xét BC→E
B
+
=B
C
+
=C
Nên VT đã tối thiểu
3,Xem F có dư thừa hay không?
+) F

d
=F
c
/{A→E}
A
+
=A,B,C,D,F,G,H
Nên không loại bỏ được F
d
+) F
e
=F
d
/{A→F}
A
+
=A,B,C,D,E,G,H
Nên không loại bỏ được F
e
+) F
f
=F
e
/{A→G}
A
+
=A,B,C,D,E,F,H
Nên không loại bỏ được F
f
+)F

)
+
Siêu khóa Khóa
Φ ABCFGH U ABCFGH ABCFGH
Vậy khóa K=ABCFGH
TH2:F
4
đặt maGH=A, vitri=B, tenGH=C; maNQL=D;
F
4
được viết lại là: F
4
={A→BCD,C→B,C→D}
1,VP có nhiều hơn 1 thuộc tính
F
4
={A→B,A→C,A→D,C→B,C→D}
2,Xem VT đã tối thiểu chưa?VT chỉ có một thuộc tính nên thỏa mãn
3,Xem F có dư thừa không?
+)F
a
=F
4
/{A→B}
A
+
=A,C,D,B
Nên có thể bỏ được F
a
+)F

e
=F
d
/{C→D}
C
+
=C,B
Nên không thể bỏ được F
e
Vậy F
tt
={A→C,A→D,C→B,C→D
4, Tìm khóa
TN={A} TG={C}
X
i
(TN U X
i
) (TN U X
i
)
+
Siêu khóa Khóa
Φ
A U A A
C
A,C U A,C

Vậy khóa K=A
TH3:F

F
b
=F
a
/{A→C}
A
+
=A,B,D nên không loại bỏ được F
b
F
c
=F
b
/{A→D}
A
+
=A,B,C nên không loại bỏ được F
c
F
d
=F
c
/{BC→D}
{BC}
+
=B,C nên không loại bỏ được F
d
4,Tìm khóa
TN={A} ; TG={B,C}


a
=F
7
/{A→B}
A
+
=A,C,D,E
Nên không loại bỏ được F
a
+)F
b
=Fa
/
{A→C}
A
+
=A,B,C,D,E
Nên loại bỏ được F
b
+)F
c
=F
b
/{A→D}
A
+
=A,B,C,E
Nên không loại bỏ được F
c
+)F

)
+
Siêu khóa Khóa
Φ
A U A A
B AB U AB

Vậy khóa K là A