填空題

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

答案: x->z
微信掃碼免費(fèi)搜題