Correctness of Solving Query-Answering Problems Using Satisfiability Solvers.

Kiyoshi Akama Ekawit Nantajeewarawat

Published in: ACIIDS (1) (2013)

Keyphrases

query answering
data exchange
integrity constraints
incomplete information
data integration
data complexity
decision problems
answering queries
data integration systems
database
database systems
special case
decision support
np complete
regular path queries