Axiomas de Armstrong en dependencia funcional en DBMS

Posted on by Rudeus Greyrat

Requisito previo: dependencias funcionales 

El término axiomas de Armstrong se refiere al conjunto sólido y completo de reglas de inferencia o axiomas, introducido por William W. Armstrong, que se utiliza para probar la implicación lógica de las dependencias funcionales . Si F es un conjunto de dependencias funcionales, entonces el cierre de F, denotado como  F^+ , es el conjunto de todas las dependencias funcionales implicadas lógicamente por F. Los axiomas de Armstrong son un conjunto de reglas que, cuando se aplican repetidamente, generan un cierre de dependencias funcionales. 

axiomas –

  1. Axioma de reflexividad: 
    si  {\ estilo de visualización A} es un conjunto de atributos y  {\ estilo de visualización B} es un subconjunto de  {\ estilo de visualización A} , entonces se  {\ estilo de visualización A} cumple  {\ estilo de visualización B} . Si  {\displaystyle B\subconjunto A} entonces  {\ estilo de visualización A \ a B} Esta propiedad es una propiedad trivial.
  2. Axioma de aumento: 
    si  {\ estilo de visualización A \ a B} se cumple y  {\ estilo de visualización Y} tiene un conjunto de atributos,  {\displaystyle AY\to BY} también se cumple. Eso es agregar atributos en las dependencias, no cambia las dependencias básicas. Si  {\ estilo de visualización A \ a B} , entonces  {\displaystyle AC\a BC} para cualquiera  {\ estilo de visualización C} .
  3. Axioma de transitividad: 
    igual que la regla transitiva en álgebra, si  {\ estilo de visualización A \ a B} se cumple y  {\ estilo de visualización B \ a C} se cumple, entonces  {\ estilo de visualización A \ a C} también se cumple. {\ estilo de visualización A \ a B} Se llama  {\ estilo de visualización A} funcionalmente lo que determina  {\ estilo de visualización B} . Si  {\ estilo de visualización X \ a Y} y  {\ estilo de visualización Y \ a Z} , entonces {\ estilo de visualización X \ a Z}

Reglas Secundarias –

Estas reglas se pueden derivar de los axiomas anteriores. 

  1. Unión: 
    si  {\ estilo de visualización A \ a B} se mantiene y  {\ estilo de visualización A \ a C} se mantiene, entonces se  {\displaystyle A\a BC} mantiene. si  {\ estilo de visualización X \ a Y} y  {\ estilo de visualización X \ a Z} entonces {\displaystyle X\to YZ}
  2. Composición: 
    si  {\displaystyle A\to B} y  {\displaystyle X\to Y} se mantiene, entonces se  {\displaystyle AX\to BY} mantiene.
  3. Descomposición: 
    si  {\displaystyle A\to BC} se mantiene, entonces  {\displaystyle A\to B} y  se {\displaystyle A\to C} mantiene. Si  {\displaystyle X\to YZ} entonces  {\displaystyle X\to Y} y {\displaystyle X\to Z}
  4. Pseudo transitividad: 
    si  {\displaystyle A\to B} se mantiene y  {\displaystyle BC\to D} se mantiene, entonces se  {\displaystyle AC\to D} mantiene. Si  {\displaystyle X\to Y} y  {\displaystyle YZ\to W} entonces  {\displaystyle XZ\to W} .

¿Por qué los axiomas de armstrong se refieren al sonido y completo?  
Por sonido, queremos decir que dado un conjunto de dependencias funcionales F especificadas en un esquema de relación R, cualquier dependencia que podamos inferir de F usando las reglas primarias de los axiomas de Armstrong se cumple en cada estado de relación r de R que satisface las dependencias en F Por completo 
, queremos decir que el uso repetido de las reglas primarias de los axiomas de Armstrong para inferir dependencias hasta que no se puedan inferir más dependencias da como resultado el conjunto completo de todas las dependencias posibles que se pueden inferir de F. 

Referencias – 

Este artículo es una contribución de Samit Mandal . Si le gusta GeeksforGeeks y le gustaría contribuir, también puede escribir un artículo usando contribuya.geeksforgeeks.org o envíe su artículo por correo a contribuya@geeksforgeeks.org. Vea su artículo que aparece en la página principal de GeeksforGeeks y ayude a otros Geeks. 

Escriba comentarios si encuentra algo incorrecto o si desea compartir más información sobre el tema tratado anteriormente.

Publicación traducida automáticamente

Artículo escrito por GeeksforGeeks-1 y traducido por Barcelona Geeks. The original can be accessed here. Licence: CCBY-SA

Deja una respuesta

Tu dirección de correo electrónico no será publicada. Los campos obligatorios están marcados con *