設R(U)是一個屬性集U上的關係模式，X和Y是U的子集。

　　若對於R(U)的任意一個可能的關係r，r中不可能存在兩個元組在X上的屬性值相等， 而在Y上的屬性值不等， 則稱 “X函式確定Y” 或 “Y函式依賴於X”，記作X→Y。

　　X稱為這個函式依賴的決定屬性集(Determinant)。

　　Y=f(x)

　　說明：

　　1. 函式依賴不是指關係模式R的某個或某些關係例項滿足的約束條件，而是指R的所有關係例項均要滿足的約束條件。

　　2. 函式依賴是語義範疇的概念。只能根據資料的語義來確定函式依賴。

　　例如“姓名→年齡”這個函式依賴只有在不允許有同名人的條件下成立

　　3. 資料庫設計者可以對現實世界作強制的規定。例如規定不允許同名人出現，函式依賴“姓名→年齡”成立。所插入的元組必須滿足規定的函式依賴，若發現有同名人存在， 則拒絕裝入該元組。

　　例: Student(Sno, Sname, Ssex, Sage, Sdept)

　　假設不允許重名，則有:

　　Sno → Ssex， Sno → Sage , Sno → Sdept，

　　Sno ←→ Sname, Sname → Ssex， Sname → Sage

　　Sname → Sdept

　　但Ssex －\→Sage

　　若X→Y，並且Y→X, 則記為X←→Y。

　　若Y不函式依賴於X, 則記為X－\→Y。

　　在關係模式R(U)中，對於U的子集X和Y，

　　如果X→Y，但Y 不為 X的子集，則稱X→Y是非平凡的函式依賴

　　若X→Y，但Y 為 X的子集, 則稱X→Y是平凡的函式依賴

　　例：在關係SC(Sno, Cno, Grade)中，

　　非平凡函式依賴： (Sno, Cno) → Grade

　　平凡函式依賴： (Sno, Cno) → Sno

　　(Sno, Cno) → Cno

　　部分函式依賴： 若x->y 並且，存在X的真子集x1，使得x1->y,則 y部分依賴於 x。

　　完全函式依賴：若x->y並且，對於x的任何一個真子集x1，都不存在x1->y 則稱y完全依賴於x。