關係規範化之求最小函數依賴集(最小覆蓋)

最小函數依賴集 1、等價和覆蓋   定義:關係模式R<U,F>上的兩個依賴集F和G,若是F+=G+,則稱F和G是等價的,記作F≡G。若F≡G,則稱G是F的一個覆蓋,反之亦然。兩個等價的函數依賴集在表達能力上是徹底相同的。    2、最小函數依賴集   定義:若是函數依賴集F知足下列條件,則稱F爲最小函數依賴集或最小覆蓋。   ① F中的任何一個函數依賴的右部僅含有一個屬性;   ② F中不存在這樣
相關文章
相關標籤/搜索