[ Mathematik ] Offene Frage : Funktionale Abhängigkeit: Attributhülle?

Hallo. Eine Frage zu funktionalen Abhängigkeiten. Attributhüllen werden ja auf Basis von F, also aller gegebenen funktionalen Abhängigkeiten, gebildet. Ist es in Ordnung, dass man die Attributhüllen immer vom GANZ ursprünglichen F bildet oder muss man, immer wenn man bei der kanonischen Überdeckung eine AttributKÜRZUNG macht, danach alle Attributhüllen wieder neu bilden und dann mit der neuen Menge von F weitermachen? Oder kann ich einfach für die Attributhülle immer das ANFANGS-F nehmen? Vielen Dank :)