Tập phụ thuộc hàm được Bao trong quan hệ Qi pot

Cho lược đồ cơ sở dữ liệu phổ quát:
C
0
= <Q(ABCDEGXYZTV), F
0
>
Với: F
0
= {A BCEGDX;GE CY;CE Z;BCE TD;D VCE)
và lược đồ CSDL sau:
C

= {<Q1(A

BCEGDX), F1>;
<Q2(GECY), F2>;
<Q3(CEZ), F3>;
<Q4(BCE/BDT), F4>;
<Q5(DVCE), F5>}
Yêu cầu:
1. Hãy xác định tập PTH: F1, F2, F3, F4, F5 từ F
0
.
2. Hãy kiểm tra bảo tòan thông tin của lược đồ CSDL bằng kỹ
thuật Tablau.
3. lược đồ CSDL có thỏa điều kiện duy nhất không?
Tập phụ thuộc hàm được Bao trong quan hệ Qi
Friday, 21. May 2010, 15:45
CoSoDuLieu
Ta có lược đồ Quan hệ Q và tập phụ thuộc hàm F.
Lược đồ Quan hệ được chia ra nhiều lược đồ con Qi, vấn đề là xác định các phụ thuộc

hàm cho các quan hệ Qi đó.
Fi = {f thuộc F
+
/VT(f) U VP(f) thuộc Qi}
Chi tiết cách xác định là:
+ Xác định vế trái (VT) của phụ thuộc hàm Fi : Chọn tất cả PTH có vế trái nằm trong 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
được bao trong quan hệ Qi.
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}
<Q1(KE XC) F1>
<Q2(AB CY) F2>
<Q3(HG EKLZAB) F3>
<Q4(C V) F4>
<Q5(EKL T) F5>
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.