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

谈论无损连接的先决条件是作了（）的假设。 关系模式R有n个属性，则在模式R上可能成立的函数依赖有（）个，其中平凡的FD有（）个，非平凡的FD有（）个。 两个函数依赖集F和G等价的充分必要条件是（） 由属性集X函数决定的属性的集合称为（）,用符号（）表示。 被函数依赖集F逻辑蕴涵的函数依赖的全体构成的集合称为（），用符号（）表示。 "不能从已知的FD集使用推理规则导出的FD不在F+中"，这是推理规则的（）性。