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
For each A→ B in G do
If (A ⊆ T and B ∉ T ) then T:= T ∪ B
G:= G – {A → B}.
Until G = ∅ or không tồn tại A → B ∈ G
X + = T
End.
Trong thuật toán xác định bao đóng của tập thuộc tính X ứng với tập phụ thuộc hàm F,
tồn tại số k nguyên dương bé nhất sao:
X = T1 ⊆ T2 ⊆.. .....⊆ Tk-2 ⊆ Tk-1 ⊆ Tk = Tk+1 = Tk+2
3.4.4 Ví dụ bao đóng của tập thuộc tính
Ví dụ 4 Ω = {A, B, C, D, E, G}
F = {AB → C , D → EG, C → A , BE → C, BC → D ,
CG → BD, ACD → B, CE → AG}
Tính X + với X = {BD}
1) G = F , T1 = BD
2) Xét AB → C ∈ G : AB ⊄ T1 = BD.
3) Xét D → EG ∈ G : D ⊆ T1 = BD, EG ⊄ T1 .
T2 =T1∪ EG = BDEG.
G = G – {D → EG} = {AB → C , C → A , BE → C, BC → D ,
CG → BD, ACD → B, CE → AG}
4) Xét C → A ∈ G : D ⊆ T2 = BDEG, A ⊄ T2 .
T3 =T2 ∪ A = ABDEG.
G = G – {C → A} = {AB → C, BE → C, BC → D,
CG → BD, ACD → B, CE → AG}
5) Xét BE → C ∈ G : BE ⊆ T3 = ABDEG, C ⊄ T3 .
T4 =T3 ∪ C = ABCDEG.
G = G – {BE → C} = {AB →C, BC → D, CG → BD
ACD → B, CE → AG}
6) Xét BC → D ∈ G : BC ⊆ T4 = ABCDEG, D ⊆ T4 .
T5 =T4 = ABCDEG.
G = G – {BC → D} = {AB → C, CG → BD , ACD → B, CE →AG}
7) Xét CG → BD ∈ G : CG ⊆ T5 = ABCDEG, BD ⊆ T5 .
T6 =T5 = ABCDEG.
G = G – {CG → BD} = {AB → C, ACD → B, CE →AG}
8) Xét ACD → B ∈ G : ACD ⊆ T6 = ABCDEG, B ⊆ T6 .
T7 =T6 = ABCDEG.
G = G – {ACD → B} = {AB → C, CE →AG}
51