Sciweavers

Share
LPNMR
2009
Springer

Complexity of the Stable Model Semantics for Queries on Incomplete Databases

9 years 4 months ago
Complexity of the Stable Model Semantics for Queries on Incomplete Databases
Abstract. We study the complexity of consistency checking and query answering on incomplete databases for languages ranging from non-recursive Datalog to disjunctive Datalog with negation under the stable model semantics. We consider both possible and certain answers and both closed- and open-world interpretation of C-databases with and without conditions. By reduction to stable models of logic programs we find that, under closed-world interpretation, adding negation to (disjunctive) Datalog does not increase the complexity of the considered problems for C-databases, but certain answers for databases without conditions are easier for Datalog without than with negation. Under open-world interpretation, adding negation to non-recursive Datalog already leads to undecidability, but the complexity of certain answers for negation-free queries is the same as under closed-world interpretation.
Jos de Bruijn, Stijn Heymans
Added 27 May 2010
Updated 27 May 2010
Type Conference
Year 2009
Where LPNMR
Authors Jos de Bruijn, Stijn Heymans
Comments (0)
books