關係數據庫規範化之函數依賴和範式

設R(u)是一個屬性集上的關係模式，x,y是u的子集。函數 函數依賴：若是x-->y,則稱y函數依賴於x。數據 平凡函數依賴：若是x-->y，且y是x的子集。範式 非平凡函數依賴：若是x--->，且y不是x的子集。 徹底函數依賴：若是x-->y，且x的任何一個真子集都不能推出y，則y徹底函數依賴於x。 部分函數依賴：若是x-->y，且x的至少存在一個真子集能推出y，則y部分函數依賴於x。 傳遞函數

>>阅读原文<<