Normalización MC Beatriz Beltrán Martínez Benemérita Universidad Autónoma de Puebla.

40
Normalización MC Beatriz Beltrán Martínez Benemérita Universidad Autónoma de Puebla

Transcript of Normalización MC Beatriz Beltrán Martínez Benemérita Universidad Autónoma de Puebla.

Page 1: Normalización MC Beatriz Beltrán Martínez Benemérita Universidad Autónoma de Puebla.

NormalizaciónMC Beatriz Beltrán Martínez

Benemérita Universidad Autónoma de Puebla

Page 2: Normalización MC Beatriz Beltrán Martínez Benemérita Universidad Autónoma de Puebla.

Normalización

Forma parte del diseño de Base de Datos.

El objetivo es: Guardar la información con un mínimo de redundancia o sin redundancia innecesaria.

Además la recuperación debe ser simple.

Las forma normales se definen en términos de las dependencias funcionales.

MC Beatriz Beltrán MartínezFCC - BUAP Otoño 2014 2

Page 3: Normalización MC Beatriz Beltrán Martínez Benemérita Universidad Autónoma de Puebla.

1ª Forma Normal

Se tiene un requisito elemental, y no exige información adicional.

Un dominio es atómico si se considera que los elementos del dominio son unidades indivisibles.

Se dice que el esquema R esta en primera forma normal (1FN) si los dominios de todos los atributos de R son atómicos.

MC Beatriz Beltrán MartínezFCC - BUAP Otoño 2014 3

Page 4: Normalización MC Beatriz Beltrán Martínez Benemérita Universidad Autónoma de Puebla.

1ª Forma Normal

Argumentos que no están en 1FN: Si la relación empleado, contiene

el atributo hijos, se tienen elementos cuyo dominio son conjuntos de nombres.

Si el número de identificación de los empleados de una compañía, se designa con las dos primeras letras que especifican el departamento, seguido de un número de 4 dígitos, formando un número único dentro de ese departamento.

MC Beatriz Beltrán MartínezFCC - BUAP Otoño 2014 4

Page 5: Normalización MC Beatriz Beltrán Martínez Benemérita Universidad Autónoma de Puebla.

2ª Forma Normal

NOMBRE_SUC CIUDAD_SUC ACTIVO NOMBRE_CLIENTE NUM_PREST IMPORTE

Los Fuertes Puebla 9000000 Santos P-17 1000

Santa Ana Tlaxcala 2100000 Gómez P-23 2000

Narvarte DF 1700000 López P-17 1000

Los Fuertes Puebla 9000000 Gutiérrez P-14 1500

Tacuba DF 8000000 Santos P-93 500

Taxqueña DF 8000000 Abril P-11 900

Centro Colima 300000 Valdivieso P-29 1200

Rio Blanco Veracruz 3700000 López P-16 1300

Los Fuertes Puebla 9000000 González P-18 2000

Narvarte DF 1700000 Rodríguez P-25 2500

Angelopolis Puebla 7100000 Martínez P-10 2200

MC Beatriz Beltrán Martínez FCC - BUAP Otoño 2014 5

Page 6: Normalización MC Beatriz Beltrán Martínez Benemérita Universidad Autónoma de Puebla.

2ª Forma Normal

NOMBRE_SUC CIUDAD_SUC ACTIVO NOMBRE_CLIENTE NUM_PREST IMPORTE

Los Fuertes Puebla 9000000 Santos P-17 1000

Santa Ana Tlaxcala 2100000 Gómez P-23 2000

Narvarte DF 1700000 López P-15 1500

Los Fuertes Puebla 9000000 Gutiérrez P-17 1000

Tacuba DF 400000 Santos P-93 500

Taxqueña DF 8000000 Abril P-11 900

Centro Colima 300000 Valdivieso P-29 1200

Rio Blanco Veracruz 3700000 López P-16 1300

Los Fuertes Puebla 9000000 González P-18 2000

Narvarte DF 1700000 Rodríguez P-25 2500

Angelopolis Puebla 7100000 Martínez P-10 2200

Narvarte DF 1700000 Fernández P-31 1500

MC Beatriz Beltrán Martínez FCC - BUAP Otoño 2014 6

Page 7: Normalización MC Beatriz Beltrán Martínez Benemérita Universidad Autónoma de Puebla.

Dependencias Funcionales

Una dependencia funcional es un tipo de restricción que constituye una generalización de clave.

La definición de superclave dice que ningún par de tuplas en una relación puede tener el mismo valor para el conjunto de atributos.

El concepto de dependencia funcional generaliza la noción de superclave.

MC Beatriz Beltrán MartínezFCC - BUAP Otoño 2014 7

Page 8: Normalización MC Beatriz Beltrán Martínez Benemérita Universidad Autónoma de Puebla.

Dependencias Funcionales

Considérese el esquema de una relación R y sean R, R. La dependencia funcional

se cumple para el esquema R si, en cualquier relación para todo par de tuplas t1 y t2 tales que t1[]=t2[] también ocurre que t1[]=t2[].

MC Beatriz Beltrán MartínezFCC - BUAP Otoño 2014 8

Page 9: Normalización MC Beatriz Beltrán Martínez Benemérita Universidad Autónoma de Puebla.

2ª Forma Normal

CIUDAD_SUC ACTIVO

Puebla 9000000

Tlaxcala 2100000

DF 1700000

Puebla 9000000

DF 8000000

DF 8000000

Colima 300000

Veracruz 3700000

Puebla 9000000

DF 1700000

Puebla 7100000

MC Beatriz Beltrán Martínez FCC - BUAP Otoño 2014 9

t1

t2

NOMBRE_SUC ACTIVO

Los Fuertes 9000000

Santa Ana 2100000

Narvarte 1700000

Los Fuertes 9000000

Tacuba 8000000

Taxqueña 8000000

Centro 300000

Rio Blanco 3700000

Los Fuertes 9000000

Narvarte 1700000

Angelopolis 7100000

t1

t2

Page 10: Normalización MC Beatriz Beltrán Martínez Benemérita Universidad Autónoma de Puebla.

Dependencias Funcionales

Las dependencias funcionales que se tienen: NUM_PREST IMPORTE NUM_PREST NOMBRE_SUC

Pero no hay dependencia funcional en: NUM_PREST NOMBRE_CLIENTE

Por que cada préstamo se puede conceder a más de un cliente.

MC Beatriz Beltrán MartínezFCC - BUAP Otoño 2014 10

Page 11: Normalización MC Beatriz Beltrán Martínez Benemérita Universidad Autónoma de Puebla.

Dependencias Funcionales

Cierre de un conjunto de dependencias. No es suficiente considerar el conjunto

dado de dependencias funcionales, sino hay que considerar todas.

Se puede probar que dado un conjunto F de dependencias funcionales se cumplen otras dependencias.

Dichas dependencias funcionales están implicadas lógicamente por F.

MC Beatriz Beltrán MartínezFCC - BUAP Otoño 2014 11

Page 12: Normalización MC Beatriz Beltrán Martínez Benemérita Universidad Autónoma de Puebla.

Dependencias Funcionales

Dado un esquema relacional R, una dependencia funcional f de R está implicada lógicamente por un conjunto de dependencias funcionales F de R si cada ejemplar de la relación que satisface R, satisface f.

Supóngase que se tiene un esquema de relación R = (A, B, C, G, H, I) y el conjunto de dependencias funcionales dado por:

MC Beatriz Beltrán MartínezFCC - BUAP Otoño 2014 12

Page 13: Normalización MC Beatriz Beltrán Martínez Benemérita Universidad Autónoma de Puebla.

Dependencias Funcionales

A B

A C

CG H

CG I

B H La dependencia funcional:

A H Esta implicada lógicamente.

MC Beatriz Beltrán MartínezFCC - BUAP Otoño 2014 13

Page 14: Normalización MC Beatriz Beltrán Martínez Benemérita Universidad Autónoma de Puebla.

Dependencias Funcionales

Sea F un conjunto de dependencias funcionales. El cierre de F, (F+) es el conjunto de todas las dependencias funcionales implicadas lógicamente en F

Los axiomas, o reglas de inferencia, proporcionan una técnica más sencilla para el razonamiento sobre las dependencias funcionales.

En las reglas que se ofrecen a continuación se utilizan:

Las letras griegas (, , , . . . ) para los conjuntos de atributos.

Las letras latinas mayúsculas del inicio del alfabeto para los atributos individuales.

Se utiliza ab para denotar a .

MC Beatriz Beltrán MartínezFCC - BUAP Otoño 2014 14

Page 15: Normalización MC Beatriz Beltrán Martínez Benemérita Universidad Autónoma de Puebla.

Dependencias Funcionales

Se pueden utilizar las tres reglas siguientes para hallar las dependencias funcionales implicadas lógicamente.

Aplicando estas reglas repetidamente, se puede hallar todo F+, dado F. Este conjunto de reglas se denomina axiomas de Armstrong. Regla de la reflexividad. Si es un

conjunto de atributos y , entonces se cumple que .

Regla de la aumentatividad. Si se cumple que y es un conjunto de atributos, entonces se cumple que .

Regla de la transitividad. Si se cumple que y también se cumple que , entonces se cumple que .

MC Beatriz Beltrán MartínezFCC - BUAP Otoño 2014 15

Page 16: Normalización MC Beatriz Beltrán Martínez Benemérita Universidad Autónoma de Puebla.

Dependencias Funcionales

Aunque los axiomas de Armstrong son completos, resulta difícil utilizarlos directamente para el cálculo de F+.

Para simplificar más las cosas se relacionan unas reglas adicionales. Resulta posible utilizar los axiomas de Armstrong para probar que estas reglas son correctas. Regla de la unión: Si se cumple que

y que , entonces se cumple que .

Regla de la descomposición: Si se cumple que , entonces se cumple que y que .

Regla de la pseudotransitividad: Si se cumple que y que , entonces se cumple que .

MC Beatriz Beltrán MartínezFCC - BUAP Otoño 2014 16

Page 17: Normalización MC Beatriz Beltrán Martínez Benemérita Universidad Autónoma de Puebla.

Dependencias Funcionales

T1 V# Status Ciudad P# Cant

V1 20 Londres P1 300

V1 20 Londres P2 200

V1 20 Londres P3 400

V1 20 Londres P4 200

V1 20 Londres P5 100

V1 20 Londres P6 100

V2 10 París P1 300

V2 10 París P2 400

V3 10 París P2 200

V4 20 Londres P2 200

V4 20 Londres P4 300

V4 20 Londres P5 400

MC Beatriz Beltrán Martínez FCC - BUAP Otoño 2014 17

Page 18: Normalización MC Beatriz Beltrán Martínez Benemérita Universidad Autónoma de Puebla.

Dependencias Funcionales

T3 V# P# Cant

V1 P1 300

V1 P2 200

V1 P3 400

V1 P4 200

V1 P5 100

V1 P6 100

V2 P1 300

V2 P2 400

V3 P2 200

V4 P2 200

V4 P4 300

V4 P5 400

T2 V# Status Ciudad

V1 20 Londres

V2 10 París

V3 10 París

V4 20 Londres

MC Beatriz Beltrán MartínezFCC - BUAP Otoño 2014 18

Page 19: Normalización MC Beatriz Beltrán Martínez Benemérita Universidad Autónoma de Puebla.

Dependencias Funcionales

MC Beatriz Beltrán MartínezFCC - BUAP Otoño 2014 19

T3 V# P# Cant

V1 P1 300

V1 P2 200

V1 P3 400

V1 P4 200

V1 P5 100

V1 P6 100

V2 P1 300

V2 P2 400

V3 P2 200

V4 P2 200

V4 P4 300

V4 P5 400

T2 V# Status Ciudad

V1 20 Londres

V2 10 París

V3 10 París

V4 20 Londres

V5 30 Atenas

Page 20: Normalización MC Beatriz Beltrán Martínez Benemérita Universidad Autónoma de Puebla.

Forma Normal de Boyce Codd Una de las formas normales más

deseables que se pueden obtener es la forma normal de Boyce-Codd (FNBC).

Un esquema de relación R está en FNBC respecto a un conjunto de dependencias funcionales F si, para todas las dependencias funcionales de F+ de la forma , donde R y R, se cumple al menos una de las siguientes condiciones:

MC Beatriz Beltrán MartínezFCC - BUAP Otoño 2014 20

Page 21: Normalización MC Beatriz Beltrán Martínez Benemérita Universidad Autónoma de Puebla.

Forma Normal de Boyce Codd

es una dependencia funcional trivial (es decir, )

es una superclave del esquema R.

Un diseño de base de datos está en FNBC si cada miembro del conjunto de esquemas de relación que constituye el diseño está en FNBC.

MC Beatriz Beltrán Martínez

FCC - BUAP Otoño 2014 21

Page 22: Normalización MC Beatriz Beltrán Martínez Benemérita Universidad Autónoma de Puebla.

Forma Normal de Boyce Codd

Considérense los siguientes esquemas de relación y sus respectivas dependencias funcionales:

Esquema-cliente = (nombre-cliente, calle-cliente, ciudad-cliente)nombre-cliente calle-cliente ciudad-cliente

Esquema-sucursal = (nombre-sucursal, activo, ciudad-sucursal)nombre-sucursal activo ciudad-sucursal

Esquema-info-préstamo = (nombre-sucursal, nombre-cliente, número-préstamo, importe) número-préstamo importe nombre-sucursal

Puede afirmarse que Esquema-cliente está en FNBC. Obsérvese que una clave candidata para el esquema es nombre-cliente.

MC Beatriz Beltrán MartínezFCC - BUAP Otoño 2014 22

Page 23: Normalización MC Beatriz Beltrán Martínez Benemérita Universidad Autónoma de Puebla.

Forma Normal de Boyce Codd Las únicas dependencias funcionales no

triviales que se cumplen en Esquema-cliente tienen a nombre-cliente a la izquierda de la flecha.

Dado que nombre-cliente es una clave candidata, las dependencias funcionales con nombre-cliente en la parte izquierda no violan la definición de FNBC.

De manera parecida, se puede demostrar fácilmente que el esquema de relación Esquema-sucursal está en FNBC.

MC Beatriz Beltrán MartínezFCC - BUAP Otoño 2014 23

Page 24: Normalización MC Beatriz Beltrán Martínez Benemérita Universidad Autónoma de Puebla.

Forma Normal de Boyce Codd

El esquema Esquema-info-préstamo, sin embargo, no está en FNBC. En primer lugar, obsérvese que

número-préstamo no es una superclave de Esquema-info préstamo, ya que puede que haya un par de tuplas que representen a un solo préstamo concedido a dos personas, por ejemplo:(Centro, Sr. Sánchez, P-44, 1.000)

(Centro, Sra. Sánchez, P-44, 1.000)

MC Beatriz Beltrán MartínezFCC - BUAP Otoño 2014 24

Page 25: Normalización MC Beatriz Beltrán Martínez Benemérita Universidad Autónoma de Puebla.

Forma Normal de Boyce Codd Como no se ha relacionado ninguna

dependencia funcional que descarte el caso anterior, número-préstamo no es una clave candidata. Sin embargo, la dependencia funcional número-préstamo importe es de tipo no trivial. Por lo tanto, Esquema-info-préstamo no satisface la definición de FNBC.

Se puede afirmar que Esquema-info-préstamo no está en una forma normal adecuada, ya que sufre del problema de repetición de información

Se observa que, si hay varios nombres de clientes asociados a un préstamo, en una relación de Esquema-info-préstamo es obligatorio repetir el nombre de la sucursal y el importe una vez por cada cliente.

MC Beatriz Beltrán MartínezFCC - BUAP Otoño 2014 25

Page 26: Normalización MC Beatriz Beltrán Martínez Benemérita Universidad Autónoma de Puebla.

Forma Normal de Boyce Codd Se puede eliminar esta redundancia

rediseñando la base de datos de forma que todos los esquemas estén en FNBC.

Una manera de abordar este problema es tomar el diseño que no está en FNBC ya existente como punto de partida y descomponer los esquemas que no estén en FNBC.

Considérese la descomposición de Esquema info-préstamo en dos esquemas:

Esquema-préstamo = (número-préstamo, nombre-sucursal, importe)

Esquema-prestatario = (nombre-cliente, número-préstamo)

MC Beatriz Beltrán MartínezFCC - BUAP Otoño 2014 26

Page 27: Normalización MC Beatriz Beltrán Martínez Benemérita Universidad Autónoma de Puebla.

Forma Normal de Boyce Codd Ahora resulta posible evitar la

redundancia en el caso en que haya varios clientes asociados a un mismo préstamo. En la relación de Esquema-préstamo hay exactamente una tupla para cada préstamo, y una tupla para cada cliente de cada préstamo en la relación de Esquema-prestatario.

Por tanto, no hay que repetir el nombre de la sucursal y el importe una vez por cada cliente asociado a un préstamo.

MC Beatriz Beltrán MartínezFCC - BUAP Otoño 2014 27

Page 28: Normalización MC Beatriz Beltrán Martínez Benemérita Universidad Autónoma de Puebla.

Forma Normal de Boyce Codd A menudo se puede simplificar la

comprobación de una relación para ver si satisface FNBC: Para comprobar si la dependencia no

trivial a provoca una violación de FNBC hay que calcular + (el cierre de los atributos de ) y comprobar si incluye todos los atributos de R; es decir, si es una superclave de R.

Para comprobar si el esquema de relación R se halla en FNBC basta con comprobar únicamente las dependencias del conjunto dado F en búsqueda de violaciones de FNBC, en lugar de comprobar todas las dependencias de F+.

MC Beatriz Beltrán MartínezFCC - BUAP Otoño 2014 28

Page 29: Normalización MC Beatriz Beltrán Martínez Benemérita Universidad Autónoma de Puebla.

3ª Forma Normal

Como ya se ha visto, hay esquemas relacionales en que la descomposición FNBC no puede conservar las dependencias. Para estos esquemas hay dos alternativas si se desea comprobar si una actualización viola alguna dependencia funcional: Soportar el coste extra del cálculo

de las reuniones para buscar violaciones. Emplear una descomposición alternativa, la tercera forma normal (3FN), que se presenta a continuación, que hace menos costoso el examen de las actualizaciones. A diferencia de FNBC, las descomposiciones 3FN pueden contener cierta redundancia en el esquema descompuesto.

MC Beatriz Beltrán MartínezFCC - BUAP Otoño 2014 29

Page 30: Normalización MC Beatriz Beltrán Martínez Benemérita Universidad Autónoma de Puebla.

3ª Forma Normal

Un esquema de relación R está en tercera forma normal (3FN) respecto a un conjunto F de dependencias funcionales si, para todas las dependencias funcionales de F+ de la forma , donde R y R, se cumple al menos una de las siguientes condiciones: es una dependencia funcional

trivial. es una superclave de R. Cada atributo A de - está

contenido en alguna clave candidata de R.

MC Beatriz Beltrán MartínezFCC - BUAP Otoño 2014 30

Page 31: Normalización MC Beatriz Beltrán Martínez Benemérita Universidad Autónoma de Puebla.

3ª Forma Normal

Las dos primeras alternativas son iguales que las dos alternativas de la definición de FNBC. La tercera alternativa de la definición de 3FN parece bastante intuitiva, y no resulta evidente el motivo de su utilidad.

Representa, en cierto sentido, una relajación mínima de las condiciones de FNBC que ayudan a asegurar que cada esquema tenga una descomposición que conserve las dependencias en 3FN.

Obsérvese que cualquier esquema que satisfaga FNBC satisface también 3FN, ya que cada una de sus dependencias funcionales satisfará una de las dos primeras alternativas. Por tanto, FNBC es una restricción más estricta que 3FN.

MC Beatriz Beltrán MartínezFCC - BUAP Otoño 2014 31

Page 32: Normalización MC Beatriz Beltrán Martínez Benemérita Universidad Autónoma de Puebla.

3ª Forma Normal

La definición de 3FN permite ciertas dependencias funcionales que no se permitían en FNBC.

Una dependencia que sólo satisfaga la tercera alternativa de la definición de 3FN no se permitiría en FNBC, pero sí se permite en 3FN.

De las dos formas normales, hay ventajas en 3FN porque se sabe que siempre resulta posible obtener un diseño en 3FN sin sacrificar la reunión sin pérdida o la conservación de las dependencias.

MC Beatriz Beltrán MartínezFCC - BUAP Otoño 2014 32

Page 33: Normalización MC Beatriz Beltrán Martínez Benemérita Universidad Autónoma de Puebla.

4ª Forma Normal

Las dependencias funcionales impiden que ciertas tuplas estén en una relación. Si A B, entonces no puede haber dos tuplas con el mismo valor de A y diferentes valores de B.

Las dependencias multivaloradas, por otro lado, no impiden la existencia de esas tuplas.

En lugar de eso, exigen que estén presentes en la relación otras tuplas de una cierta forma. Por este motivo, las dependencias

funcionales se denominan a veces dependencias de generación de igualdad y las dependencias multivaloradas se conocen como dependencias de generación de tuplas.

MC Beatriz Beltrán MartínezFCC - BUAP Otoño 2014 33

Page 34: Normalización MC Beatriz Beltrán Martínez Benemérita Universidad Autónoma de Puebla.

4ª Forma Normal

Sea R un esquema de relación y sean R y R. La dependencia multivalorada se cumple en R si, en toda relación r(R), para todo par de tuplas t1 y t2 de r tales que t1[] = t2[], existen unas tuplas t3 y t4 de r tales que

MC Beatriz Beltrán MartínezFCC - BUAP Otoño 2014 34

Page 35: Normalización MC Beatriz Beltrán Martínez Benemérita Universidad Autónoma de Puebla.

4ª Forma Normal De manera intuitiva, la dependencia

multivalorada indica que la relación entre y es independiente de la relación entre y R - . Si todas las relaciones del esquema R satisfacen la dependencia multivalorada , entonces es una dependencia multivalorada trivial en el esquema R. Por tanto, es trivial si o = R.

. R - -

t1 a1 ... ai ai+1 ... a¡ a¡ +1 ... an

t2 a1 ... ai bi+1 ... bj b¡+1 ... bn

t3 a1 ... ai ai+1 ... a¡ b¡+1 ... bn

t4 a1 ... ai bi+1 ... bj a¡+1 ... an

MC Beatriz Beltrán MartínezFCC - BUAP Otoño 2014 35

Page 36: Normalización MC Beatriz Beltrán Martínez Benemérita Universidad Autónoma de Puebla.

4ª Forma Normal

Al igual que con las dependencias funcionales, las dependencias multivaloradas se utilizan de dos maneras: Para verificar las relaciones y

determinar si son legales bajo un conjunto dado de dependencias funcionales y multivaloradas.

Para especificar restricciones del conjunto de relaciones legales; de este modo, sólo habrá que preocuparse de las relaciones que satisfagan un conjunto dado de dependencias funcionales y multivaloradas.

MC Beatriz Beltrán MartínezFCC - BUAP Otoño 2014 36

Page 37: Normalización MC Beatriz Beltrán Martínez Benemérita Universidad Autónoma de Puebla.

4ª Forma Normal

Un esquema de relación R está en la cuarta forma normal (4FN) con respecto a un conjunto F de dependencias funcionales y multivaloradas si, para todas las dependencias multivaloradas de F+ de la forma ,. donde R y R, se cumple, como mínimo, una de las condiciones siguientes: es una dependencia

multivalorada trivial. es una superclave del esquema R.

MC Beatriz Beltrán MartínezFCC - BUAP Otoño 2014 37

Page 38: Normalización MC Beatriz Beltrán Martínez Benemérita Universidad Autónoma de Puebla.

4ª Forma Normal

Un diseño de base de datos está en 4FN si cada componente del conjunto de esquemas de relación que constituye el diseño se halla en 4FN.

La definición de 4FN sólo se diferencia de la definición de FNBC en el empleo de las dependencias multivaloradas en lugar de las dependencias funcionales.

Todos los esquemas 4FN están en FNBC. Hay que darse cuenta de que, si un esquema R no se halla en FNBC, hay una dependencia funcional no trivial que se cumple en R, donde no es una superclave. Como implica , R no puede estar en 4FN.

MC Beatriz Beltrán MartínezFCC - BUAP Otoño 2014 38

Page 39: Normalización MC Beatriz Beltrán Martínez Benemérita Universidad Autónoma de Puebla.

Otras Formas Normales

Hay tipos de restricciones denominadas dependencias de reunión que generalizan las dependencias multivaloradas y llevan a otra forma normal denominada forma normal de reunión por proyección (FNRP) (la FNRP se denomina en algunos libros quinta forma normal).

Hay una clase de restricciones todavía más generales, que lleva a una forma normal denominada forma normal de dominios y claves (FNDC).

MC Beatriz Beltrán MartínezFCC - BUAP Otoño 2014 39

Page 40: Normalización MC Beatriz Beltrán Martínez Benemérita Universidad Autónoma de Puebla.

Otras Formas Normales

Un problema práctico del empleo de estas restricciones generalizadas es que no sólo es difícil razonar con ellas, sino que tampoco hay un conjunto de reglas de inferencia seguras y completas para razonar sobre las restricciones.

Por tanto, la FNRP y la forma normal de dominios y claves se utilizan muy raramente.

MC Beatriz Beltrán MartínezFCC - BUAP Otoño 2014 40