I have the following relation and function dependencies.
R = ABCDE F: C->AB, D->A, BE->CE, E->B
I have to check whether this relation is in BCNF.
...if and only if for every one of its dependencies X → Y, at least one of the following conditions hold: X → Y is a trivial functional dependency (Y ⊆ X) X is a superkey for schema R
So first I went on to find the superkeys.
Since D is not on the right side, I'm assuming the superkey must contain D in it.
What I thought is that the only superkey is DE. Is this correct?
And if the only superkey is DE, then the relation is not in BCNF because none of the functional dependencies have the superkey on the left.
Can anyone point out if I'm mistaken?