CHƯƠNG 6 : LÝ THUYẾT VỀ THIẾT KẾ CƠ SỞ DỮ LIỆU
6.2. Chuẩn hóa lược đồ quan hệ
6.2.3.1. Hình chiếu của tập phụ thuộc hàm trên tập thuộc tính
Xét phân rã ρ=(R1,R2,…,Rk) của lược đồ quan hệ R và một tập phụ thuộc hàm F. Hình chiếu của F trên tập thuộc tính Ri, ký hiệu là ΠRi(F) là tập các phụ thuộc hàm X
® Y ∈ F+ sao cho XY⊆ Ri
ΠRi(F)={X → Y∈ F+ | XY⊆ Ri }
Ta nói phép tách ρ bảo toàn phụ thuộc hàm nếu F ≡ ΠR1(F) ∪ ΠR2(F) ∪…∪
ΠRk(F)
Phương pháp tìm hình chiếu:
Để tìm hình chiếu của F trên Ri ta thực hiện các bước sau: Bước 1: Xác định tất cả các tập con Xj của Ri
Bước 2: Tính bao đóng của tất cả các tập con ở bước 1 Bước 3: Xác định ΠRi(F) như sau:
Dựa vào các bao đóng tìm ở bước 2, nếu X+ ⊇ Y thì X → Y với XY⊆ Ri. Để
đơn giản thì ta khơng li ệt kê các phụ thuộc hàm hiển nhiên tức là các phụ thuộc hàm có vế trái chứa vế phải.
Ví dụ 6.9: Cho lược đồ quan hệ R(A,B,C) và F={A → B, B → C, C → A}. Phép phân
rã ρ=(R1, R2) với R1(A,B); R2(B,C). Hãy tính hình chiếu của F trên R1 và R2
Tính ΠR1(F)=?
R1 có 2 tập con: A và B
+ Tính bao đóng của các tập con: A+=ABC; B+=ABC
+ Tìm cỏc ph thuc hm trong hỡnh chiu:
A+=ABCịAđB,AđAB
B+=ABCịBđA,BđAB
Vy PR1(F)= {A đ B, A ® AB, B ® A, B ® AB} º {A ® B, B ® A} Tính PR2(F)=?
+ Xác định tất cả các tập con của R2(B,C) R2 có 2 tập con: B và C
+ Tính bao đóng của các tập con: B+=ABC; C+=ABC
+ Tìm các phụ thuộc hàm trong hỡnh chiu:
B+=ABCịBđC,BđBC
C+=ABCịCđB,CđBC
Vy PR2(F)= {B đ C, B đ BC C ® B, C ® BC} º {B ® C, C ® B}