从已知的函数依赖集使用推理规则导出的函数依赖在F+中”,是推理规则的 性,而“不能从已知的函数依赖使用推理规则导出的函数依赖不在F +中”,是推理规则的 性。
查看答案
由属性集X函数决定的属性的集合,称为;被函数依赖集F逻辑蕴涵的函数依赖的全体构成的集合,称为。
设有关系模式R(A,B,C,D),函数依赖F={AB→C,D→B},则F在模式ACD上的投影为;F在模式AC上的投影为。
在关系模式的分解中,数据等价用衡量,函数依赖等价用衡量。
设有关系模式R(A,B,C,D),函数依赖F={AB→C,C→D,D→A},则R的所有3个可能的候选码分别是、、。