CODIGOHTML=<font color="00000" size="15"><b>Qu es una dependencia funcional en base de datos?</b>
La dependencia funcional en una base de datos, es aquella que determina la relacin que hay entre las bases de datos que usan de modo conjunto una relacin de datos.
Para determinar la dependencia existente entre bases de datos, debemos analizar las propiedades de los campos, para as establecer cual es la relacin y el tipo existente entre las bases.
Se debe tener en cuenta que cuando se va a realizar una relacin entre bases, aquellos campos que se han seleccionado para que sean los campos clave, que sern los que realicen el enlace entre bases, deben ser del mismos tipo, por ejemplo si se usan tipos numricos, los dos campos en las bases deben ser numricos, de ste modo no se tendr que realizar funciones que conviertan los tipos.<img src="imagenes/UNIDAD5T1/ModeloConceptualAB.GIF" align="center">
Como hemos dicho una dependencia funcional es una conexin entre uno o ms atributos. Por ejemplo si conocemos el valor deFechaDeNacimiento podemos conocer el valor de Edad.
Las dependencias funcionales del sistema se escriben utilizando una flecha, de la siguiente manera:
FechaDeNacimiento -> Edad

Aqu a FechaDeNacimiento se le conoce como un determinante. Se puede leer de dos formas FechaDeNacimiento determina a Edad o Edad es funcionalmente dependiente de FechaDeNacimiento. De la normalizacin (lgica) a la implementacin (fsica o real) puede ser sugerible tener stas dependencias funcionales para lograr mayor eficiencia en las tablas.
<b>Propiedades de la Dependencia funcional</b>
Para conocer las propiedades de la Dependencia Funcional, se requiere el uso de los Axiomas de Armstrong, que son reglas de inferencia que permiten deducir todas las dependencias funcionales que tienen lugar entre un conjunto dado de atributos.
Dichos axiomas fueron desarrollados por William W. Armstrong en su obra llamada 'Dependency Structures of Data Base Relationships', publicada en 1974. 
<i>Existen 3 axiomas de Armstrong:</i>
<b>Dependencia funcional Reflexiva</b>
Si "Y" esta incluido en "X" entonces X -> Y
Si la direccin o el nombre de una persona estn incluidos en el dui, entonces con el dui podemos determinar la direccin o su nombre.
<b>Dependencia funcional Aumentativa</b>
X -> Y entonces XZ -> YZ
dui -> nombre
dui,direccin -> nombre,direccin
Si con el dui se determina el nombre de una persona, entonces con el dui ms la direccin tambin se determina el nombre o su direccin.
<b>Dependencia funcional transitiva</b>
<img src="imagenes/UNIDAD5T1/ModeloConceptualTransitivo.png" align="center">
Sean X, Y, Z tres atributos (o grupos de atributos) de la misma entidad. Si Y depende funcionalmente de X y Z de Y, pero X no depende funcionalmente de Y, se dice que Z depende transitivamente de X. Simblicamente sera:
X -> Y -> Z entonces X -> Z
FechaDeNacimiento -> Edad
Edad -> Conducir
FechaDeNacimiento -> Edad -> Conducir
Entonces tenemos que FechaDeNacimiento determina a Edad y la Edad determina a Conducir, indirectamente podemos saber a travs de FechaDeNacimiento a Conducir (En muchos pases , para una persona poder conducir un automvil la persona necesita ser mayor de cierta edad, por eso se utiliza este ejemplo).
<b>Propiedades deducidas</b>
<i>Unin</i>
X -> Y y X -> Z entonces X -> YZ
<i>Pseudo-transitiva</i>
X -> Y y WY -> Z entonces WX -> Z
<i>Descomposicin</i>
X -> Y y Z est incluido en Y entonces X -> Z
</font>