1，定義：設F爲屬性集U上的一組函數依賴集，X包含於U，XF+ = { A | X–>A 能由F根據Armstrong公理導出 }，XF+稱爲屬性集X上關於函數依賴集F的閉包。
2，求閉包步驟：
例題1： U = {A,B,C,D,E}， F= { AB–>C ,B -->D, C–>E, EC–>B, AC–>B},求AB的閉包 （AB）F+
解：
例題2： U= {A,B,C,D,E,G,H,P}, F= { AB–>CE, A–>C,GP–>B, EP–>A, CDE–>P, HB–>P, D–>HG, ABC–>DG},求D的閉包DF+
解：
