Journal
THEORY AND PRACTICE OF LOGIC PROGRAMMING
Volume -, Issue -, Pages -Publisher
CAMBRIDGE UNIV PRESS
DOI: 10.1017/S1471068423000364
Keywords
incomplete information; certain answers; datalog rewritings; first-order rewritings; functional dependencies; chase
Ask authors/readers for more resources
This paper investigates the problem of answering database queries over incomplete data. By exploring the complexity of certain answers and efficiently answering queries outside the usual classes, the paper proposes a method of rewriting queries as Datalog and first-order queries. The study shows that certain answers can be expressed in Datalog for a well-behaved class of queries, making them tractable in data complexity.
To answer database queries over incomplete data, the gold standard is finding certain answers: those that are true regardless of how incomplete data is interpreted. Such answers can be found efficiently for conjunctive queries and their unions, even in the presence of constraints. With negation added, the problem becomes intractable however. We concentrate on the complexity of certain answers under constraints and on effficiently answering queries outside the usual classes of (unions) of conjunctive queries by means of rewriting as Datalog and first-order queries. We first notice that there are three different ways in which query answering can be cast as a decision problem. We complete the existing picture and provide precise complexity bounds on all versions of the decision problem, for certain and best answers. We then study a well-behaved class of queries that extends unions of conjunctive queries with a mild form of negation. We show that for them, certain answers can be expressed in Datalog with negation, even in the presence of functional dependencies, thus making them tractable in data complexity. We show that in general, Datalog cannot be replaced by first-order logic, but without constraints such a rewriting can be done in first order.
Authors
I am an author on this paper
Click your name to claim this paper and add it to your profile.
Reviews
Recommended
No Data Available