Định nghĩa: Cho r(A,B,C) , với r là quan hệ và A,B,C là thuộc tính Phụ thuộc hàm A → B ( đọc là A xác định B) được định nghĩa là: ∀ t, t’ ∈ r nếu = t’.A thì = t’.B Ý nghĩa : Nếu hai bộ có cùng trị A thì có cùng trị B. tiên đề cho phụ thuộc hàm Cho lược đồ quan hệ r(U), F là tập các phụ thuộc hàm được định nghĩa trên quan hệ r, U là tập thuộc tính. Phụ thuộc hàm A → B Ta có.