Bases I

1. ¿Qué son las propiedades de la Dependencia Funcional?
Las dependencias funcionales verifican una serie de propiedades denominadas axiomas de Armstrong, las cuales son:
1) Reflexividad. A partirde cualquier atributo o conjunto de atributos siempre puede deducirse él mismo. Dependencia trivial: x -> x.
2) Aumentatividad. Si x -> y entonces x+z -> y. Así se puede aumentar trivialmente elantecedente de una dependencia. Ejemplo: si con el dni se determina el nombre de una persona, entonces con el dni más la dirección también se determina el nombre.
3) Transitividad o enlace dedependencias funcionales. Si x -> y e y -> z entonces x -> z. Ejemplo: si con el dni puede determinarse el código de la provincia de residencia de una persona y con éste código puede determinarse el nombre de laprovincia, entonces con el dni puede determinarse el nombre de la provincia. Éste es el mecanismo básico de funcionamiento del enlace entre tablas a partir de claves ajenas.
4) Proyectividad odescomposición. Si x -> y+z entonces x -> y. Ejemplo: si a partir del dni es posible deducir el nombre y la dirección de una persona, entonces con el dni es posible determinar el nombre.
5) Unión oAditividad. Si x -> y y z -> w entonces x+z -> y+w. Ejemplo: si con el dni se determina el nombre y con la dirección el teléfono de una persona, entonces con el dni y la dirección podrá determinarse elnombre y el teléfono.
6) Pseudotransitividad.

2. Investigue sobre los tres axiomas Armstrong.
Los Axiomas de Armstrong son más bien reglas de inferencia. Estas reglas permiten deducir todas lasdependencias funcionales que tienen lugar entre un conjunto dado de atributos, como consecuencia de las dependencias “dato”, esto es, de las que se asumen como ciertas a partir del conocimiento delproblema. Las dependencias “dato“ equivalen a los axiomas de una teoría (en sentido lógico) y los Axiomas de Armstrong son el conjunto completo de reglas deductivas que nos permite deducir cualquier otra...