A SAT-Based System for Consistent Query Answering.

Akhil A. Dixit Phokion G. Kolaitis

Published in: SAT (2019)

Keyphrases

consistent query answering
answer set programming
inconsistent databases
integrity constraints
sat solvers
database
query answering
conjunctive queries
complexity theoretic
logic programs
answer sets
logic programming
xml documents
data management