Chase of datalog programs and its application to solve the functional dependencies implication problem

[Resumen]Esta tesis presenta resultados en dos áreas principales. Por un lado se presentan resultados en el área de optimización de consultas recursivas (programas datalog recursivos lineales) en sistemas de gestión de bases datos deductivas (o convencionales pero que cumplan las especificaciones de SQL99) y por otro se presentan resultados en la implicación de dependencias funcionales en el modelo de datos deductivo. Para la optimización de programas recursivos lineales la aproximación adoptada es la de la optimización semántica de consultas que consiste en la utilización de las restricciones, que cumplen las bases de datos sobre las que se ejecutan las consultas, para obtener un programa más eficiente de evaluar. En concreto, se presentan dos algoritmos para la optimización de programas de datolg recursivos lineales cuando la base de datos sobre la que se ejecutan las consultas cumple un conjunto de dependencias funcionales. El primero se denomina chase de programas datalog y el segundo se denomina cyclic chase de programas datalog. Ambos algortimos persiguen el mismo objetivo (pero siguiendo dos aproximaciones ligeramente distintas), esto es, a partir de un progrma datalog recursivo lineal P y un conjunto de dependencias funcionales F, los dos algoritmos obtienen un programa P' que es equivalente a P cuando ambos (P y P') son evaluados sobre bases de datos que cumplen las dependencias funcionales F. Los dos algoritmos se basan en la utilización del chase, un procedimiento que originalmente se desarrolló para comprobar si una descomposición (de una relación universal) en distintas relaciones tenía pérdida de información o no. Los dos algoritmos utilizan la idea básica del chase (la igualación de variables siguiendo las dependencias funcionales) para la igualación de variables dentro de los programas datalog

Optimización de programas Datalog basada en estrategias

Tarín Morales, F. (2011). Optimización de programas Datalog basada en estrategias. http://hdl.handle.net/10251/15639Archivo delegad

Integración de mecanismos activos en un MBDOO

El objetivo del presente trabajo es mostrar los aspectos relevantes para extender la definición de SIGMA a un modelo de base de datos activo. En el capítulo uno se revisan los conceptos básicos sobre sistemas de bases de datos orientados a objetos, en el capítulo dos se describen las ventajas de contar con un DBMS que tenga capacidad para realizar el control automático de restricciones, justificando la necesidad de la incorporación de un sistema de reglas para tomarlo en un modelo activo. En los capítulos tres y cuatro se exponen los sistemas de reglas, sus principales características y funcionamiento, y las cuestiones que deben resolverse cuando se los incorpora en un DBMS. En el capítulo cinco se definen los aspectos fundamentales para incorporar un sistema de reglas en SIGMA. En el seis se hace un análisis de las propuestas existentes más difundidas sobre bases de datos activas, comparando sus principales características con las del capítulo cinco. Por último, en el séptimo, se realizan las conclusiones del trabajo.Tesis digitalizada en SEDICI gracias a la colaboración de la Biblioteca de la Facultad de Informática. En las últimas páginas se advierten borrones en el original que no pudieron ser mejorados con la digitalización.Facultad de Ciencias Exacta

Integración de mecanismos activos en un MBDOO

El objetivo del presente trabajo es mostrar los aspectos relevantes para extender la definición de SIGMA a un modelo de base de datos activo. En el capítulo uno se revisan los conceptos básicos sobre sistemas de bases de datos orientados a objetos, en el capítulo dos se describen las ventajas de contar con un DBMS que tenga capacidad para realizar el control automático de restricciones, justificando la necesidad de la incorporación de un sistema de reglas para tomarlo en un modelo activo. En los capítulos tres y cuatro se exponen los sistemas de reglas, sus principales características y funcionamiento, y las cuestiones que deben resolverse cuando se los incorpora en un DBMS. En el capítulo cinco se definen los aspectos fundamentales para incorporar un sistema de reglas en SIGMA. En el seis se hace un análisis de las propuestas existentes más difundidas sobre bases de datos activas, comparando sus principales características con las del capítulo cinco. Por último, en el séptimo, se realizan las conclusiones del trabajo.Tesis digitalizada en SEDICI gracias a la colaboración de la Biblioteca de la Facultad de Informática. En las últimas páginas se advierten borrones en el original que no pudieron ser mejorados con la digitalización.Facultad de Ciencias Exacta

Integración de mecanismos activos en un MBDOO

El objetivo del presente trabajo es mostrar los aspectos relevantes para extender la definición de SIGMA a un modelo de base de datos activo. En el capítulo uno se revisan los conceptos básicos sobre sistemas de bases de datos orientados a objetos, en el capítulo dos se describen las ventajas de contar con un DBMS que tenga capacidad para realizar el control automático de restricciones, justificando la necesidad de la incorporación de un sistema de reglas para tomarlo en un modelo activo. En los capítulos tres y cuatro se exponen los sistemas de reglas, sus principales características y funcionamiento, y las cuestiones que deben resolverse cuando se los incorpora en un DBMS. En el capítulo cinco se definen los aspectos fundamentales para incorporar un sistema de reglas en SIGMA. En el seis se hace un análisis de las propuestas existentes más difundidas sobre bases de datos activas, comparando sus principales características con las del capítulo cinco. Por último, en el séptimo, se realizan las conclusiones del trabajo.Tesis digitalizada en SEDICI gracias a la colaboración de la Biblioteca de la Facultad de Informática. En las últimas páginas se advierten borrones en el original que no pudieron ser mejorados con la digitalización.Facultad de Ciencias Exacta

APO : aplicación para la población de ontologías

Se ha conseguido desarrollar una herramienta capaz de proporcionar al usuario un editor de ontologías, con la que se pueda crear tanto las relaciones como características de los componentes que integran una ontología. Es un sistema seguro, amigable y fácilmente modulable. Se dejan las puertas abiertas para multitud de funcionalidades nuevas a implementar. De la misma forma se ha establecido un esquema ontológico representado en una base de datos, lo que facilita la adaptabilidad de cualquier ontología poblada para poder ser reutilizada en el sistema.Ingeniería Técnica en Informática de Gestió

WICC 2016 : XVIII Workshop de Investigadores en Ciencias de la Computación

Actas del XVIII Workshop de Investigadores en Ciencias de la Computación (WICC 2016), realizado en la Universidad Nacional de Entre Ríos, el 14 y 15 de abril de 2016.Red de Universidades con Carreras en Informática (RedUNCI

WICC 2017 : XIX Workshop de Investigadores en Ciencias de la Computación

Actas del XIX Workshop de Investigadores en Ciencias de la Computación (WICC 2017), realizado en el Instituto Tecnológico de Buenos Aires (ITBA), el 27 y 28 de abril de 2017.Red de Universidades con Carreras en Informática (RedUNCI

Definición y automatización del proceso de validación de las fallas del producto Montvale

Proyecto de Graduación (Licenciatura en Ingeniería Electrónica) Instituto Tecnológico de Costa Rica. Escuela de Ingeniería Electrónica, 2006.Para una empresa de prestigio mundial como Intel, es muy importante garantizar a sus clientes la calidad del producto que están adquiriendo, por este motivo, se realizan pruebas funcionales y paramétricas durante el proceso de producción de un microprocesador. Todas las unidades que presentan problemas son desechadas, lo cual, representa un desperdicio de recursos; por lo tanto, un ingeniero debe realizar un proceso de validación de las unidades defectuosas para determinar el origen de las fallas y de esta manera poder corregir alguna de las etapas del proceso de producción para minimizar el número de unidades defectuosas Actualmente, no se cuenta con una metodología de validación para el producto Montvale, lo cual, aumenta considerablemente el tiempo que requiere un ingeniero para realizar la validación de las unidades Por este motivo, este proyecto pretende definir y automatizar un procedimiento de validación para las principales fallas de: Caché, SBFT y Scan del producto Montvale. Para lo cual, hay que realizar una investigación para definir una metodología de validación de fallas y se debe implementar un algoritmo de ejecución dinámica que permita la automatización de dicho proceso. Es decir, se pretende diseñar una máquina virtual que sea capaz de interpretar las instrucciones del usuario y que ejecuta las acciones de manera automática en la plataforma de prueba que se utiliza para validar las fallas del producto Montvale.Instituto Tecnológico de Costa Rica. Escuela de Ingeniería Electrónica. Componentes Intel de Costa Ric

XX Workshop de Investigadores en Ciencias de la Computación - WICC 2018 : Libro de actas

Actas del XX Workshop de Investigadores en Ciencias de la Computación (WICC 2018), realizado en Facultad de Ciencias Exactas y Naturales y Agrimensura de la Universidad Nacional del Nordeste, los dìas 26 y 27 de abril de 2018.Red de Universidades con Carreras en Informática (RedUNCI