【資料庫】—閉包

杜_小妖發表於2016-09-22
資料庫

    設X是函式依賴集，被X邏輯蘊涵的函式依賴全體構成的集合，稱為函式依賴集X的閉包，記為。

    設F是屬性集U上的FD集，X是U的子集，那麼(相對於F）屬性集X的閉包用表示，它是一個從F集使用FD推理規則推出的所有滿足X→A的屬性A的集合。通俗點來講，閉包就是通過這些屬效能夠直接推出或間接推出的屬性集的集合。

下面列舉一些關於閉包的例子：

【例1】.屬性集U為ABCD，FD集為{A→B,B→C,D→B}。求，，。
    答：=ABC   =ABCD    =BCD

        解析：A推出B，B推出C，所以A的閉包為ABC；AD，BD同理可得。

【例2】.已知關係模式R<U,F>，其中U={A,B,C,D,E}；F={AB→C，B→D，C→E，EC→B，         AC→B}。求屬性集AB相對於FD集F的閉包。
    答：=ABCDE

    解析：AB可以推出C，C可推出E，B可推出D，由此可知AB的閉包包含了U中的所有屬性集，所以=ABCDE。

      

相關文章