Técnicas para deducir dependencias funcionales

Publicado en Informática Etiquetado con

AXIOMAS DE ARMSTRONG

1.- REGLA DE REFLEXIBIDAD. si X es un conjunto de atributos y Y es un subconjunto impropio de X (Y Í X), entonces se cumple que X->-> Y.
2.- REGLA DE AMPLIFICACIÓN.- si se cumple que X->-> y entonces debe cumplirse que WX->-> WY si W es un conjunto de atributos valido en la relación.
3.- REGLA DE TRANSITIVIDAD. si se cumple que X->-> Y y Y->-> Z, entonces se cumple que X->-> Z.

Se dice que estas reglas son validas porque no se generan dependencias funcionales incorrectas. Las reglas son completas porque no dado un conjunto F de dependencias funcionales permiten obtener la totalidad de F+. Ocasionalmente su aplicación puede darse en forma directa para calculas F+; en estos casos se ocurre al uso de las siguientes reglas:

1.- REGLA DE UNIÓN. si se cumple X->-> Y y X->-> Z, entonces se cumple que X->-> YZ.
2.- REGLA DE DESCOMPOSICIÓN. si se cumple que X->-> YZ, entonces se cumple que X->-> Y y X->-> Z.
3.- REGLA DE PSEUDOTRANSITIVIDAD. si se cumple X->-> Y y WY->-> Z, entonces se cumple WX->-> Z.