Publication
Title
First-order under-approximations of consistent query answers
Author
Abstract
Consistent Query Answering (CQA) has by now been widely adopted as a principled approach for answering queries on inconsistent databases. The consistent answer to a query q on an inconsistent database db is the intersection of the answers to q on all repairs, where a repair is any consistent database that is maximally close to db. Unfortunately, computing consistent answers under primary key constraints has already exponential data complexity for very simple conjunctive queries, which is completely impracticable. In this paper, we propose a new framework for divulging an inconsistent database to end users, which adopts two postulates. The first postulate complies with CQA and states that inconsistencies should never be divulged to end users. Therefore, end users should only get consistent query answers. The second postulate states that the data complexity of user queries must remain tractable (i.e., in P or even in FO). User queries with exponential data complexity will be rejected. We investigate which consistent query answers can still be obtained under such access postulates.
Language
English
Source (journal)
Lecture notes in computer science. - Berlin, 1973, currens
Publication
Berlin : 2015
ISBN
978-3-319-23540-0; 978-3-319-23539-4
Volume/pages
9310(2015), p. 354-367
ISI
000366122500024
Full text (Publisher's DOI)
UAntwerpen
Faculty/Department
Research group
Publication type
Subject
Affiliation
Publications with a UAntwerp address
External links
Web of Science
Record
Identification
Creation 26.10.2015
Last edited 09.06.2017
To cite this reference