Formas normales

Solo disponible en BuenasTareas
  • Páginas : 8 (1919 palabras )
  • Descarga(s) : 0
  • Publicado : 6 de noviembre de 2010
Leer documento completo
Vista previa del texto
Más Formas Normales

Normalización Avanzada del Modelo Relacional
Prof. Dr. Antonio Mosquera González

Las relaciones en 3FN están normalmente lo suficientemente bien estructuradas como para evitar los problemas asociados a la redundancia de datos

Sin embargo, se han creado una serie de formas normales más avanzadas para identificar una serie de problemas relativamente raros que afectan alas relaciones y que, si no se corrigen, pueden dar como resultado una redundancia de datos indeseable

Bases de Datos Ingeniería Técnica en Informática de Sistemas Ingenierí Té Informá

Prof. Dr. Antonio Mosquera González

Normalización Avanzada del Modelo Relacional Normalizació

2

Índice
Dependencias Funcionales Forma Normal de Boyce-Codd Cuarta Forma Normal Quinta Forma NormalDependencias Funcionales
Normalización Avanzada del Modelo Relacional Normalizació Bases de Datos Ingeniería Técnica en Informática de Sistemas Ingenierí Té Informá

Prof. Dr. Antonio Mosquera González

Normalización Avanzada del Modelo Relacional Normalizació

3

Prof. Dr. Antonio Mosquera González

Dependencia Funcional
Las dependencias funcionales describen la relación existenteentre atributos de una relación Por ejemplo, si A y B son atributos de la relación R, B será funcionalmente dependiente de A o A determina funcionalmente a B (lo que se denota A B) si cada valor de A está asociado con exactamente un valor de B A y B pueden consistir cada uno de ellos de uno o más atributos La dependencia funcional es una propiedad de la semántica de los atributos de una relaciónProf. Dr. Antonio Mosquera González

Dependencias Funcionales Útiles
Aún con la restricción de dependencias funcionales uno a uno que sean completas, el conjunto de todas las dependencias funcionales para una relación dada puede seguir teniendo un gran tamaño Técnica que permita reducir el conjunto de dependencias funcionales a un tamaño manejable Hay dependencias funcionales que pueden inferirsea partir de otras dependencias funcionales ¿Cómo se puede identificar cuáles son las dependencias funcionales útiles dentro de una relación?
5
Prof. Dr. Antonio Mosquera González

Dependencias Funcionales

Dependencias Funcionales

6

Reg. Inferencia y Conj. Mínimo Mí
La tarea de especificar todas las dependencias funcionales posibles en los proyectos reales de bases de datos suele sermuy a menudo imposible de abordar

Cierre
El conjunto de todas las dependencias funcionales que pueden derivarse a partir de un conjunto dado de dependencias funcionales X se denomina cierre de X, lo que se escribe como X+

Utilizar reglas de inferencia para identificar el conjunto completo de dependencias funcionales de una relación Y luego obtener un conjunto mínimo de dependenciasfuncionales que pueda representar el conjunto completo

Prof. Dr. Antonio Mosquera González

Dependencias Funcionales

7

Prof. Dr. Antonio Mosquera González

Dependencias Funcionales

8

Axiomas de Armstrong
Sean A, B y C subconjuntos de los atributos de la relación R Reflexividad: Si B es un subconjunto de A, entonces A Aumentación: Si A Transitividad: Si A B, entonces A,C ByB B,C C C,entonces A B

Otras Reglas
Sean A, B, C y D subconjuntos de los atributos de la relación R Autodeterminación: A Descomposición: Si A Unión: Si A ByA Composición: Si A A B,C, entonces A C, entonces A ByC B,C B,D ByA C

Los axiomas de Armstrong son completos (todas las dependencias funcionales derivables de X pueden deducirse a partir de las reglas) y adecuados (no puede deducirse ningunadependencia funcional que no sea derivable a partir de X) Pueden usarse para calcular X+
Prof. Dr. Antonio Mosquera González

D, entonces A,C

Dependencias Funcionales

9

Prof. Dr. Antonio Mosquera González

Dependencias Funcionales

10

Análisis Aná
El axioma de la reflexividad y la regla de autodeterminación indican que un conjunto de atributos siempre se determina a sí mismo y a...
tracking img