O conceito de dependência funcional de uma relação R que possui dois conjuntos de atributos, X e Y, ambos diferentes de vazio, e que X → Y (X funcionalmente determina Y) especifica que: