cho r là quan hệ được định nghĩa trên lượt đồ quan hệ R X và Y là hai tập con (X,Y khác rỗng) của thuộc tính R, ta nói X xác định hàm Y, kí kiệu X->Y là một phụ thuộc hàm định nghĩa trên R
cho r là quan hệ được định nghĩa trên lượt đồ quan hệ RX và Y là hai tập con (X,Y khác rỗng) của thuộc tính R, ta nói X xác định hàm Y, kí kiệu X->Y là một phụ thuộc hàm định nghĩa trên R
fo r the relationship is defined on the relational schema R respectively X and Y are both subsets (X, Y non-empty) properties of R, say X determination Y, signed procession X-> Y is a sub FD defined on R