Question:hard

In the context of relational database normalization, which of the following statements is/are true?

Show Hint

A dependency-preserving decomposition can always be constructed up to 3NF using the synthesis algorithm, and anything weaker than 3NF, such as 2NF and 1NF, automatically inherits that guarantee. BCNF is the one normal form where the guarantee can fail, as shown by the classic \(AB \to C\), \(C \to B\) counterexample.
Updated On: Jul 22, 2026
  • It is always possible to obtain a dependency-preserving 3NF decomposition of a relation.
  • It is always possible to obtain a dependency-preserving 1NF decomposition of a relation.
  • It is not always possible to obtain a dependency-preserving BCNF decomposition of a relation.
  • It is not always possible to obtain a dependency-preserving 2NF decomposition of a relation.
Show Solution

The Correct Option is A, B, C

Solution and Explanation

A quick way to see this is to picture the normal forms as nested boxes, where $1NF \supseteq 2NF \supseteq 3NF \supseteq BCNF$, with BCNF being the strictest and 1NF the loosest.
  • There is a proven synthesis procedure that turns any relation and its functional dependency set into a 3NF decomposition that is both lossless join and dependency preserving at the same time. Since this procedure always succeeds, option (A) holds.
  • That same 3NF decomposition automatically satisfies the looser 2NF and 1NF conditions too, since 3NF implies 2NF implies 1NF. The guarantee therefore carries downward to weaker normal forms, so dependency-preserving 2NF and 1NF decompositions are also always achievable. This makes option (B) correct and shows option (D) is wrong, since it wrongly denies this for 2NF.
  • BCNF sits above 3NF in strictness, and that is exactly where the guarantee breaks. Take $R(A,B,C)$ with $AB \to C$ and $C \to B$: $R$ fails BCNF because of $C \to B$, but any lossless BCNF split, such as $(A,C)$ and $(B,C)$, destroys the ability to check $AB \to C$ without rejoining. So a dependency-preserving BCNF decomposition is not always possible, confirming option (C).
Putting these together, (A), (B) and (C) hold while (D) does not.
$$\boxed{\text{Correct options: (A), (B), (C)}}$$
Was this answer helpful?
0

Questions Asked in GATE CS exam