填空题
在关系模式R（U，F）中，被F所逻辑蕴涵的函数依赖的全体称作F的（），记为（）。 设F和G是两个函数依赖集，如果F+包含于G+和G+包含于F+同时成立，即F+＝G+，则称F和G（）。
闭包；F+；等价
填空题 关系模式中，函数依赖的推理规则主要有：（）。这三条规则还可以有3条推论：（）规则、（）规则、（）规则。
填空题 如果X→Y（非平凡函数依赖，并且X不函数依赖于Y）、Y→Z，则称Z（）于X。
填空题 如果X→Y，但Y不包含于X，则称X→Y是（）的函数依赖。 如果X→Y，则X称作（）。 如果K是关系模式R（U，F）的任一候选关键字，X是任一属性或属性集，如果X∈K，则X称为（）；否则称为（）。
