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

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 đó.
Nội dung trích xuất từ tài liệu:
Tập phụ thuộc hàm được Bao trong quan hệ Qi Cho lược đồ cơ sở dữ liệu phổ quát: C0= Với: F0= {A BCEGDX;GE CY;CE Z;BCE TD;D VCE) và lượ c đồ CSDL sau: C = {; ; ; ; } 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ệ QiFriday, 21. May 2010, 15:45CoSoDuLieuTa 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 trongQi đ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}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.