填空题
在关系模式R中，能函数决定所有属性的属性组，称为模式R的（）
超键(注：不能回答"候选键")
填空题 "不能从已知的FD集使用推理规则导出的FD不在F+中"，这是推理规则的（）性。
填空题 从已知的FD集使用推理规则导出的FD在F+中"，这是推理规则的（）性。
填空题 由属性集X函数决定的属性的集合称为（）,用符号（）表示。
填空题 被函数依赖集F逻辑蕴涵的函数依赖的全体构成的集合称为（），用符号（）表示。
填空题 解决数据冗余的主要方法是（）
