DSA Factory
Free Keys, ER and normalization lessonsKeys, ER and normalization · Stage 2 · Functional dependencies · Step 1

Functional dependencies and closure

What 'A determines B' means, how to infer new dependencies, and how to compute an attribute set's closure. About 15 minutes.

Quick check

With the FDs A → B and B → C, which of these is NOT implied?

  1. AC → A
  2. BA → C
  3. CA → BC
Show the answer

C → A. {C}⁺ is just {C}: nothing leads back to A.

Lock it in

4 questions on this idea

Short questions that apply the idea to new cases: trace it, work out a number, put steps in order. A wrong answer explains itself.

Answer them in your browserFree account, no card. Your progress is saved, and the idea comes back in a quick review later.
Sign up free to solve