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,…

Las bases de datos clásicas se organizan basándose en el concepto de búsqueda exacta sobre datos estructurados, capturando sólo un estado de la realidad modelizada. Actualmente las bases de datos han incluido la capacidad de almacenar otro tipos de datos…

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…

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.

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,…

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…

Los datos multimedia son cada vez más comunes en las aplicaciones actuales, siendo tanto o más importante no sólo contar con la información textual, sino con la imagen que la representa.
Estas aplicaciones que trabajan con distintos tipos de media:…

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…