函式依賴閉包

概述

在關係模式R<U，F>中為F所邏輯蘊含

的函式依賴的全體叫作 F的閉包，記為F+。

定義5.13 設F為屬性集U上的一組函式依賴，X U， XF+ ={ A|X→A能由F 根據Armstrong公理導出}，XF+稱為屬性集X關於函式依賴集F 的閉包。

令F為一函式依賴集，F邏輯蘊含的所有函式依賴組成的集合稱為F的閉包，記為F+。