Questão 780538

todo atributo não chave não for parcialmente dependente da chave primária.

toda dependência funcional não trivial e irredutível à esquerda tem uma chave candidata como determinante.

todo atributo não chave for dependente de forma não transitiva da chave primária.

em todo valor válido dessa relação, cada tupla contém exatamente um valor para cada atributo.

toda dependência de junção não trivial, que é satisfeita por R, for implicada pelas chaves candidatas de R.