依赖理论

Question

我有：

U-> PT….. 1 

Q-> SU……2 

等等。

在使用反身性公理时，我可以说

Q-> S , Q-> U
Q-> PT

我试着用上面的例子来问这个公理是如何工作的。

Answer 1

派生

Q->S
Q->U

从…

Q->SU

我会使用分解规则，而不是反身性公理。然后，我会将传递性公理应用于Q->U, U->PT来派生Q->PT。

如果你在问反身性公理是什么意思，它的意思是

If Y is a subset of X, then X->Y。

在您的示例中，看起来您可能想说

SU is a subset of Q, therefore Q->S and Q->U. 

但这并不意味着SU是Q的子集。为了确保你得到这一点，Q->SU并不意味着SU是Q的子集。

例如，如果你在军队中，你的姓氏和血型(以及其他)在功能上取决于你的服役编号。让我们用"S“表示服务编号属性，用"L”表示姓氏，用"B“表示血型。然后

S->LB

但是“姓氏”和“血型”都不是“服务号码”的子集。

另一方面，让我们假设你一开始就有这样的想法。

U->PT
Q->SU
Q = {SUV} (New information!)

由于Q={SUV}，{S}是{SUV}的子集，而{U}是{SUV}的子集，那么您可以应用自反性公理来推导

Q->S (or SUV->S)
Q->U (or SUV->U)

但该公理仅适用于此示例，因为您将获得Q={SUV}。