函數依賴、碼、範式

函數依賴 設R(U)是一個屬性集U上的關係模式，X和Y是U的子集若對於R(U)的任意一個可能的關係r，r中不可能存在兩個元組在X上的屬性值相等， 而在Y上的屬性值不等， 則稱 「X函數確定Y」 或 「Y函數依賴於X」，記作X→Y。 X稱爲這個函數依賴的決定屬性集(Determinant)。 Y=f(x) 函數依賴可以從不同的角度分爲 平凡函數依賴與非平凡函數依賴 完全函數依賴與部分函數依賴 傳遞函

>>阅读原文<<