填空题

()是指:如果关系r的两个元组在α上的属性值相等,则它们在β上的属性值也必然相等。

【参考答案】

函数依赖