在关系模式R中，能函数决定所有属性的属性组，称为模式R的（）

"不能从已知的FD集使用推理规则导出的FD不在F+中"，这是推理规则的（）性。

填空题"不能从已知的FD集使用推理规则导出的FD不在F+中"，这是推理规则的（）性。

从已知的FD集使用推理规则导出的FD在F+中"，这是推理规则的（）性。

填空题从已知的FD集使用推理规则导出的FD在F+中"，这是推理规则的（）性。

由属性集X函数决定的属性的集合称为（）,用符号（）表示。

填空题由属性集X函数决定的属性的集合称为（）,用符号（）表示。