[填空题] 被函数依赖集F逻辑蕴涵的函数依赖的全体构成的集合称为（），用符号（）表示。

在关系模式R中，能函数决定所有属性的属性组，称为模式R的（） "不能从已知的FD集使用推理规则导出的FD不在F+中"，这是推理规则的（）性。 从已知的FD集使用推理规则导出的FD在F+中"，这是推理规则的（）性。 关系模式的操作异常问题往往是由（）引起的。 安全运算是指不产生（）和（）的运算。 被函数依赖集F逻辑蕴涵的函数依赖的全体构成的集合称为（），用符号（）表示。