定義, 定義推理閉包：給定資料庫D的屬性集合X和關聯集合F，若存在一個F中管理的作用順序從X推理的X‘，使得F中任意的關聯作用在X上的推理結果都是X'的自己，則稱X'是屬性集X在關聯集合F上的推理閉包。
