Complexity of the Stable Model Semantics for Queries on Incomplete Databases.
Jos de BruijnStijn HeymansPublished in: LPNMR (2009)
Keyphrases
- databases
- logic programs
- logic programming
- database
- stable models
- null values
- fixpoint
- database queries
- data sources
- normal logic programs
- situation calculus
- query language
- query evaluation
- relational database systems
- query processing
- data retrieval
- database systems
- answer set programming
- data model
- recursive queries
- relational databases
- data integration
- deductive databases
- magic sets transformation
- semantics for logic programs
- autoepistemic logic
- logic programs with negation
- query patterns
- nonmonotonic reasoning
- programming language
- range queries