填空题
在关系模式R（U，F）中，被F所逻辑蕴涵的函数依赖的全体称作F的（），记为（）
闭包；F+
填空题 关系模式中，函数依赖的推理规则主要有：（）、（）、（）。这三条规则还可以有3条推论：（）规则、（）规则、（）规则。
填空题 设有关系模式R（U，F），X包含于U、Y包含于U，如果从F中的函数依赖能够推导出X→Y，则称F逻辑蕴涵X→Y，或称X→Y是F的（）
填空题 如果X→Y非平凡函数依赖，并且X不函数依赖于Y、Y→Z，则称Z（）于X。
