數據庫複習 BCNF分解算法

算法描述 輸入：關係R0和其上的函數依賴集S0 輸出：由R0分解出的關係集合，其中每一個關係均屬於BCNF 方法：下列步驟能夠被遞歸地用於任意關係R和FD集合S。初始時，R=R0，S=S0。web 檢驗R是否屬於BCNF。若是是，不須要作任何事，返回{R}做爲結果。 若是存在BCNF違例，假設爲X→Y。計算X+。選擇R1=X+做爲一個關係模式，並使另外一個關係模式R2包含屬性X以及那些不在X+中的

>>阅读原文<<