Bai tap pth

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]

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 = { AC; BDE; DE; AED; ABG }

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

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

Ô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 XY (Y phụ thuộc hàm X) r quan

hệ xác định R(U) cho hai t1,t2 thuộc r mà

Ô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

Ô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

Ô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: WZ  F Do

If W  NewDep Then NewDep := NewDep  Z;

End;

Return NewDep; End;

Ô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ị

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 = { ABC; CA }

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 = { ABC; CA }

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)

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 = { ABC; BD; BCA }

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 = { ABC; BD; BCA }

Hãy chứng minh : D khơng phải thuộc tính khóa

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 = {AC; BD,E; DE; AED; ABG }

Bài tập 8 Giải :

1 Tìm khóa: Đồ thị biểu diễn phụ thuộc hàm sau:  

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  

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 }