The set of functional dependencies F = {A → BC, B → C, A → B, AB → C} is given. How many functional dependencies does a canonical (minimal)…

Explanation

Splitting A → BC and removing the duplicate gives A → B, A → C, B → C and AB → C; A is extraneous in AB → C, and A → C is implied by A → B and B → C, leaving the minimal cover {A → B, B → C}.