依赖理论

Question

有没有人知道一个好的网站，书籍或任何其他可以解释依赖理论的资源？我被困在一个类似的问题上，如下所示：

给定的

R   < A = {P,Q,R,S,T,U,Y },


gamma = {Y->S   …(1)
       Q->ST….(2)  

U-> Y……(3)
       S->R  …...(4)

RS->T…….(5) }>。3. RTP U->T持有

答案是：

U -> Y -> S -> RS -> T
aug (4) by S  S->R

Answer 1

我认为您需要搜索函数依赖，而不是依赖理论。维基百科有一篇关于功能依赖的介绍性文章。"Y->S“的意思是

• Y决定S，或
• 如果你知道'Y‘的一个值，你就知道'S’的一个值(而不是‘S’的两个或三个或七个值)，或者
• 如果两个元组对'Y‘具有相同的值，它们对'S’的值也是相同的

我不太熟悉你贴的所有符号。但我想你应该从关系R和一组1到4的函数依赖伽玛开始，作为参考。

Relation R = {P,Q,R,S,T,U,Y }

FD gamma = {Y->S   (1)
            Q->ST  (2)  
            U-> Y  (3)
            S->R   (4) }

这似乎是几个问题的“设置”。然后，您被要求假设这一额外的功能依赖。

RS->T  (5)

根据设置和附加的FD，您应该证明函数依赖U->T仍然有效。讲师的回答是"U -> Y -> S -> RS -> T"，我认为这是讲师希望你遵循的推论链。首先给出U->Y和Y->S，这是具体的推理链。

1. U->Y和Y->S，因此U->S.(传递性，讲师的U->Y->S)
2. S->R，因此S->RS.(增强，中间步骤)
3. U->S和S->RS，因此U->RS.(传递性，讲师的U->Y->S->RS)
4. U->RS和RS->T，因此U->T.(传递性，讲师U->Y->S->RS->T)