Cho l−ợc đồ quan hệ R, tập phụ thuộc hàm F và phân rã ρ. Xét một l−ợc đồ con Ri∈ρ, ta định nghĩa chiếu của tập phụ thuộc hàm trên l−ợc đồ con πRi(F) = { f ∈ F+ | f đ−ợc bao trong Ri}
• Nhận xét: Xét X ⊂ R, nếu:
1. Không tồn tại f ∈ F, vế trái(f) ⊂ X thì X+
F = X
2. Tồn tại f ∈ F, vế trái (f) ⊂ F thì X -> vế phải (f) là một phụ thuộc hàm không đầy đủ.
• Giải thuật tính πRi(F)
Vào: Tập phụ thuộc hàm F, phân rã ρ, Ri⊂ρ
Ra: Fi = πRi(F) Ph−ơng pháp: 1. Fi := ∅; 2. For ∀f:X ->Y ∈ F, X ⊂ Ri do Fi := Fi U { X -> (X+ F – X)∩Ri }; 3. Return (Fi);
Ví dụ Cho tập phụ thuộc hàm F = { A->C, B -> C} và phân rã ρ={AC,AB}. Tính F1 = πAC(F)
F1 := ∅;
A+ = AC suy ra F1 = { A->C} Tính F2 = πAC(F)
F2 := ∅;
A+ = AC mà (AC - A) ∩ AB = ∅ nên không bổ sung A-> C vào F2 B+ = BC mà (BC - B) ∩ AB = ∅ nên không bổ sung B-> C vào F2 Suy ra F2 = ∅
Ch−ơng 5 Chuẩn Hóa Cơ Sở Dữ LIệU Ch−ơng 5 Chuẩn Hóa Cơ Sở Dữ LIệU Ch−ơng 5 Chuẩn Hóa Cơ Sở Dữ LIệU Ch−ơng 5 Chuẩn Hóa Cơ Sở Dữ LIệU
5.1 Các dạng chuẩn 5.1 Các dạng chuẩn 5.1 Các dạng chuẩn 5.1 Các dạng chuẩn
Mục đích của dạng chuẩn là loại bỏ d− thừa dữ liệu mà các phụ thuộc hàm có thể gây ra trong l−ợc đồ cơ sở dữ liệu và những bất th−ờng xảy ra khi thao tác dữ liệu (thêm, xóa dữ liệu).
Các dạng chuẩn đ−ợc đ−a ra có tính thừa kế nh− sau:
Dữ liệu thô ch−a chuẩn hóa (ban đầu) Dạng chuẩn 1 Dạng chuẩn 2 Dạng chuẩn 3 Dạng chuẩn 4