CHƯƠNG 5<br />
<br />
PH THU C HÀM<br />
Functional dependency<br />
<br />
1<br />
<br />
N I DUNG<br />
• PH THU C HÀM<br />
• BÀI TOÁN TÌM PH T I THI U<br />
• BÀI TOÁN TÌM KHÓA<br />
<br />
Pth là m t công c bi u di n m t cách hình th c<br />
m t d ng ràng bu c tòan v n<br />
Pth ñ c ng d ng trong vi c gi i quy t bài tóan<br />
tìm khóa, tìm ph t i thi u và chu n hóa c s d li u<br />
<br />
2<br />
<br />
PH THU C HÀM<br />
•<br />
•<br />
•<br />
•<br />
•<br />
<br />
Khái ni m ph thu c hàm<br />
Bao ñóng c a m t t p ph thu c hàm F<br />
B lu t d n AMSTRONG<br />
Bao ñóng c a t p thu c tính X<br />
Thu t toán tìm F+<br />
<br />
3<br />
<br />
1. KHÁI NI M<br />
Xét ví d (sgk) : Cho quan h Phân công<br />
phanCong<br />
<br />
(PHICONG,<br />
<br />
MAYBAY, NGAYKH, GIOKH)<br />
<br />
Cushing<br />
<br />
83<br />
<br />
9/8<br />
<br />
10:15a<br />
<br />
Cushing<br />
<br />
116<br />
<br />
10/8<br />
<br />
1:25p<br />
<br />
Clark<br />
<br />
281<br />
<br />
8/8<br />
<br />
5:50a<br />
<br />
Clark<br />
<br />
301<br />
<br />
12/8<br />
<br />
6:35p<br />
<br />
Clark<br />
<br />
83<br />
<br />
11/8<br />
<br />
10:15a<br />
<br />
Chin<br />
<br />
83<br />
<br />
13/8<br />
<br />
10:15a<br />
<br />
Chin<br />
<br />
116<br />
<br />
12/8<br />
<br />
1:25p<br />
<br />
Copely<br />
<br />
281<br />
<br />
9/8<br />
<br />
5:50a<br />
<br />
Copely<br />
<br />
281<br />
<br />
13/8<br />
<br />
5:50a<br />
<br />
Copely<br />
<br />
412<br />
<br />
15/8<br />
<br />
1:25p<br />
4<br />
<br />
Trong th gi i th c luôn có nh ng qui t c ho t ñ ng :<br />
- M i máy bay có m t gi kh i hành duy nh t<br />
- N u bi t phi công, Ngày và gi kh i hành thì bi t ñư c máy<br />
bay do phi công này lái<br />
- N u bi t máy bay, ngày kh i hành thì bi t phi công lái<br />
chuy n bay ñó<br />
Nh ng qui t c ho t ñ ng trên là m t lo i ràng bu c , ñư c g i<br />
là ph thu c hàm , và có th phát bi u l i như sau :<br />
MAYBAY xác ñ nh GIOKH<br />
Hay<br />
GIOKH ph thu c hàm vào MAYBAY<br />
ðư c ký hi u<br />
f1:<br />
{MAYBAY}→ GIOKH<br />
→<br />
f2:<br />
{PHICONG,NGAYKH,GIOKH}→ MAYBAY<br />
→<br />
5<br />
f3:<br />
{MAYBAY,NGAYKH}→ PHICONG<br />
→<br />
<br />