Resumen de 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

María Covadonga Fernández Baizán

• PARTIENDO DE LOS AXIOMAS ENUNCIADOS POR ARMSTRONG PARA LAS DEPENDENCIAS FUNCIONALES SE HA ENUNCIADO UN CONJUNTO DE TEOREMAS QUE FUNDAMENTAN UN ALGORITMO QUE PERMITE DETERMINAR TODAS LAS CLAVES DE UNA RELACION, ESTO JUNTO CON UNA CARACTERIZACION MATEMATICA PRECISA DE LAS FORMAS NORMALES HA PERMITIDO DISEÑAR UNA FUNCION DE VERIFICACION DEL NIVEL DE NORMALIZACION DE UNA RELACION -