填空题 设有关系模式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。