Hallo liebe Mitglieder,
ich habe leider möglicherweise ein Verständnisproblem und hoffe, dass Ihr mir weiterhelfen könnt.
Ich möchte zu folgenden FDs die Kanonische Überdeckung ermitteln:
(habe die FDs schon mittels Dekomposition aufgelöst)
A -> B
A -> C
A -> D
A -> E
A -> F
A -> G
B -> E
B -> F
B, G -> A
B, G -> C
B, G -> D
C -> A
C -> B
C -> D
C -> E
C -> F
C -> G
D -> F
E -> B
E -> F
E, G -> A
E, G -> D
E, G -> C
G -> F

Linksreduktion: Ich prüfe z.B.: für: B, G -> A ob ich B weglassen kann, indem ich die Attribut Hülle von G auf das Attribut A untersuche. Ist also A in der Attribut Hülle von G enthalten, ist es überflüssig und kann entfernt werden.
Nun, alles linksreduziert komme ich auf keine überflüssigen Attribute.

Rechtsreduktion: Ich prüfe z.B.: A -> B ob B in der Attribut Hülle von A enthalten ist, wenn A um dieses reduziert ist. Ist B eine Teilmenge von Attributhülle A kann B weggelassen werden.
- wieder keine reduzierten FDs.

Habe ich das so richtig verstanden?
Ich bin ziemlich verunsichert, da ich eben weder bei der Links - noch Rechtsreduktion überflüssige Attribute entfernen konnte, außerdem habe ich mein Beispiel mit dieser Seite gecheckt, leider aber stimmt das nicht mit meinem Ergebnis überein.

Bitte um eure Hilfe!
Danke