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
T4 =T3 ∪ D = ABCD.
G = G – {C → D} = ∅.
Như vậy T4 = (A) + = ABCD.
II: A → D ∈ F + ⇔ D ⊆ ABCD.
3.5 Phụ thuộc dư thừa, tập các phụ thuộc tương đương
3.5.1 Tập các phụ thuộc tương đương
Cho 2 tập các phụ thuộc hàm F và G cùng thoả trên một lược đồ s = . Nói rằng
F và G tương đương, ký hiệu F ≅ G , khi và chỉ khi F + ≡ G + , tức là các phụ thuộc của
F được suy dẫn logic từ G và các phụ thuộc của G được suy dẫn logic từ F.
3.5.2 Phụ thuộc dư thừa
Định nghĩa: Cho F = {Lj → Rj ⏐Lj, Rj ⊆ Ω} là tập các phụ thuộc hàm thoả trên lược đồ
quan hệ s = . Phụ thuộc X → Y ∈ F là phụ thuộc dư thừa, khi và chỉ khi X → Y
được suy dẫn logic từ G := F – {X → Y}, ngược lại phụ thuộc X → Y được gọi là phụ
thuộc không dư thừa. Ký hiệu tập G là tập tất cả các phụ thuộc không dư thừa của tập F.
Một tập các phụ thuộc hàm cho trước bỏ đi những phụ thuộc dư thừa, tập còn lại sẽ tương
đương với tập đầu tiên.
Thuật toán 3.2: Xác định tập các phụ thuộc không dư thừa
Cho F ={Lj → Rj ⏐Lj, Rj ⊆ Ω} thoả trên lược đồ quan hệ s = . Thuật toán cho
phép kiểm tra một phụ thuộc bất kỳ A → B thuộc F có là phụ thuộc dư thừa hay không.
Bước 1: G:= F – {A → B}.
Nếu G ≠ ∅ tiếp tục thực hiện bước 2.
Ngược lại, nếu G = ∅ khi đó A → B là phụ thuộc không dư thừa.
Bước 2: Gán T1 = {A}.
Bước 3: For X → Y ∈ G , sao cho X ⊆ T1 .
Ti = Ti-1 ∪ {Y} . i = 2,3.....,
Nếu B ⊄ Ti , khi đó G := G – {X → Y}.
Nếu G ≠ ∅, lập bước 3.
Nếu G = ∅, khi đó A → B là phụ thuộc không dư thừa.
Nếu B ⊆ Ti , khi đó A → B là phụ thuộc dư thừa.
Ví dụ 8: Cho tập phụ thuộc hàm F = { X → YW, XW → Z, Z →Y, XY → Z}.
XY → Z là phụ thuộc dư thừa của F ?
1) G:= F – {XY → Z} = {X → YW, XW → Z, Z →Y}.
2) T1 = {XY}
Khảo sát: X → YW: X ⊆ T1 = {XY} và Z ⊄ T1
√ T2 = T1 ∪ {YW} = {XY} ∪ {XYW }.
√ G:= G – {X → YW} = {XW → Z, Z → Y}
54