填空題

Armstrong公理系統(tǒng)中的增廣律的含義是:設(shè)R是一個關(guān)系模式,X,Y是U中屬性組,若X→Y為F所邏輯蘊含,且ZÍU,則()為F所邏輯蘊含。

答案: x->z
微信掃碼免費搜題