Antwort
Die kanonische Überdeckung ist nicht eindeutig, da im Algorithmus zur bestimmung der kÜ nicht festgelegt wird in welcher Reihenfolge die funktionalen Anhängigkeiten bearbeitet werden.
Bsp:
Funktionale Abh. A->BC, B->AC
wenn du es von links nach rechts abarbeitest kommt die kÜ Fc = {A->B, B->AC) raus, von rechts nach links die kÜ Fc = {A->BC, B->A}