c đ c s d li u ph quát:
c đ CSDL sau:
ượ ồ
ậ
ị
ừ 0. F c đ CSDL b ng k ủ ượ ồ
ả
ằ
ỹ
c đ CSDL có th a đi u ki n duy nh t không?
Cho l
ổ
ượ ồ ơ ở ữ ệ
C0=
V iớ : F0= {A BCEGDX;GE CY;CE Z;BCE TD;D VCE)
và l
C = {;
;
;
;
}
Yêu c u:ầ
1. Hãy xác đ nh t p PTH: F1, F2, F3, F4, F5 t
2. Hãy ki m tra b o tòan thông tin c a l
ể
thu t Tablau.
ậ
3. l
ượ ồ
ỏ
ề
ệ
ấ
T p ph thu c hàm đ
c Bao trong quan h Qi
ụ
ộ
ậ
ượ
ệ
Friday, 21. May 2010, 15:45
CoSoDuLieu
+ /VT(f) U VP(f) thu c Qi}
ượ ồ c đ Quan h đ ượ ồ c đ Quan h Q và t p ph thu c hàm F. ệ ậ c chia ra nhi u l ệ ượ ụ ộ c đ con Qi, v n đ là xác đ nh các ph ề ề ượ ồ ấ ị ụ Ta có l L thu c hàm cho các quan h Qi đó. ệ ộ
Fi = {f thu c Fộ ộ
Chi ti t cách xác đ nh là: ế ị
ị ụ ủ t c PTH có v trái n m trong ế ọ ấ ả ằ ộ
ế ọ ế ủ ụ ả ộ ị ị ố ớ ừ ộ c bao trong quan h Qi. + Xác đ nh v trái (VT) c a ph thu c hàm Fi : Ch n t Qi đang xét, g i là X. ượ ở + Xác đ nh v Ph i (VP) c a ph thu c hàm Fi : đ i v i t ng PTH đã xác đ nh đ c trên, ta tìm Bao đóng (VT)+, sau đó giao v i t p thu c tính Qi khi đó ta có X->Y là PTH ớ ậ đ ượ ệ
Nói dài dòng quá có ví d s d hi u h n nhi u. ụ ẽ ễ ể ề ơ
ủ ề ồ ị ượ ồ ệ Ví d 1: ụ Trích trong đ thi c a Cô Đ ng Th Bích Th y. ủ Cho l c đ quan h Q(ABCEGHKLTVXYZ) F ={EK->XC, C->V, EKL->TC, AB->YC, HG->ZABEKLC}
Xác đ nh F1, F2, F3, F4, F5 là t p đ ậ ượ ị c bao trong t ng quan h Qi trên.(i=1,2,3,4,5) ? ệ ừ
ị ị ớ ụ ộ ằ ớ ộ ả
1. Xác đ nh F1 v i Q1( KE XC) + xác đ nh các ph thu c hàm trong F có v trái là thu c tính trong Q1 : KE->XC ế ộ + Tính (KE)+ = KEXCV Giao v i KEXC = KEXC là các thu c tính chung n m trong c hai v .ế + v y ta có PTH F1= {KE->XC} ậ
ị ị ớ ụ ộ ớ ộ ố
2. Xác đ nh F2 v i Q2( AB CY) + xác đ nh các ph thu c hàm trong F có v trái là thu c tính trong Q2: AB->CY, C->V ế ộ + Tính (AB)+ = ABCYV giao v i Q2(ABCY). cho các thu c tính gi ng nhau trong (AB) + và Q2, ta có AB->CY + Tính (C)+ = CV giao v i Q2(ABCY) = C : lo i ạ ớ + v y F2 = {AB->CY} ậ
Các câu còn l i tính gi ng nh trên. ạ ư ố
