Теория зависимости - Вопрос - PullRequest
1 голос
/ 26 марта 2011

Последние несколько часов я пытался получить это, я включил ниже единственный выработанный мной ответ, который, кажется, может куда-то пойти, может кто-нибудь сказать мне, если я на правильном пути:

Вопрос:

   Gamma =  { U-> PT….. 1 
Q-> SU……2
W->Q……….3
T->WV…..4
V-> R……..5    }>

Q->WR держит

Буду признателен за любой совет

1 Ответ

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

Увеличение (Аксиома увеличения): Если X → Y, то XZ → YZ (из Википедии)

V -> R, следовательно WV -> WR

Вы сами сказали, Q -> WV, следовательно, Q -> WR по транзитивности?

...