BCNF: Looking for example that actually uses superkey instead of candidate key
The definition of the Boyce–Codd normal form states that the determinants of all non-trivial functional dependencies have to be superkeys. All the examples for relations in BCNF I found make use of candidate keys. I am looking for an example that actually has a superkey as determinant which is not a candidate key. I fail to come up with a relation that only uses superkeys which can't be transformed to use candidate keys. Let's say we have a relation with an candidate key and an additional functional dependency with a superkey as determinant. R1(A,B,C) {A} A,B -> C This additional FD is