Minimum closure of F (functional dependencies) help

1. The problem statement, all variables and given/known data

F = {S -> NOPQZVWX, NX -> UV, NXT -> RY, YQ -> NXR, QZ -> S, PQ -> S}

Find the minimum closure of F.

2. Relevant equations


3. The attempt at a solution

So far I have made RHS of each FD into a single attribute and then I eliminated redundant attributes from LHS.

This is what I got. Is it correct so far? Do I still have to delete more stuff? I don't know what to do with QZ -> S and PQ -> S in terms of if they should be removed or not.

{NX -> U, NX -> V, S -> N, S -> O, S -> P, S -> Q, S -> Z, S -> V, S -> W, S -> X, NXT -> Y, QZ -> S, PQ -> S, YQ -> N, YQ -> X}

The Physics Forums Way

We Value Quality
• Topics based on mainstream science
• Proper English grammar and spelling
We Value Civility
• Positive and compassionate attitudes
• Patience while debating
We Value Productivity
• Disciplined to remain on-topic
• Recognition of own weaknesses
• Solo and co-op problem solving