Question
Let the set of functional dependencies hold on a relation schema . is not in BCNF. Suppose is decomposed into two schemas and , where and .
Consider the two statements given below.
I. Both and are in BCNF
II. Decomposition of into and is dependency preserving and lossless
Which of the above statements is/are correct?
Official answer and solution
- Official answer
- C
- From
- Official GATE 2019 answer key
Solution
Test the decomposition for BCNF, lossless join, and dependency preservation.
Given schema and .
Candidate keys of :
- is a candidate key.
- Since , is a candidate key.
Checking Statement II (Lossless and Dependency Preserving):
- Lossless Join: .
In , we have , which means functionally determines ( is a superkey of ). By the lossless join theorem, the decomposition is lossless. - Dependency Preservation:
- is preserved in .
- and involve only attributes of and are preserved in .
All functional dependencies in are preserved. Thus the decomposition is dependency preserving.
Hence, Statement II is TRUE.
Checking Statement I (BCNF for Y and Z):
- In , the candidate key is , and the only dependency is . Since is a superkey, is in BCNF.
- In , candidate keys are and .
The dependency holds in . Here, the determinant is NOT a superkey of because .
Thus, violates BCNF.
Hence, Statement I is FALSE.
Therefore, only Statement II is correct (Option C).
C
Assuming Z is in BCNF because S is a prime attribute (which satisfies 3NF, but NOT BCNF).
The answer is the one in the official GATE answer key. The solution is this site's own explanation.
Source
- Paper
- GATE 2019 Computer Science and Information Technology (CS)
- Question
- 42 of 65, printed as CS Q.32
- Section
- Computer Science and Information Technology
Report an error in this question
GATE questions are the work of the organising institutes. This site is independent and is not affiliated with them.