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
T: = X
Repeat
End.
For each A→ B in F do
If (A ⊆ T and B ∉ T ) then T:= T ∪ B
If Y ⊆ T then X→Y ∈ F , EXIT
Until G = ∅ or không tồn tại A → B ∈ G
X→Y ∉ F
Ví dụ 6: Cho F = {A → B, C → X, BX → Z.
Kiểm tra AC → Z có thuộc F + , hay có được suy dẫn logic từ F + ?.
I: Tính (AC) +
1) G = F , T1 = AC
2) Xét A → B ∈ G : A ⊆ T1 , B ⊄ T1
T2 =T1 ∪ B = ABC.
G = G – {A → B} = {C → X, BX → Z}.
3) Xét C → X ∈ G : C ⊆ T2 , X ⊄ T1 .
T3 =T2 ∪ X = ABCX.
G = G – {C → X} = { BX → Z}.
3) Xét BX → Z ∈ G : BX ⊆ T3 , Z ⊄ T3
T4 =T3 ∪ Z = ABCXZ.
G = ∅
Như vậy T4 = (AC) + = ABCXZ.
II: AC → Z ∈ F + ⇔ Z ⊆ ABCXZ.
Ví dụ 7: Cho F = {A → B, C → D}, C ⊆ B
Xác định A → D ∈ F + ?
I: Tính (A) +
1) C ⊆ B ⇔ B → C
2) G = F ={A → B, C → D, B → C }, T1 = A
3) Xét A → B ∈ G : A ⊆ T1 , B ⊄ T1
T2 =T1 ∪ B = AB.
G = G – {A → B} = {C → D, B → C}.
4) Xét C → D ∈ G : C ⊄ T2 .
5) Xét B → C ∈ G : B ⊆ T2 , C ⊄ T2
T3 =T2 ∪ C = ABC.
G = G – {B → C} = {C → D}.
6) Xét C → D ∈ G : C ⊆ T3 , D ⊄ T3 .
53