Ngày tải lên :
28/04/2013, 21:27
... TG={B}
X
i
(TN U X
i
) (TN U X
i
)
+
Siêu khóa Khóa
Φ
A U A A
B AB U AB
Vậy khóa K là A
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ụ ... không?
+)F
a
=F
4
/{A→B}
A
+
=A,C,D,B
Nên có thể bỏ được F
a
+)F
b
=F
a
/{A→C}
A
+
=A,D
Nên không thể bỏ được F
b
+) F
c
=F
b
/{A→D}
A
+
=A,C,B
Nên không thể bỏ được F
c
+) F
d
=F
c
/{C→B}
C
+
=C,D
Nên không thể bỏ được F
d
+)+) ... →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
7
={maMH→{tenMH,soluong,NSX,maGH},tenMH→soluong,tenMH→maGH}
F
8
={{maHD,maMH}→soluong)
F
9
={{maNCC,maMH}→gia}
Đề bài: Chuẩn hóa về dạng BCNF
+F
1 ,
F
2,
F
5,
F
8,
F
9
đã ở dạng chuẩn BCNF
+chuẩn hóa F
3,
F
4,...