如果 XY-->XZ 然后 Y-->Z 函数依赖？

Question

我知道如果 Y-->Z 那么 XY-->XZ 但它是否以其他方式工作？也就是说，如果 XY-->XZ 那么是否意味着 Y-->Z？

这是真的还是假的？我该如何证明？

Answer 1

该说法是错误的。考虑一个具有属性 SSN、姓名、出生日期的关系 Person，其中 SSN 是唯一的，而 Name 和 BirthDate 可以不是唯一的。以下 FD 在此关系中成立：

SSN, Name → SSN, BirthDate

但是你不能由此推断：

Name → BirthDate

因为同名的不同人可能有不同的出生日期。

真正的是所谓的分解规则：

{x → YZ} ⊢ X → Y

因此，例如，来自

SSN → Name, BirthDate

你可以安全地得出：

SSN → BirthDate

Functional dependency if XY-->XZ then Y-->Z?