求正則覆蓋&判斷保持依賴

判斷左部屬性是否多餘:  算法 已知alpha  -->  beta   F(函數依賴集合) A爲alpha的一個子屬性,若其多餘,則   alpha-A  -->  beta    (在F上求閉包) alpha-A在F上求出來的閉包若是和alpha的閉包一致,則左部屬性A多餘。 判斷右部屬性是否多餘:   已知alpha  -->  beta   F(函數依賴集合) A爲beta的一個子屬性,若
相關文章
相關標籤/搜索