- DEFAULT IDENTITY
5. 3.ALTER TABLE.(19)
7.2.1.7 Tập phụ thuộc hàm tối thiểu
Tập phụ thuộc hàm là tối thiểu nếu nĩ thoả mãn các điều kiện sau:
1. Chỉ cĩ một thuộc tính nằm ở phía bên phải của tất cả các phụ thuộc hàm trong F.
2. Khơng thể bỏ đi bất kỳ một phụ thuộc hàm nào trong F mà vẫn cĩ được một tập phụ thuộc hàm tương đương với F (tức là, khơng cĩ phụ thuộc hàm dư thừa).
3. Khơng thể thay thế bất kỳ phụ thuộc hàm XA nào trong F bằng phụ thuộc hàm YA, với YX mà vẫn cĩ được một tập phụ thuộc hàm tương đương với F (tức là, khơng cĩ thuộc tính dư thừa trong phụ thuộc hàm)
Nhận xét:
- Tất cả các tập phụ thuộc hàm đều cĩ phụ thuộc hàm tối thiểu tương đương với nĩ.
- Cĩ thể cĩ nhiều phụ thuộc hàm tối thiểu
Thuật tốn: Tìm tập phụ thuộc hàm tối thiểu G của F
1. Đặt G:=F.
2. Thay thế tất cả các phụ thuộc hàm X→{A1,A2,…,An} trong G bằng n phụ thuộc hàm: X →A1, X →A2,…, X →An.
3. Với mỗi phụ thuộc hàm X → A trong G, với mỗi thuộc tính B trong X nếu ((G -{X → A}) {( X - {B}) →A} ) là tương đương với G, thì thay thế X→ A bằng (X - {B}) → A trong G. (Loại bỏ thuộc tính dư thừa trong phụ thuộc hàm)
4. Với mỗi phụ thuộc hàm X → A trong G, nếu (G- {X → A}) tương đương với G, thì loại bỏ phụ thuộc hàm X → A ra khỏi G.(Loại bỏ phụ thuộc hàm dư thừa)
Ví dụ: Tìm tập phụ thuộc hàm tối thiểu G của F (hay tìm phủ tối thiểu G của F)
F = {ABC, BAC, CAB}
Bước 1: G = F = {ABC, BAC, CAB}
Bước 1. G = {AB, AC, BA, BC, CA, CB}
Bước 3. Do các phụ thuộc hàm trong G đều cĩ vế trái gồm một thuộc tính nên G vẫn giữ nguyên.
1. Do AB và BC nên AC là thừa. Do CB, BA nên C A là thừa. Bỏ đi những phụ thuộc hàm thừa ta được một tập phụ thuộc hàm tối thiểu
G = {AB, BA, BC, CB}
2. Do AB và BC nên AC là thừa. Do BC và CA nên BA là thừa. do CA, AB nên CB là thừa. Bỏ đi những phụ thuộc hàm thừa ta nhận được tập phụ thuộc hàm tối thiểu: G = { AB, BC, CA}