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

Question

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

Вопрос:

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

Q->WR держит

Любой совет будет принят во внимание

Answer 1

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

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

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