La cuarta forma normal (4NF) es una de las posibles formas normales de una relación de base de datos relacional .
Una variable de relación R está en cuarta forma normal si está en BCNF y todas las dependencias multivaluadas no triviales son en realidad dependencias funcionales [1] en sus claves candidatas .
La redacción equivalente de la definición es:
La variable de relación R está en la cuarta forma normal si y solo si existen subconjuntos A y B de los atributos de esta variable de relación R , para los cuales se satisface una dependencia multivaluada no trivial A ↠ B , todos los atributos de la relación la variable R también depende funcionalmente de A [2] .
Supongamos que los restaurantes producen diferentes tipos de pizza y los servicios de entrega de restaurantes solo operan en ciertas áreas de la ciudad. La clave primaria compuesta de la variable de relación correspondiente incluye tres atributos: {Restaurante, Tipo de pizza, Área de entrega} .
Tal variable de relación no cumple con 4FN porque existe la siguiente dependencia multivaluada:
Es decir, por ejemplo, al agregar un nuevo tipo de pizza, deberá ingresar una nueva tupla para cada área de entrega. Puede haber una anomalía lógica en la que solo determinadas zonas de reparto de las zonas atendidas por el restaurante correspondan a un determinado tipo de pizza.
Para evitar una anomalía, debe descomponer la relación colocando hechos independientes en diferentes relaciones. En este ejemplo, debe descomponerse en {Restaurante, Tipo de pizza} y {Restaurante, Área de entrega} .
Sin embargo, si se agrega un atributo a la variable de relación original que depende funcionalmente de la clave potencial, por ejemplo, el precio que incluye el costo de entrega ( {Restaurante, Tipo de pizza, Área de entrega} → Precio ), entonces la relación resultante estará en 4FN y ya no podrá descomponerse sin pérdidas . Las dependencias multivaluadas anteriores se denominan dependencias inyectadas en este caso .
ruso
Transferible
extranjero
formas normales | |
---|---|