bachiller

Dependencias funcionales
Se dice que algunas DF son triviales porque la satisfacen todas las relaciones, por ejemplo, A A la satisfacen todas las relaciones que impliquen al atributo A. La lectura literal de la definición de dependencia funcional deja de ver que, para todas las tuplas T1 y T2 tales que t1 (a) igual t(2), se cumple que t1|a|: t2|a|. De manera parecida AB – A las satisfacentodas las relaciones que impliquen el atributo A. En general, una DF de la forma es trivial si
Si se considera la relación cliente calle-cliente ciudad-cliente. Sin embargo, se sabe que en el mundo real dos ciudades pueden tienen calles que se llamen igual. Por tanto, resulta posible, en un momento dado tener un ejemplar de las relaciones cliente en la que no se satisface calle-cliente ciudad –cliente se puede ver que se satisface la dependencia númeropréstamo importe.
De manera más formal, dado un esquema relacional R, una dependencia funcional F de R, está implicada lógicamente por un conjunto de dependencia funcionales F de R si cada ejemplar de la relación r(R) que satisface F satisface también F.
Supóngase que se tiene un esquema de relación R=(A, B, C, G, H, I) y el conjunto dedependencias funcionales AB: AC; CG H; CGI; BH. La dependencia funcional (DF) AH esta implicada liguicamente. Es decir, se puede demostrar que, siempre que el conjunto dado de DF se cumple en una relación, en la relación también se debe cumplir AH.
Supóngase que T1 y T2 son tuplas tales que T1 (a)= T2(a) como se tiene que AB, se deduce que la definición de DF que T1 (h)=t2 (h) por tanto se hademostrado, que siempre que T2 y T2 sean tuplas que T1(A)=T2(A), debe ocurrirse que T1 (h)=t2 (h) Pero esa es exactamente la definición de A. Sea f un conjunto DF. El cierre de F, denotado por F+ es el conjunto de todas las dependencias funcionales implicadas lógicamente en F. Dado, f se puede calcular F+ directamente a parte de la definición formal de DF. Si f fuera de gran tamaño, este procesoseria prolongado y difícil. Este cálculo de F+ requiere argumentos del tipo que se acaba de utilizar para demostrar que A esta en el cierre del conjunto de ejemplo de dependencias.
Los axiomas o reglas de inferencias, proporciona una técnica más sencilla para el razonamiento de las dependencias funcionales.
Se utilizan las letras Griegas ( para los conjuntos de atributos y las letras latinasmayúsculas, desde el comienzo del alfabeto para los atributos individuales. Se utiliza ab para denotar u B. Se pueden utilizar las tres reglas siguientes para hallar las dependencias funcionales implicadas lógicamente.
Aplicando estas reglas repetitivamente, se puede hallar todo F+, dado F. Este conjunto de reglas se denominan axioma de Angstrom, en honor a la persona que las propuso por primeravez.
Regla de la reflexividad. Si es un conjunto de atributos y , entonces se cumple que
Regla de la aumentatividad. Si se cumple que y r es un conjunto r.
Regla de la transitividad. Si se cumple que y también se cumple que r entonces se cumple que Son axiomas de Armstrong son correctas porque no generan dependencias funcionales incorrectas.
Son completos, porque para un conjunto dado F deDF, permiten generar todo F+. Para simplificar las cosas se relacionan unas reglas adicionales.
Regla de unión. Si se cumple que . Entonces se cumple que
Regla de la descomposición. Si se cumple que , entonces cumple que y que
Regla de la Pseudotransitividad. Si se cumple que y que , entonces se cumple que
Sea R=(A, B, C, G, H, I,) y en el conjunto de DF= {AB: AC; CG H; CGI; BH} Relacionesvarios miembros de F+.

Las bases de los datos relacionales normalizan para:
Evitar redundancia de los datos
Evitar problemas de actualización de los datos en tablas
Proteger la integridad de los datos
Universo de las relaciones normalizadas y no normalizadas

PRIMERA FORMA NORMAL
Una relación esta en 1fn si y solo si los dominios simples subyacentes tienen valores atómicos.
La...