THIẾT KẾ CƠ SỞ DỮ LIỆU
QUAN HỆ (Relational Database Designing)
Phần V – PHỦ (Cover) CỦA TẬP PHỤ
THUỘC HÀM
Một số định nghĩa
Cho F, G là 2 tập phụ thuộc hàm,
F và G gọi là tương đương nếu và chỉ nếu
F
+
=G
+
Ký hiệu : F ≡ G
F gọi là phủ G nếu và chỉ nếu
F
+
⊇ G
+
2 tập Phụ thuộc hàm tương đương
Thuật toán kiểm tra F ≡ G
Bước 1 : Tính F
+
, G
+
Bước 2 : Nếu F
+
= G
+
, => F ≡ G
Thuật toán kiểm tra F ≡ G
Phủ tối thiểu (minimal cover) –Tập Phụ
thuộc hàm không đầy đủ
Cho lược đồ Q, tập PTH F, ZY ∈ F.
ZY gọi là có vế trái dư thừa hay Y phụ thuộc không
đầy đủ vào Z hay ZY là phụ thuộc hàm không đầy
đủ nếu và chỉ nếu :
∃A ⊂ Z: F ≡ (F \ {ZY}) ∪ {(Z-A)Y}
Ngược lại, ZY gọi là phụ thuộc hàm đầy đủ hay
không có vế trái dư thừa.
F được gọi (tắt) là có vế trái không dư thừa, nếu F
không chứa PTH có vế trái dư thừa.
Phủ tối thiểu của 1 tập phụ thuộc hàm (p.1)
Phụ thuộc hàm không đầy đủ - Ví dụ
Cho Q(ABC), F={ABC, BC}
Xét ABC :
F’ = F – {ABC} = {BC}
(AB-A)C = {BC}
=> F’ = (F – {ABC}) ∪ {(AB-A)C} =
{BC}
Tính (F’)
+
, ta có (F’)
+
= {ABC,BC}
Tính F
+
= F = {ABC, BC}
=> F
+
= (F’)
+
=> ABC là phụ thuộc hàm có vế trái dư thừa
Phủ tối thiểu của 1 tập phụ thuộc hàm (p.2)
Thuật toán loại khỏi F các
PTH không đầy đủ
Bước 1 : Tính F
+
Bước 2 : Duyệt tập F, với mọi d = XY∈ F :
Bước 2.1 : Duyệt các tập con X’≠∅ của X :
Nếu X’Y ∈ F
+
: thay X = X’, lặp lại 2.1
Phủ tối thiểu của 1 tập phụ thuộc hàm (p.3)
Tập phụ thuộc hàm có vế phải
1 thuộc tính
•
Định nghĩa : F được gọi là tập phụ thuộc hàm
có vế phải 1 thuộc tính nếu và chỉ nếu mọi phụ
thuộc hàm trong F đều có vế phải chỉ 1 thuộc
tính.
•
Ví dụ : F = {ABC,BC,ABD}, ta tách các
phụ thuộc hàm trong F để F thỏa tiêu chuẩn là
tập phụ thuộc hàm có vế phải 1 thuộc tính :
F = {AB, AC, BC, ABD}
Phủ tối thiểu của 1 tập phụ thuộc hàm (p.4)