Autor: FERNANDEZ BAIZAN, María Covadonga

Título: 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

Fecha: 1981

Materia: MATEMÁTICAS. TESEO;CIENCIAS DE LA COMPUTACIÓN. TESEO

Escuela: FACULTAD DE INFORMATICA

Departamento: SIN DEPARTAMENTO DEFINIDO

Acceso electrónico:

Director/a(s):

• Director/a: PORTAENCASA BAEZA, Rafael

Resumen: Partiendo de los axiomas enunciados por Armstrong para las dependencias funcionales se ha enunciado un conjunto de teoremas que fundamentan un algorítmo que permite determinar todas las claves de una relación. Esto junto con una caracterización matemática precisa de las formas normales ha permitido diseñar una función de verificación del nivel de normalización de una relación