Machine-translated by Google. Questions are authored in English.
Top

Discussion

Consider the following set of functional dipendencies of the schema (A, B, C) :

A → BC, B → C, A → B, AB → C

Then the canonical cover for this set is :

  • A.A → BC & AB → C
  • B.A → BC & A → B
  • C.A → BC & B → C
  • D.A → B & B → C

Answer: D

The canonical cover is A → B & B → C.

  1. Split right sides: A → B, A → C, B → C, A → B, AB → C.
  2. In AB → C, B is extraneous, because A → C already holds; it becomes A → C.
  3. A → C is redundant: it follows from A → B and B → C by transitivity.

What remains is A → B and B → C, which still implies everything in the original set. Options containing A → BC keep a redundant attribute (C is derivable from B), and AB → C has an extraneous attribute, so A, B and C are not minimal.

No comment is present. Be the first to comment.
Loading…

Post your comment

Please log in or register to post a comment.