Cơ sở dữ liệu - e-ptit.edu.vn

Chương I: Khái niệm cơ bản về các hệ cơ sở dữ liệu
9) Xét CE → AG ∈ G : CE ⊆ T7 = ABCDEG, AG ⊆ T7 .
T8 =T7 = ABCDEG.
G = G – {CE → AG} = {AB → C}
Như vậy T8 = X + = ABCDEG.
Ví dụ 5 Cho tập F = {A → B , B → C, BC → D , DA → B}.
Tính bao đóng X = {A} và chứng tỏ rằng A → AD ∈ F + :
1) G = F , T1 = A
2) Xét A → B ∈ G : A ⊆ T1 = A, B ⊄ T1 .
T2 =T1 ∪ B = AB.
G = G – {A → B} = {B → C , BC → D , AD → B}.
3) Xét B → C ∈ G : B ⊆ T2 = AB, C ⊄ T2 .
T3 = T2 ∪ C = ABC.
G = G – {B → C} = {BC → D , AD → B}
4) Xét BC → D ∈ G : BC ⊆ T3 = ABC, D ⊄ T3 .
T4 = T3 ∪ D = ABCD.
G = G – {BC → D} = {AD → B}
5) Xét AD → B ∈ G : AD ⊆ T4 = ABCD, B ⊆ T3 .
T5 = T4 = ABCD.
G = G – {AD → B} = ∅
Như vậy T5 = X + = ABCD.
Với kết quả này chứng tỏ rằng các thuộc tính đơn hay tổ hợp chứa trong X + phụ thuộc
hàm vào thuộc tính X = A.
Phụ thuộc A → AD ∈ F + : Vì
1. Theo giả thiết A → B và B → C, suy ra A → C.
2. Theo giả thiết A → B và B C → D suy ra AC → D.
3. Theo (1) và (2): A → C và AC → D suy ra A → D.
3. A → A và A → D (3) suy ra A → AD.
3.4.5 Thuật toán xác định phụ thuộc hàm suy dẫn từ F
Sử dụng thuật toán xác định bao đóng của một tập các thuộc tính để xác định một phụ thuộc
hàm bất kỳ có được suy dẫn logic từ tập các phụ thuộc hàm F hay không. Thuật toán sử
dụng tính chất X → Y ∈ F + ⇔ Y ⊆ X + . Nghĩa là cần kiểm tra thuộc tính vế phải của
phụ thuộc hàm có phải là một thành phần của bao đóng vế trái hay không.
Input : F = {A→ B⏐A,B ⊆ Ω } tập các phụ thuộc hàm.
X→ Y
Output : Khảng định X→Y ∈ F
Begin
52