Given the following two statements:
S1: Every table with two single-valued attributes is in and
S2: is a minimal cover for the set of functional dependencies .
Which one of the following is CORRECT?
View worked solution
Answer: A
Statement S1 is TRUE:
Consider a relation with two single-valued attributes. Since the attributes are single-valued, it is in 1NF. For any non-trivial functional dependency (FD) to exist, the only possibilities are:
- : Here, is the candidate key, making the left-hand side (LHS) a superkey.
- : Here, is the candidate key, making the LHS a superkey.
- Both and : Both and are candidate keys, so the LHS of both FDs are superkeys.
- No non-trivial FDs exist: BCNF is vacuously satisfied.
In all cases, for every non-trivial FD , is a superkey. Thus, is always in BCNF, which implies it is also in 3NF, 2NF, and 1NF.
Statement S2 is FALSE:
For a set of FDs to be a minimal cover of , they must be equivalent (). Let's test the proposed cover against the original set :
- Under , the attribute closure of is: .
- Under , the attribute closure of is: .
Since cannot be derived from , the sets are not equivalent. Thus, is not a minimal cover.
Free practice · Your answers on this page are not saved.
