函式依賴閉包

函式依賴閉包

函式依賴閉包是現代詞,是一個專有名詞,指的是在關係模式R中為F所邏輯蘊含的函式依賴的全體叫作 F的閉包,記為F+。

簡介

關係模式R<U,F>中為F所邏輯蘊含
函式依賴的全體叫作 F的閉包,記為F+。
定義5.13 設F為屬性集U上的一組函式依賴,X U, XF+ ={ A|X→A能由F 根據Armstrong公理導出},XF+稱為屬性集X關於函式依賴集F 的閉包
在關係模式R<U,F>中為F所邏輯蘊含
函式依賴全體叫作 F的閉包,記為F+。

相關條目

電腦,數據

相關詞條

相關搜尋

熱門詞條

聯絡我們