Sign in

First-Order Under-Approximations of Consistent Query Answers.

Floris GeertsFabian PijckeJef 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