Una dependencia funcional de la forma X->Y, que se lee "X determina Y", quiere decir que el valor de X determina unívocamente el valor de Y.