X→Y能从推理规则导出的充分必要条件是()。
A. Y⊆X
B. Y⊆X +
C. X⊆Y +
D. X +=Y +
下列说法正确的是()
A. 任何一个包含两个属性的关系模式一定满足3NF
B. 任何一个包含两个属性的关系模式一定满足BCNF
C. 任何一个包含三个属性的关系模式一定满足3NF
D. 任何一个关系模式都一定有码
从已知的函数依赖集使用推理规则导出的函数依赖在F+中”,是推理规则的 性,而“不能从已知的函数依赖使用推理规则导出的函数依赖不在F +中”,是推理规则的 性。
由属性集X函数决定的属性的集合,称为;被函数依赖集F逻辑蕴涵的函数依赖的全体构成的集合,称为。