數據庫關係規範化函數依賴

函數依賴:設R(U)是屬性集U上的關係模式，X和Y是U的子集。若對於R(U)的任意一個可能的關係r,r中不可能存在兩個元組在X上得屬性值相等，而在Y上的屬性值不等，則稱「X函數確定Y」或「Y函數依賴於X」，記作X->Y 物理解釋：Y=f(X),即若輸入X的同一個值，Y的輸出值是唯一確定的，即X與Y之間是一對一，或多對一關係，則稱X->Y 平凡函數依賴與非平凡函數依賴 給定關係模式R(U),X和Y是

>>阅读原文<<