armstrongPropiedad
Las propiedades de Armstrong son las siguientes:
A partir de algunas dependencias funcionales conocidas, se pueden deducir otras dependencias funcionales, lo que requiere una serie de reglas de inferencia. Las reglas de inferencia de dependencia funcional aparecieron por primera vez en el artículo de W.W. Armstrong en 1974. Estas reglas a menudo se denominan "axiomas de Armstrong".
Supongamos que U es un conjunto de atributos del patrón relacional R, y F es un conjunto de dependencias funcionales establecidas en R que involucran solo atributos en U.
1. Hay tres reglas de inferencia para la dependencia funcional:
1. Ley reflexiva:
Si el conjunto de atributos Y está incluido en el conjunto de atributos X, conjunto de atributos. X está incluido en U, entonces X→Y se mantiene en R. (Aquí X→Y es una dependencia funcional trivial)
2 Ley de aumento:
Si entonces XZ→YZ se cumple en R.
3. Ley transitiva:
Si X→Y e Y→Z se cumplen en R, entonces X→Z se cumple en R.
Todas las demás reglas de inferencia funcionalmente dependientes se pueden derivar utilizando estas tres reglas.
La validez del sistema de axiomas de Armstrong se refiere a: toda dependencia funcional derivada de R basada en el sistema de axiomas de Armstrong debe ser una dependencia funcional lógicamente implicada por R.
La integridad del sistema de axiomas de Armstrong significa que cada dependencia funcional lógicamente implicada por R debe deducirse de R basándose en el sistema de axiomas de Armstrong.
2. Inferencias obtenidas de los axiomas anteriores:
1. Inferencia 1:
Regla de autoconsistencia--A-gt;
2. Corolario 2:
Regla de descomposición: si A-gt; BC, entonces A-gt; Si X→W se cumple en R, y el conjunto de atributos Z está incluido en W, entonces X→Z también se cumple en R.
3. Corolario 3:
Regla de fusión: si A-gt;B, A-gt;C, entonces A-gt;BC. Si X→Y y X→Z se mantienen en R al mismo tiempo, entonces X→YZ también se mantiene en R.
4. Corolario 4:
Regla compuesta: si A-gt; B, C-gt, entonces AC-gt;
5. Regla pseudotransitiva:
Si X→Y se cumple en R, y WY→Z, entonces XW→Z.
Ejemplo: supongamos que existe un patrón relacional R, en el que A, B, C, D, E y F son subconjuntos de su conjunto de atributos y que R satisface las siguientes dependencias funcionales:
3. Prueba:
1. Se da A-gt;
2. Regla de descomposición de A-gt;
3. AD-gt; ley de aumento de CD.
4.CD-gt; EF dado.
5. AD-gt; ley transitiva EF (obtenida de los núms. 3 y 4).
6. AD-gt; regla de descomposición F.