cơ sở dữ liệu nâng cao - lý thuyết phụ thuộc hàm

CƠ SỞ DỮ LIỆU NÂNG CAOLÝ THUYẾT PHỤ THUỘC HÀM... MỘT SỐ CÁC ĐỊNH NGHĨA TRONG LÝ THUYẾT PHỤ THUỘC HÀM... Bao đóng của tập phụ thuộc hàmR =... Bao đóng của tập thuộc tính X+... Phủ cực t

CƠ SỞ DỮ LIỆU NÂNG CAO

LÝ THUYẾT PHỤ THUỘC HÀM

DƯ THỪA DL DỊ THƯỜNG

Tại sao phải nghiên cứu LTPTH?

DƯ THỪA DL DỊ THƯỜNG

MỘT SỐ CÁC ĐỊNH NGHĨA

TRONG

LÝ THUYẾT PHỤ THUỘC

HÀM

Lược đồ quan hệ thoả mãn phụ

Or R= < U, F >

Bao đóng của tập phụ thuộc hàm

R = <U, F> F+ là tập tất cả các phụ thuộc hàm

hệ quả của F

F+ = {XY | F╞ XY}

F  F+

Khoá của lược đồ quan hệ

R = <U, F>, X  U X là khoá của R nếu:

1.XU (siêu khoá)

2.Không  X’  X : X’ là siêu khoá của R

Ví dụ: R = <U, F>

U = ABC; F = {AB, BC}

{A} là khoá của R

Từ (1)  A  AB (3) (Luật gia tăng)

Từ (2)  AB  BC (4) (Luật gia tăng)

Từ (3) & (4)  A  BC (Luật bắc cầu)

 đpcm

Bao đóng của tập thuộc tính (X+)

Hai tập phụ thuộc hàm tđương

Cho F & G F  G nếu và chỉ nếu F+ = G+

G Y

Hai tập phụ thuộc hàm tđương (2)

Ví dụ: Kiểm tra F và G có tđương hay ko

F={ABC}, G={AB, AC

{Kiểm tra F  G + }

AB :A+

F = ABC B AC: A+

F = ABC C

{Kiểm tra G  F + }

ABC: A = ABC BC

Phủ cực tiểu của một lược đồ quan

hệ (1)

Cho R = <U, F>, F được gọi là phủ cực tiểu của

R khi và chỉ khi:

 Vế phải chỉ có 1 thuộc tính

 Không có thuộc tính dư thừa ở vế trái

 Không có phụ thuộc hàm dư thừa

Phủ cực tiểu của một lược đồ

Phủ cực tiểu của tập phụ thuộc

hàm

R = <U, F> G đgl 1 phủ cực tiểu của F nếu thoả 2 điều kiện:

 G là phủ cực tiểu của R’ = <U, G>

Phủ cực tiểu của 1 phụ thuộc hàm là không duy nhất

 Giải thuật tìm phủ cực tiểu

B + F\{BA} = BDA  A  loại bỏ BA

 F = {DA, BD}

DA

D + = D A



Khóa của lược đồ

Định lý Hồ Thuần - Nguyễn Văn Bào (Điều kiện cần để X là khoá)

Giải thuật xác định tất cả các khoá

của 1 lược đồ quan hệ

Định lý Lucchesi và Osborn: (Điều kiện cần và đủ để bổ sung khoá)

R = <U, F> K là 1 tập khác rỗng các khoá của lược

đồ quan hệ R Điều kiện cần và đủ để bổ sung khoá mới vào K là:

 k  K

 XY  F

If <T không chứa phần tử nào của K> then

Tìm khoá k ’ nhận T làm siêu khoá ;

K + := K  {K ’ }

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

gia thảo luận!