database - 依赖理论

Question

我有：

U-> PT….. 1 

Q-> SU……2 

ETC...

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

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

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

Answer 1

推导

Q->S
Q->U

从

Q->SU

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

如果您要问自反性公理是什么意思，它的意思是

如果 Y 是 X 的子集，则 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}。