Professional Documents
Culture Documents
Ta thấy các dòng đánh dấu * là các bộ “giả”. Đấy là các
bộ giá trị không có trên thực tế.
4.2. Các phụ thuộc hàm
Một phụ thuộc hàm, ký hiệu là X→ Y, giữa hai tập thuộc tính X và Y chỉ ra một ràng
buộc trên các bộ có thể có tạo nên một trạng thái quan hệ r của R.
Ràng buộc đó là: với hai bộ bất kỳ t1 và t2 trong r , nếu có t1[X] = t2[X] thì cũng phải có
t1[Y] = t2[Y]. Điều đó có nghĩa là các giá trị của thành phần Y của một bộ trong R phụ
thuộc vào, hoặc được xác định bởi, các giá trị của thành phần X.
Nói cách khác, các giá trị của thành phần X của một bộ xác định một cách duy nhất
Chúng ta cũng nói rằng có một phụ thuộc hàm từ X vào Y hoặc Y phụ thuộc hàm vào
X.
Phụ thuộc hàm được viết tắt là FD (functional dependency). Tập thuộc tính X được
gọi là vế trái của FD, tập thuộc tính Y được gọi là vế phải của FD.
Định nghĩa phụ thuộc hàm