我有一个关系：A,B,C,D,E
与 FD：
A->BC
CD->E
B->D
E->A
既然A->BC可以A->B，A->C那么B->D就可以成为A->D。而既然A->C和A->D，那么CD->E就可以成为A->E。我不确定，E->A但从那A->E以后我会认为它会A->A成为一个微不足道的 FD。这意味着这种关系的关键是{A}？因此，A左侧唯一给出的 FD 将是A->BC.
但是这种关系在 BCNF 中存在吗？如果不是，我将如何将其更改为 BCNF？我已经读到我将使用违反 BCNF 的 FD 作为分离关系的起点，所以我会选择一个左侧没有 A 的 FD 并继续在那里分离吗？