Consistent Query Answering via ASP from Different Perspectives: Theory and Practice

07/22/2011
by   Marco Manna, et al.
0

A data integration system provides transparent access to different data sources by suitably combining their data, and providing the user with a unified view of them, called global schema. However, source data are generally not under the control of the data integration process, thus integrated data may violate global integrity constraints even in presence of locally-consistent data sources. In this scenario, it may be anyway interesting to retrieve as much consistent information as possible. The process of answering user queries under global constraint violations is called consistent query answering (CQA). Several notions of CQA have been proposed, e.g., depending on whether integrated information is assumed to be sound, complete, exact or a variant of them. This paper provides a contribution in this setting: it uniforms solutions coming from different perspectives under a common ASP-based core, and provides query-driven optimizations designed for isolating and eliminating inefficiencies of the general approach for computing consistent answers. Moreover, the paper introduces some new theoretical results enriching existing knowledge on decidability and complexity of the considered problems. The effectiveness of the approach is evidenced by experimental results. To appear in Theory and Practice of Logic Programming (TPLP).

READ FULL TEXT

page 1

page 2

page 3

page 4

research
10/12/2018

Leveraging protection and efficiency of query answering in heterogenous RDF data using blockchain

The Semantic Web, an extension of the current web, provides a common fra...
research
06/03/2019

Reasoning about disclosure in data integration in the presence of source constraints

Data integration systems allow users to access data sitting in multiple ...
research
07/03/2023

Ontology-based Mediation with Quality Criteria

This paper presents a semantic system named OntMed for an ontology-based...
research
07/19/2022

Consistent Query Answering for Expressive Constraints under Tuple-Deletion Semantics

We study consistent query answering in relational databases. We consider...
research
09/09/2009

Interactive Data Integration through Smart Copy & Paste

In many scenarios, such as emergency response or ad hoc collaboration, i...
research
07/18/2022

Turning the information-sharing dial: efficient inference from different data sources

A fundamental aspect of statistics is the integration of data from diffe...
research
04/13/2021

Towards Better Understanding of User Authorization Query Problem via Multi-variable Complexity Analysis

User authorization queries in the context of role-based access control h...

Please sign up or login with your details

Forgot password? Click here to reset