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

• Autores: María Covadonga Fernández Baizán
• Directores de la Tesis: Rafael Portaencasa Baeza (dir. tes.)
• Lectura: En la Universidad Politécnica de Madrid ( España ) en 1981
• Idioma: español
• Tribunal Calificador de la Tesis: Rafael Portaencasa Baeza (presid.), Juan José Scala Estalella (secret.), Antonio Insua Negrao (voc.), Franz Halberg (voc.), José García Santesmases (voc.)
• Materias:
  • Matemáticas
    • Ciencia de los ordenadores
      • Bancos de datos
• Texto completo no disponible (Saber más ...)
• Resumen

  • 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 -