| Dada una relación R, el atributo Y de R depende funcionalmente del atributo X de R: R.X—→ R.Y, y se lee R.X determina funcionalmente a R.Y, si y solo si un solo valor Y en R está asociado a cada valor X en R (en cualquier momento dado). Los atributos X e Y pueden ser compuestos. La teoría de la normalización tiene como fundamento el concepto de formas normales. Se dice que una relación está en una determinada forma normal si satisface un cierto conjunto de restricciones. |
