Browsing by Subject "Informació -- Sistemes d'emmagatzematge i recuperació"
Now showing items 1-20 of 301
-
A common framework for classifying and specifying deductive database updating problems
(Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics, 1994)
Conference report
Open AccessSeveral problems may arise when updating a deductive database. Up to now, the general approach of the research related to deductive database updating problems has been to provide specific methods for solving particular ... -
A complete proof procedure for efficient integrity checking in deductive databases
(Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics, 1992)
Conference report
Open AccessWe present proof procedure for checking the integrity of a deductive database. We follow the proposal of Sadri and Kowalski. Our procedure replaces the latter's meta-level rules by inference rules that are implemented more ... -
A cost model for random access queries in document stores
(2021-07)
Article
Open AccessDocument stores have become one of the key NoSQL storage solutions. They have been widely adopted in different domains due to their ability to store semi-structured data and expressive query capabilities. However, ... -
A deductive approach to semantic heterogeneity in multidatabase systems
(Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics, 1993)
Conference report
Open AccessHeterogeneous Databases are becoming increasingly important, but they present several problems. We consider the problem of semantic heterogeneity and show that a deductive model is suita.ble for coping with the problem. ... -
A derivation path recording method for integrity checking in deductive databases
(Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics, 1991)
Conference report
Open AccessA method is presented for checking integrity constraints in a deductive database in which verification of integrity is reduced to determine if the transaction has induced the insertion of sorne inconsistency atom. In ... -
A filtering engine for large conceptual schemas
(Universitat Politècnica de Catalunya, 2013-01-29)
Doctoral thesis
Open Access -
A first literature review on enterprise reference architecture
(Association for Information Systems (AIS), 2017)
Conference report
Restricted access - publisher's policyEnterprise Reference Architectures have been increasingly emerging as new standardized architectural description artefacts suitable to provide a frame of reference for a particular business domains. Used in an appropriate ... -
A Middleware framework for self-adaptive large scale distributed services
(Universitat Politècnica de Catalunya, 2011-07-21)
Doctoral thesis
Open AccessModern service-oriented applications demand the ability to adapt to changing conditions and unexpected situations while maintaining a required QoS. Existing self-adaptation approaches seem inadequate to address this challenge ... -
A new plan generation method for deductive conceptual models validation
(Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics, 1993)
Conference report
Open AccessA new method for planning in a deductive conceptual model context is proposed. lt is based on viewing the information base modelled by a deductive conceptual model as a deductive database. This is possible provided that ... -
A note on the limitations of utilizing modal logic for federated information systems
(Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics, 1992)
Conference report
Open AccessRecently much effort has been put into using modal logic representation lan guages for different kinds of distributed database and distributed problem solving systems. We have ourselves presented an architecture realizing ... -
A process-aware tool for the worldwide request and distribution of medical supplies for Chagas
(Universitat Politècnica de Catalunya, 2019-07)
Bachelor thesis
Open AccessLas enfermedades tropicales desatendidas (ETD) son un grupo de enfermedades transmisibles que prevalecen en condiciones tropicales en 149 países. Afectan principalmente a las poblaciones que viven en la pobreza, sin ... -
A square block format for symmetric band matrices
(Springer, 2014)
Conference report
Open AccessThis contribution describes a Square Block, SB, format for storing a banded symmetric matrix. This is possible by rearranging “in place” LAPACK Band Layout to become a SB layout: store submatrices as a set of square blocks. ... -
A study on data deduplication in HPC storage systems
(Institute of Electrical and Electronics Engineers (IEEE), 2012)
Conference report
Restricted access - publisher's policyDeduplication is a storage saving technique that is highly successful in enterprise backup environments. On a file system, a single data block might be stored multiple times across different files, for example, multiple ... -
A weak allowedness condition that ensures completeness of SLDNF-resolution
(Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics, 1990)
Conference report
Open AccessThe lillowedness condition usually imposed on classes of programs for which general completeness results for SLDNF-resolution have been proved is a very restrictive one and prohibits many important programming constructs. ... -
A web-based user interface for browsing and annotating image collections using a state-of-the-art content-based image search engine
(Universitat Politècnica de Catalunya, 2018-02-01)
Bachelor thesis
Open Access
Covenantee: Dublin City UniversityThis thesis consists of developing a web user interface for a content-based image retrieval (CBIR) system in order to provide a visualization of the obtained results and eventually to improve them by capturing the user's ... -
AbacusFS integrated storage and computational platform
(Institute of Electrical and Electronics Engineers (IEEE), 2012)
Conference report
Open AccessToday's applications, especially those in the scientific community, deal with an ever growing amount of data. Among the problems that arise from this explosion of data are how to organize the data so that the information ... -
Aeneas: A tool to enable applications to effectively use non-relational databases
(Elsevier, 2013)
Conference report
Open AccessNon-relational databases arise as a solution to solve the scalability problems of relational databases when dealing with big data applications. However, they are highly configurable prone to user decisions that can heavily ... -
An abductive proof procedure for hypothetical reasoning in computational theories
(Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics, 1992)
Conference report
Open AccessIn this paper. we develop a resolution-based proof procedure, called SLY resolution. far hypothetical reasoning in computational theories. SLY coincides with SLD resolution in the case of definite programs and when hypotheses ... -
An approach to monitoring changes in deductive databases
(Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics, 1991)
Conference report
Open AccessWe propose a method to monitor changes in deductive databases. The method augments a database with a set of transition and events rules, which explicitly define the insertions, deletions and modifications induced by a ... -
An approach to validation of deductive conceptual models
(Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics, 1991)
Conference report
Open AccessWe propose an approach to validation of deductive conceptual models. This validation is performed through plan generation. The objective of plan generation is to determine sequences of events that lead to a certain goal ...
