Given FDs
U → V U → W V → X WX → Y WX → Z
Option-wise verification
Option 1: VW → YZ ✅ TRUE
From V → X, get VW → X (augmentation).
With W and X, use WX → Y and WX → Z.
So (VW)⁺ = {V, W, X, Y, Z} ⇒ VW → YZ.
Option 2: WX → YZ ✅ TRUE
Given WX → Y and WX → Z.
By union, WX → YZ.
Option 3: VW → U ❌ FALSE
(VW)⁺ = {V, W, X, Y, Z} does not contain U.
So VW → U does not follow.
Option 4: VW → Y ✅ TRUE
From Option 1, since VW → YZ, by decomposition ⇒ VW → Y.