Oh wow.. I will try to reply with something but its been a few years since ive even looked at functional dependencies and when I did I had no idea what I was doing :P
if P, R, S -> K and P, Q -> R then P, Q, S -> K (transitivity I think :P hehe)
P, Q is a subset of R so R, Q, S -> K (I might have use that wrong)
R1(
K, R, S)
R2(
R, P, Q)
Forgive me if I butchered this.. I tried

hehe.