Decidability of the Clark's Completion Semantics for Monadic Programs and Queries.
Levon HaykazyanPublished in: CoRR (2014)
Keyphrases
- query containment
- conjunctive queries
- query answering
- datalog queries
- transitive closure
- decision procedures
- query optimization
- recursive queries
- regular path queries
- query processing
- datalog programs
- query evaluation
- unions of conjunctive queries
- regular expressions
- integrity constraints
- query language
- database
- data complexity
- query rewriting
- database query languages
- answering queries
- range queries
- np complete
- relational databases
- database queries
- user queries
- stable models
- logic programming
- answer sets
- loop formulas
- probabilistic databases
- fixpoint
- sql queries
- deductive databases
- expressive power
- description logics
- databases