 PTH
Phụ thuộc hàm
Cho lược đồ quan hệ R = {A1, A2,…,An}. Cho X và Y là các thuộc tính của R. Ta nói X xác định hàm Y hay Y phụ thuộc hàm X, ký hiệu X ® Y nếu mọi quan hệ r của lược đồ R thỏa mãn:
Với bất kỳ 2 bộ t1, t2 Î r: t1[X] = t2[X] ® t1[Y] = t2[Y]
Định nghĩa: Cho lược đồ R và tập phụ thuộc hàm F của R, cho X, Y Ì R, ta nói F suy diễn logic X -> Y hoặc X -> Y được suy diễn logic từ F, ký hiệu F|= X -> Y, nếu mọi quan hệ của R thỏa mãn các phụ thuộc trong F thì cũng thỏa mãn phụ thuộc X -> Y
Bao đóng của tập PTH
Định nghĩa: Bao đóng của tập PTH F trên lược đồ R là tập hợp tất cả phụ thuộc suy diễn logic từ F, ký hiệu F+
Khóa và siêu khóa
Khóa: Cho lược đồ R với tập phụ thuộc hàm F. Tập các thuộc tính K Ì R gọi là khóa của R nếu K -> R Î F+ thì K là khóa
Siêu khóa: là tập hợp các thuộc tính có chứa khóa hay nói cách khác khóa là một siêu khóa cực tiểu
Thuộc tính khóa: là thuộc tính của một khóa nào đó trong một lược đồ
Phủ tối thiểu
a.Định nghĩa: Tập các phụ thuộc hàm F là tối thiểu nếu:
- Mỗi vế phải của một PTH thuộc F chỉ có một thuộc tính
- Không tồn tại một PTH X -> A thuộc F mà
F+ = (F – {X -> A})+
- Không tồn tại một phụ thuộc hàm X -> A thuộc F và một tập con Z của X mà:
F+ = (F – {X -> A}È{Z -> A})+
|
|