definição da forma normal de Boyce-Codd indica que os determinantes de todas as dependências funcionais não triviais devem ser superchave

Todos os exemplos de relações no BCNF que encontrei fazem uso de chaves candidatas. Estou procurando um exemplo que realmente tenha uma superchave como determinante, que não é uma chave candidat

Não consigo criar uma relação que use apenas superchaves que não possam ser transformadas para usar chaves candidata

igamos que tenhamos uma relação com uma chave candidata e uma dependência funcional adicional com uma superchave como determinant

R1(A,B,C)
{A}
A,B -> C

Este FD adicional é redundante porque contém uma chave candidata que obviamente detém o outro atributo (A -> C

entar criar outro exemplo com duas chaves candidatas também é inúti

R2(A,B,C,D)
{A,B},{B,C}
A,B,C -> D

Isso tem exatamente o mesmo problema acim

Na verdade, estou me perguntando se existe um exemplo sem as chaves candidatas. Mas por que a definição seria mais ampla que o necessário? Ou as definições são equivalentes, pois as dependências sempre podem ser transformadas?