填空題

設(shè)有關(guān)系模式R（U，F(xiàn)），X包含于U、Y包含于U，如果從F中的函數(shù)依賴能夠推導(dǎo)出X→Y，則稱F邏輯蘊(yùn)涵X→Y，或稱X→Y是F的（）

答案： 邏輯蘊(yùn)涵
微信掃碼免費(fèi)搜題