First-Order Under-Approximations of Consistent Query Answers.

Floris Geerts Fabian Pijcke Jef Wijsen

Published in: SUM (2015)

Keyphrases

first order logic
inconsistent databases
databases
incomplete information
efficient computation
horn clauses
multi dimensional
expressive power
integrity constraints
data complexity