Ensuring the correctness of a given software component has become a crucial aspect in Software Engineering and the Model Checking technique provides a fully automated way to achieve this goal. In particular, the usage of Model Checking in formal languages…

The Semantic Web attempts to reach a state in the future where everything on the Web will no longer be only machine-readable, but also machine-understandable. An ontology is an explicit specification of a conceptualization. A conceptualization is an abstract, simplified…

Vertical partitioning, in which attributes of a relation are
assigned to partitions, is aimed at improving database
performance. We extend previous research that is based on
a single relation to multi-relation database environment,
by including referential integrity constraints, access time

Este artículo presenta un método de identificación y clasificación de la valencia y las
emociones presentes en un texto. Para ello, se introduce un nuevo concepto denominado
disparador de emoción. Inicialmente, se construye de forma incremental una base de datos

The star model, broadly used in data warehouse modeling, is a logical model, so its representation is strongly dependent on the database technology used for its implementation, usually relational. The method recommended for designing a dimensional system would be the…

En el marco de la traducción automática árabe-inglés, el enfoque pseudointerlingüístico de UniArab ha logrado, incluso con oraciones simples, mejores resultados que los traductores automáticos basados en modelos estadísticos. El éxito de UniArab se cimienta en el modelo funcional de…

This book provides an excellent foundation for the principles of database and data management. It explains some of the more difficult concepts fairly well. The book is meant for an introductory course in database management which is usually required as…

Numerical Taxonomy aims to group in clusters, using so-called structure analysis of operational taxonomic units (OTUs or taxons or taxa) through numerical methods. Clusters that consitute families was the purpose of this series of last projects.
Structural analysis, based on…

Nowadays, data intensive applications are in constant demand and there is need of computing environments with better intelligent capabilities than those present in today's Database Management Systems (DBMS). To build such systems we need formalisms that can perform complicate inferences,…

This paper presents a data structure based on Sparse Spatial Selection (SSS) for similarity searching. An algorithm that tries periodically to adjust pivots to the use of database index is presented. This index is dynamic. In this way, it is…