Phụ thuộc hàm

Đọc : X xác định Y Tập các thuộc tính Y phụ thuộc vào tập các thuộc tính X hoặc được suy ra từ tập các thuộc tính X. X là vế trái, Y là vế phải của phụ thuộc hàm Phụ thuộc hàm X → Y là tầm thường (trivial) khi và chỉ khi Y = X. .4.2. Định nghĩa về phụ thuộc hàm