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 e que há um atributo A qualquer pertencente ao conjunto X.
Observação:
I. significa determina;
II. significa não-determina;
III. significa diferença de conjuntos
Para que a dependência funcional seja completa, é necessário que: