BCNF und Basis Algo

Hallo Forum,

nehmen wir an ich habe diesen Satz an Funktionalen Abhängigkeiten: {AE->BC, C->A, B->D}
Dann kann man diesen nicht weiter mit dem Basis Algorithmus (Links- Rechtsreduktion) minimieren. Da aber A von C dominiert wird gilt doch auch CE->BC und somit CE->B. Das heißt die erste Regel wäre durch diese zu ersetzen? Um einen minimalen Satz an Regeln zu erhalten.

Ich soll das ursprüngliche Schema in eine BCNF Form pressen:
R1: (A,C) mit C->A
R2: (B,D) mit B->D
R3: (B,C,E) mit CE->B

Ist das so richtig?

Vielen Dank

Peter

Hat sich erledigt.