Decidability of the Clark's completion semantics for monadic programs and queries.
Levon HaykazyanPublished in: Theory Pract. Log. Program. (2015)
Keyphrases
- query containment
- query answering
- conjunctive queries
- transitive closure
- datalog queries
- regular path queries
- decision procedures
- recursive queries
- query language
- query evaluation
- query answers
- query optimization
- regular expressions
- data complexity
- data exchange
- answering queries
- query rewriting
- query processing
- tree patterns
- integrity constraints
- datalog programs
- database query languages
- deductive databases
- inconsistent databases
- aggregate functions
- expressive power
- response time
- logic programming
- database
- range queries
- unions of conjunctive queries
- probabilistic databases
- web search engines
- description logics
- np complete
- databases
- data sources
- valued logic
- type checking
- relational calculus
- sql queries
- sparql queries
- user queries
- answer sets
- control flow
- fixpoint