Sejam X e Y conjuntos de atributos diferentes de vazio, com o conjunto X contendo mais de um atributo. Supõe-se que exista a dependência funcional X → Y e que há um atributo A qualquer pertencente ao conjunto X.Observação:
- → significa determina;
- -/→ significa não-determina;
- - significa diferença de conjuntos
Para que a dependência funcional X → Y seja completa, é necessário que:
