Caracterización matemática de las bases de datos relacionales a partir de los axiomas de Armstrong : una aproximación desde el punto de vista analítico

Abstract

El contenido de este trabajo se inscribe dentro del campo de las Bases de Datos, más concretamente, de las Bases de Datos Relaciónales, para las que los resultados obtenidos son de inmediata aplicación. El software de gestión de una Base de Datos Relaciona!, debería incluir un modo de conocer el grado de normalización de una relación, ya que, del manejo de relaciones no normalizadas, pueden derivarse ciertas inconsistencias (son las denominadas anomalías de inserción, borrado y actualización). Nuestro objetivo es proporcionar un fundamento matemático para tales técnicas.
El método utilizado, parte de las dependencias funcionales - definidas en el esquema inicial, calculando todas las claves. Esta determinación, unida a un estudio en detalle de las propiedades matemáticas - de las Formas Normales, y a la caracterización de los atributos principales y no principales; permite la elaboración de dos sencillos Algoritmos, que, aplicados a una relación, producen como resultado su nivel de normalización.