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

Hãy kiểm tra bảo tòan thông tin của lược đồ CSDL bằng kỹ thuật Tablau.. 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.. Lược đồ Q

Cho lược đồ cơ sở dữ liệu phổ quát:

C0= <Q(ABCDEGXYZTV), F0>

Với : F0= {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ừ F0.

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