database - 依存性理論 - 質問

Question

私は過去数時間、これを取得しようとしてきました。私が解決した唯一の答えを以下に含めました。

質問：

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

Q->WR ホールド

アドバイスをいただければ幸いです

Answer 1

Augmentation（Axiom of Augmentation）：X→Yの場合、XZ→YZ（Wikipediaから）

V-> R、したがってWV-> WR

あなたは自分自身に言いました、Q-> WV、したがって、推移性によるQ-> WR？