Oasisun lenguaje único para bases de datos orientadas a objetos

Resumen

EN ESTA TESIS SE ABORDA LA UTILIZACION DE UN UNICO LENGUAJE PARA LA DEFINICION DE ESQUEMAS, ACTUALIZACION/CONSULTA Y PROGRAMACION DE APLICACIONES EN UN SISTEMA DE GESTION DE BASES DE DATOS DEDUCTIVAS Y ORIENTADAS A OBJETOS (SGBDOO), CON EL FIN DE RESOLVER ALGUNOS PROBLEMAS QUE SE PLANTEAN EN ESTE CAMPO, PARA ELLO, SE DEFINE UN MODELO FORMAL ORIENTADO A OBJETOS QUE SE SUSTENTA EN: A) EL USO DE LOGICAS DINAMICAS PARA DESCRIBIR EL ESTADO Y EL COMPORTAMIENTO DE LOS OBJETOS B) LA NOCION DE METACLASE, QUE PERMITE DAR CUENTA DE LA CREACION Y DESTRUCCION DE OBJETOS Y DE LA EVOLUCION DEL ESQUEMA DESDE DENTRO DEL PROPIO MODELO. C) LA VISION DE LOS OBJETOS COMO PROCESOS PERMITE DEFINIR LAS VIDAS DE LOS OBJETOS COMO TERMINOS DE UN ALGEBRA DE PROCESOS; LA INTRODUCCION DE LA NOCION DE OBLIGACION PERMITIRA DEFINIR EN EL MISMO MODELO LA IDEA DE APLICACION INFORMATICA. COMO SOPORTE AL MODELO SE PROPONE EL LENGUAJE R-OASIS, VERSION DINAMICA DE UN LENGUAJE ORIENTADO A OBJETOS DE ESPECIFICACION FORMAL QUE SERA USADO COMO LENGUAJE UNICO EN EL SGBDOO KAOS, QUE SE PRESENTA COMO REALIZACION PRACTICA DE LA TESIS. KAOS PERMITE EL ALMACENAMIENTO Y RECUPERACION DE OBJETOS OASIS Y DA SOPORTE A ASPECTOS DE ACTUALIZACION Y CONSULTA DE OBJETOS Y A LA EJECUCION DE APLICACIONES ESCRITAS EN R-OASIS. CON ELLO SE ELIMINA UNO DE LOS PROBLEMAS TIPICOS DE LOS SGBDOO COMO ES EL DEL DESACOPLO DE IMPEDANCIA ENTRE LOS DISTINTOS LENGUAJES QUE SE UTILIZAN EN LA INTERACCION CON EL SGBD.