En nuestro trabajo estudiamos las consultas a bases de datos, o queries, usando como marco teórico la Teoría de Modelos Finitos ([AHV95] y [EF95]), con el objetivo de contribuir a la construcción de una Teoría de Bases de Datos que,…

Una Base de Datos Distribuidas (BDD) puede ser definida como una colección integrada de datos compartidos que están físicamente repartido a lo largo de los nodos de una red de computadoras. Un DDBMS es el software necesario para manejar una…

Con la evolución de las tecnologías de información y comunicación, han surgido almacenamientos no estructurados de información. No sólo se consultan nuevos tipos de datos tales como texto libre, imágenes, audio y vi deo; sino que adem´as, en algunos casos,…

Un sistema de memoria compartida consiste de una colección de procesos en comunicación, como en un sistema de red. Pero en vez de enviar y recibir mensajes sobre un canal de comunicación, los procesos realizan operaciones instantáneas sobre datos compartidos.

La motivación de este trabajo es que (...) el grado de expresividad de FO es sumamente limitado ya que en [CH80] se demostró que está estrictamente contenido en (y es muy inferior a) DSPACE(log n). Nosotros consideraremos extensiones de FO…

La búsqueda de elementos cercanos o similares a uno dado, es un problema que aparece en diversas áreas. Este concepto fue motivado como una extensión natural del concepto de búsqueda exacta, ante el surgimiento de nuevos tipos de bases de…

En este trabajo presentamos SmartBooks, un método para documentar frameworks orientados a objetos. En base a este método, es posible diseñar un agente inteligente que guíe el proceso de instanciación, ele acuerdo con la funcionalidad requerida para la aplicación que…

En este artículo se presenta un análisis de los frameworks Brainstorm/J y Framas desarrollados en el Instituto de Sistemas ISIST AN. El análisis tiene como objetivo determinar las ventajas y las limitaciones de cada uno de ellos en el desarrollo…

El desarrollo de un sistema de software requiere entender el macrosistema en el que será utilizado.
Para ello los ingenieros de requerimientos utilizan métodos para comprender y modelar los elementos del macrosistema. Client-oriented baseline (Leite 1995) contribuye a la solución…

La detección de plagio intrínseco obtiene las secciones de un texto que se sospecha no fueron escritas por el autor del mismo, en base a las variaciones estilográficas observadas en el mismo. En este trabajo, se analiza la factibilidad del…