依赖理论

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) }>。

RTP U->T  holds

答案是：

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

Answer 1

我认为您需要搜索功能依赖而不是依赖理论。维基百科在functional dependency 上有一篇介绍性文章。 “Y->S”表示

• Y 决定 S，或
• 如果您知道“Y”的一个值，您 知道“S”的一个值（而不是 'S' 的两个或三个或七个值），或
• 如果两个元组的“Y”值相同，那么它们的“S”值也相同

我不熟悉您发布的所有符号。但我认为你被要求从关系 R 和一组函数依赖项开始，编号为 1 到 4 的函数依赖项 gamma 以供参考。

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。 （及物性，Lecturer's U->Y->S）

2. S->R，因此 S->RS。 （增强，中间步骤）

3. U->S 和 S->RS，因此 U->RS。 （及物性，Lecturer's U->Y->S->RS）

4. U->RS 和 RS->T，因此 U->T。 （及物性，Lecturer's U->Y->S->RS->T）