填空题
设有关系模式R（U，F），X包含于U、Y包含于U，如果从F中的函数依赖能够推导出X→Y，则称F逻辑蕴涵X→Y，或称X→Y是F的（）
逻辑蕴涵
填空题 如果X→Y非平凡函数依赖，并且X不函数依赖于Y、Y→Z，则称Z（）于X。
填空题 如果X→Y，并且对于X的一个任意真子集X′，Y都不函数依赖于X′，则称Y（）于X；如果存在X′→Y，则称Y（）于X。
填空题 如果X→Y，并且Y→X，则可记作X←→Y，这时X和Y可以称做（）
