I have been trying for the past few hours to get this, 开发者_高级运维I have included below the only answer I have worked out that seems like it may go somewhere, can someone tell me if I am on the right tracks:
Question:
Gamma = { U-> PT….. 1
Q-> SU……2
W->Q……….3
T->WV…..4
V-> R……..5 }>
Q->WR
holds
Any advice would be appreciated
Augmentation (Axiom of Augmentation): If X → Y, then XZ → YZ (from Wikipedia)
V -> R, hence WV -> WR
You said yourself, Q -> WV, therefore, Q -> WR by transitivity ?
精彩评论