Csdl Nangcao

CƠ SỞ DỮ LIỆU NÂNG CAO LÝ THUYẾT PHỤ THUỘC HÀM Thầy giảng dạy: TS. Hoàng Quang

Tại sao phải nghiên cứu LTPTH? DƯ THỪA DL DỊ THƯỜNG DƯ THỪA DL DỊ THƯỜNG

MỘT SỐ CÁC ĐỊNH NGHĨA TRONG LÝ THUYẾT PHỤ THUỘC HÀM

Phụ thuộc hàm r thỏa A  C r thỏa B  C A B C r = a b c b d c a e c X  Y  t 1 , t 2  r : t 1 [X] = t 2 [X]  t 1 [Y] = t 2 [Y]

Lược đồ quan hệ thoả mãn phụ thuộc hàm KHÔNG THỎA MÃN X  Y Stop R= <U, SC> Or R= < U, F >

Bao đóng của tập phụ thuộc hàm ,[object Object],[object Object],[object Object]

Khoá của lược đồ quan hệ ,[object Object],[object Object],[object Object],Ví dụ : R = <U, F> U = ABC; F = {A  B, B  C} {A} là khoá của R

Hệ tiên đề Amstrong ,[object Object],[object Object],[object Object],[object Object]

Hệ tiên đề Amstrong (2) ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Bao đóng của tập thuộc tính (X + ) ,[object Object],[object Object],[object Object],[object Object],[object Object],X + = {A | X  A  F + }=X + F

Hai tập phụ thuộc hàm tđương ,[object Object],[object Object],F+ G G+ F &

Hai tập phụ thuộc hàm tđương (2) ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Phủ cực tiểu của một lược đồ quan hệ (1) ,[object Object],[object Object],[object Object],[object Object]

Phủ cực tiểu của một lược đồ quan hệ (2) ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Phủ cực tiểu của tập phụ thuộc hàm ,[object Object],[object Object],[object Object],[object Object]

[object Object],[object Object],Bước 2 For (mỗi X  A  F) do For (mỗi B  X) do If ((X {B}) + F  A) then X := X {B};

[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Ví dụ Tìm phủ cực tiểu của tập PTH R = <U, F>,U = ABD, F ={B  A, D  A, AB  D} ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],Kết luận: F = {D  A, B  D}

Khóa của lược đồ ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Giải thuật xác định tất cả các khoá của 1 lược đồ quan hệ ,[object Object],[object Object],[object Object],[object Object],[object Object]

Giải thuật ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Giải thuật (2) ,[object Object],[object Object],[object Object],[object Object],[object Object]

Xin chân thành cảm ơn thầy và các bạn đã tham gia thảo luận!

Csdl Nangcao

Recommended

Recommended

More Related Content

What's hot

What's hot (16)

Viewers also liked

Viewers also liked (15)

Similar to Csdl Nangcao

Similar to Csdl Nangcao (20)

More from Hoàng Chí Dũng

More from Hoàng Chí Dũng (9)

Recently uploaded

Recently uploaded (20)

Csdl Nangcao