If `A → B` holds in a relation, augmentation lets you also conclude
AB → A
BAC → BC for any attribute set C
CA → BC for any C
DAC → B for any C, but never AC → BC
Answer & Solution
Correct answer: B. AC → BC for any attribute set C
**Augmentation rule:** `A
→ B` implies `AC → BC` for any C. Same attribute added to BOTH sides.
The other options either invert the arrow (impossible without more info), add C to only one side, or restrict to only the LHS — none match Armstrong's actual rule.
Keep practising Database Management Systems
Browse all Database Management Systems questions for GATE CSE, or explore more Computer Science topics.