Consistent Query Answering for Expressive Constraints under Tuple-Deletion Semantics

07/19/2022
by   Lorenzo Marconi, et al.
0

We study consistent query answering in relational databases. We consider an expressive class of schema constraints that generalizes both tuple-generating dependencies and equality-generating dependencies. We establish the complexity of consistent query answering and repair checking under tuple-deletion semantics for different fragments of the above constraint language. In particular, we identify new subclasses of constraints in which the above problems are tractable or even first-order rewritable.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
05/24/2021

Harmless but Useful: Beyond Separable Equality Constraints in Datalog+/-

Ontological query answering is the problem of answering queries in the p...
research
05/07/2019

A SAT-based System for Consistent Query Answering

An inconsistent database is a database that violates one or more integri...
research
02/13/2022

On the Relationship between Shy and Warded Datalog+/-

Datalog^E is the extension of Datalog with existential quantification. W...
research
01/09/2023

Consistent Query Answering without Repairs in Tables with Nulls and Functional Dependencies

In this paper, we study consistent query answering in tables with nulls ...
research
03/02/2020

Distribution Constraints: The Chase for Distributed Data

This paper introduces a declarative framework to specify and reason abou...
research
07/22/2011

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

A data integration system provides transparent access to different data ...

Please sign up or login with your details

Forgot password? Click here to reset