2010-08-26
函數依賴　　設R(U)是一個屬性集U上的關系模式，X和Y是U的子集。 若對于R(U)的任意一個可能的關系r，r中不可能存在兩個元組在X上的屬性值相等， 而在Y上的屬性值不等， 則稱 “X函數確定Y” 或 “Y函數依賴于X”，記作X→Y。X稱為這個函數依賴的決定屬性集(Determinant)。Y=f(x)

函數依賴與屬性關系

　　屬性之間有三種關系，但并不是每一種關系都存在函數依賴。設R(U)是屬性集U上的關系模式，X、Y是U的子集：

　　● 如果X和Y之間是1：1關系（一對一關系），如學校和校長之間就是1:1關系，則存在函數依賴X → Y和Y →X。
　　● 如果X和Y之間是1：n關系（一對多關系），如學號和姓名之間就是1:n關系，則存在函數依賴X → Y。
　　●如果X和Y之間是m：n關系（多對多關系），如學生和課程之間就是m:n關系，則X和Y之間不存在函數依賴。