Теория зависимости - PullRequest
Новая
       36

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

1 голос
/ 19 марта 2011

Кто-нибудь знает хороший сайт, книгу или любые другие ресурсы, которые бы хорошо объясняли теорию зависимости? Я застрял в вопросе, аналогичном приведенному ниже:

Дано 

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

1 Ответ

2 голосов
/ 19 марта 2011

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

...