有谁知道可以很好地解释依赖理论的好网站、书籍或任何其他资源?我被困在与下图类似的问题上:
给定
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
有谁知道可以很好地解释依赖理论的好网站、书籍或任何其他资源?我被困在与下图类似的问题上:
给定
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
我认为您需要搜索功能依赖而不是依赖理论。维基百科有一篇关于功能依赖的介绍性文章。“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 开始,所以这就是特定的推理链是如何进行的。
U->Y和Y->S,因此U->S。(及物性,Lecturer's U->Y->S)
S->R,因此S->RS。(增强,中间步骤)
U->S和S->RS,因此U->RS。(及物性,Lecturer's U->Y->S->RS)
U->RS和RS->T,因此U->T。(及物性,Lecturer's U->Y->S->RS->T)