First-Order Under-Approximations of Consistent Query Answers

Consistent Query Answering (CQA) is 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 an...More