Una de las fuerzas que estimuló el desarrollo de la tecnología de bases de datos fue la necesidad de garantizar la consistencia de los datos almacenados. A medida que estos artefactos de software evolucionaron, se tendió a soportar un mayor…

En un sentido general, un modelo es "una abstracción de algo con el propósito de entenderlo antes de construirlo". Los modelos omiten detalles no esenciales, facilitando así el análisis de las propiedades de entidades demasiado complejas para ser entendidas directamente.…

Adotamos o m etodo da indexação da semântica latente (LSI) para classifi car documentos que estejam relacionados por algum meio não restrito apenas aos termos presentes, mas buscando outras formas de similaridades.
A redu cão de dimensionalidade da matriz Termo-Documento…

The term “Federated Databases” refers to the data integration of distributed, autonomous and heterogeneous databases. However, a federation can also include information systems, not only databases. When integrating data, several issues must be addressed. Here, we focus on the problem…

Data integration is the process of unifying data sharing some common semantics but are originated from unrelated sources. In our work we consider these sources are autonomous, heterogeneous and they are physically distributed. These three characteristics make the integration task…

Semantic Web is an extension of the current web in which data contained in the web documents are machine-understandable.
On the other hand, Web Services provide a new model of the web in which sites exchange dynamic information on demand.

During the last years a lot of projects and lines of research have emerged from different proposals trying to find the best way to reach data integration. Two powerful techniques have appeared separately – ontology and contextual information – in…

En este documento presentamos una traducción de diagramas de clases UML complementados con expresiones OCL a expresiones Object-Z.
Nuestro fin es proveer una formalización de los modelos gráfico-textuales expresados mediante UML/OCL que permita aplicar técnicas clásicas de verificación y prueba…