填空題

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

答案：邏輯蘊涵

你可能感興趣的試題

如果X→Y非平凡函數(shù)依賴，并且X不函數(shù)依賴于Y、Y→Z，則稱Z（）于X。

答案：傳遞函數(shù)依賴

如果X→Y，并且對于X的一個任意真子集X′，Y都不函數(shù)依賴于X′，則稱Y（）于X；如果存在X′→Y，則稱Y（）于X。

答案：完全依賴；部分依賴