Теория зависимости

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

Я думаю, вам нужно искать функциональную зависимость вместо теории зависимости. В Википедии есть вводная статья о функциональной зависимости. Выражение "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)