《數據庫系統概論》第六章 關係數據理論

第六章 關係數據理論 1.函數依賴的定義：設R(U)是屬性集U上的關係模式，X,Y是U的子集，且對於R(U)上任意一個可能的關係r，r中不存在兩個不一樣的Y對應於相同的X的狀況，則稱Y函數依賴於X，記做X->Y算法 2.徹底函數依賴：在R(U)中，若是X->Y，而且對於X的任何一個真子集X'都有X'不蘊含Y，則稱Y對X徹底函數依賴閉包 3.傳遞函數依賴：在R(U)中，若是X->Y(Y不含於X)，Y

>>阅读原文<<