Formalización, diseño e implementación de una interfaz relacional eficaz para sistemas Codasyl

Résumé

EL OBJETIVO DE LA TESIS ES EL DISEÑO DE UN SISTEMA QUE OFREZCA LAS VENTAJAS DE LOS SISTEMAS RELACIONALES A USUARIOS QUE DISPONGAN DE UN SISTEMA DE TIPO RED, EL SISTEMA SE DIVIDE EN TRES MODULOS: 1.- MODULO TRADUCTOR. ENCARGADO DE TRADUCIR UN ESQUEMA DE TIPO CODASYL (CORRESPONDIENTE A UN DISEÑO CONCRETO DE BASE DE DATOS) A UN ESQUEMA DE TIPO RELACIONAL. 2.- MODULO OPTIMIZADOR. ENCARGADO DE OBTENER EL CAMINO OPTIMO DE ACCESO A LOS DATOS (DE LA BASE DE DATOS) SOLICITADOS POR EL USUARIO MEDIANTE UNA PREGUNTA EXPRESADA CON EL LENGUAJE DEL CALCULO DE PREDICADOS DE PRIMER ORDEN. CON TAL FIN REALIZA UNA SIERE DE TRANSFORMACIONES EN LA PREGUNTA A TRES NIVELES: SINTACTICO TRANSFORMA LA PREGUNA EN OTRA EQUIVALENTE UTILIZANDO PARA ELLO LOS CONCEPTOS DE EQUIVALENCIAS LOGICA. SEMANTICO TRANSFORMA LA PREGUNTA EN OTRA SEMANTICAMENTE EQUIVALENTE (PERO CON UNA EXPRESION DISTINTA) UTILIZANDO INFORMACIONES DEDUCIDAS POR UN MECANISMO DE INFERENCIA EN EL DOMINIO DE LA APLICACION DE BASES DE DATOS. FISICO TRANSFORMA LA PREGUNTA TENIENDO EN CUENTA LAS CARACTERISTICAS DE IMPLEMENTACION DE LA BASE DE DATOS. 3.- MODULO GENERADOR. ENCARGADO DE GENERAR AUTOMATICAMENTE LOS ALGORITMOS QUE PERMITEN EL ACCESO A LOS DATOS A PARTIR DEL PLAN DE EJECUCION SLECCIONADO POR EL MODULO - OPTIMIZADOR.