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:
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:
