函数依赖的使用: 我们用涵数依赖来 检查关系在给定函数依赖之下是否合法 若关系r在函数依赖集F下是合法的,则称r满足 F 对合法关系集合指定约束 如果R上的所有合法关系都满足F则称F在R上 成立 注意:关系模式的特定实例可能满足一函数依赖,但该函 数依赖不是在所有合法实例上成立函数依赖的使用： 我们用函数依赖来: •检查关系在给定函数依赖之下是否合法. 若关系r 在函数依赖集F 下是合法的, 则称r 满足 F. •对合法关系集合指定约束 如果R 上的所有合法关系都满足F, 则称F 在R上 成立. 注意: 关系模式的特定实例可能满足一函数依赖, 但该函 数依赖不是在所有合法实例上成立