A dependência funcional é uma associação que se estabelece entre duas ou mais relações e define-se do seguinte modo: se X e Y são relações, diz-se que X é funcionalmente dependente de Y se cada um dos valores de X em R, em que R é a relação que contém a chave primária, tem associado a si um e um só valor de Y em R.