Đang tải... (xem toàn văn)
Nhôø heä luaät daãn naøy ngöôøi ta ñaõ giaûi quyeát ñöôïc baøi toaùn thaønh vieân cuûa taäp caùc phuï thuoäc haøm: thay vì ñi tìm bao ñoùng (Closure) cuûa taäp phuï thuoäc haøm F [r]
(1)Bài tập 2
Cho LĐQH q=(U,F) với tập thuộc tính U=ABCDEG tập PTH
F = { AC; BDE; DE; AED; ABG }
(2)Bài tập 4
Hãy nhập bảng sau Access
COURSE COURSE-NAME LEVEL MODULE NAME STATUS UNIT-POINTS B74 Computer Science BSc B741 Programming Basic
B74 Computer Science BSc B742 Hardware Basic B74 Computer Science BSc B743 Data Processing Basic B74 Computer Science BSc B744 Programming Intermed 11 B74 Computer Science BSc B745 Hardware Intermed 11 B94 Computer Apps MSc B951 Information Advanced 15 B94 Computer Apps MSc B952 Microproc Advanced 15 B94 Computer Apps MSc B741 Programming Basic
(3)Bài tập 5
Hãy nhập bảng sau Access so sánh với bảng tập
MODULE NAME STATUS B741 Programming Basic B742 Hardware Basic B743 Data Processing Basic B744 Programming Intermed B745 Hardware Intermed B951 Information Advanced B952 Microproc Advanced B741 Programming Basic COURSE MODULE
B74 B741 B74 B742 B74 B743 B74 B744 B74 B745 B94 B951 B94 B952 B94 B741
COURSE COURSE-NAME LEVEL B74 Computer Science BSc B94 Computer Apps MSc
MODULE
COURSE-MODULE
COURSE
STATUS POINTS Basic
(4)Ôn tập:
Nhắc lại phần lý thuyết : Phụ thuộc hàm
Định nghĩa : Cho R(U) lược đồ quan hệ với U={A1,…,An} tập thuộc tính X Y tập U
Nói XY (Y phụ thuộc hàm X) r quan
hệ xác định R(U) cho hai t1,t2 thuộc r mà
(5)Ôn tập:
Nhắc lại phần lý thuyết : Phụ thuộc hàm Các tính chất phụ thuộc hàm:
(A1) Tính phản xa (Reflexivity)ï: Nếu Y X X Y
(A2) Tính tăng trưởng (Augmentation): Nếu X Y X Z YZ
(A3) Tính bắc cầu (Transivity): Nếu X Y Y Z X Z
Và số luật bổ sung rút từ tính chất trên:
(A4) Tính phân rã, luật tách (Projectivity): Nếu X YZ X Y X Z
(A5) Tính hợp, luật hợp (Addivity): Nếu X Y X Z X YZ
(6)Ôn tập:
Nhắc lại phần lý thuyết : Phụ thuộc hàm
Bao đóng tập phụ thuộc hàm: Hệ tiên đề Amstrong đầy đủ Nhờ hệ luật dẫn người ta giải toán thành viên tập phụ thuộc hàm: thay tìm bao đóng (Closure) tập phụ thuộc hàm F (ký hiệu F+, tập phụ thuộc hàm suy dẫn lơgic từ F ) để kiểm tra xem phụ thuộc hàm X Y có thuộc F+ hay
(7)Ôn tập:
Nhắc lại phần lý thuyết : Phụ thuộc hàm
Thuật tốn tìm bao đóng X dựa tập phụ thuộc hàm F quan hệ R mô tả ngôn ngữ tựa Pascal sau:
Procedure Closure (X, F) Begin
OldDep := ; NewDep := X;
While NewDep <> OldDep Do Begin
OldDep := NewDep;
For every FD: WZ F Do
If W NewDep Then NewDep := NewDep Z;
End;
Return NewDep; End;
(8)Ôn tập:
Nhắc lại phần lý thuyết : Phụ thuộc hàm
R lược đồ quan hệ định nghĩa tập thuộc tính U = { A1, A2, , An }, với tập phụ thuộc hàm F = { f1, f2, , fm } xác định R K U khóa R thỏa mãn hai điều kiện
sau đây: (i) K U
(ii) Không tồn K’ K mà K’ U
Như khóa lược đồ quan hệ phải bao phủ tập nút gốc, đồng thời không chứa nút đồ thị
(9)Bài tập 6
Cho LĐQH r=(U,F) với tập thuộc tính U=ABC tập PTH
F = { ABC; CA }
(10)Bài tập 6
Cho LĐQH r=(U,F) với tập thuộc tính U=ABC tập PTH
F = { ABC; CA }
Cần chứng minh : BC->ABC
Giải : Ta có
1 C->A (gt)
2 BC->AB (A2) AB->C (gt)
4 AB->ABC (A2 thêm AB)
(11)Bài tập 7
Cho LĐQH r=(U,F) với tập thuộc tính U=ABCD tập PTH
F = { ABC; BD; BCA }
(12)Bài tập 7
Cho LĐQH r=(U,F) với tập thuộc tính U=ABCD tập PTH
F = { ABC; BD; BCA }
Hãy chứng minh : D khơng phải thuộc tính khóa
(13)Bài tập 8
Cho LĐQH r=(U,F) với tập thuộc tính U=ABCDEG
tập PTH
F = {AC; BD,E; DE; AED; ABG }
(14)Bài tập 8 Giải :
1 Tìm khóa: Đồ thị biểu diễn phụ thuộc hàm sau:
(15)Bài tập Giải (tiếp)
Chúng ta nhận thấy đồ thị, hai thuộc tính A B nút gốc E, C G nút Khóa quan hệ phải chứa thuộc tính nút gốc
Xeùt X = { A }
XF+ = { A, C, D, E } // Coøn thiếu B G Xét X = { B }
XF+ = { D, E } // Còn thiếu A,B,C G
(16)Bài tập Giải (tiếp)
Chúng ta nhận thấy đồ thị, hai thuộc tính A B nút gốc E, C G nút Khóa quan hệ phải chứa thuộc tính nút gốc
Xeùt X = { A }
XF+ = { A, C, D, E } // Còn thiếu B G
Xét X = { B }
XF+ = { D, E } // Còn thiếu A,B,C G
Lấy X = { A,B }
(17)