Fiquei um pouco confuso com a aula de Boyce-Codd
No exemplo da aula de Boyce-Codd, a instrutora Maria Gabriela traz uma tabela com os seguintes atributos:
cod_fornecedor; nome_fornecedor; cod_produto; qtd_estoque.
Se fossemos começar a normalização pela 1FN, já teríamos a separação em duas tabelas, uma com cod_fornecedor e nome_fornecedor, e outra com cod_produto e qtd_estoque, com chave estrangeira cod_fornecedor. Então já sanaria isso antes mesmo de chegar nas próximas formas normais...
Minha dúvida no fim é: qual a diferença da dependência trivial pras outras dependências já faladas? pois as outras regras de normalização já teriam resolvido essa redundância apresentada nessa aula...