Example 1 · level 1
Consider relation R(A, B, C) with functional dependencies A → B and B → C. Which of the following functional dependencies is logically implied by the given set?
- A → C
- C → A
- B → A
- A → B
Show solution
- Compute the closure of A: A⁺ = {A, B, C} using A → B and B → C.
- Since C ∈ A⁺, the dependency A → C holds by definition of closure.
- No other attribute set yields the reverse dependencies.
Answer: A → C