UCQ-Rewritings for disjunctive knowledge and queries with negated atoms.
Enrique Matos AlfonsoAlexandros ChortarasGiorgos StamouPublished in: Semantic Web (2021)
Keyphrases
- query rewriting
- conjunctive queries
- query containment
- query evaluation
- unions of conjunctive queries
- view definitions
- query language
- query answering
- query optimization
- probabilistic databases
- np complete
- datalog programs
- integrity constraints
- answering queries using views
- decision procedures
- spatial databases
- regular path queries
- data complexity
- xpath queries
- knowledge representation
- relational queries
- tractable cases
- answering queries
- knowledge base
- data model
- transitive closure
- tree patterns
- special case
- model counting
- dnf formulas
- query processing
- query result
- query execution
- data exchange
- data integration
- logic programs
- xml queries
- database queries
- data management
- upper bound