Computing FO-Rewritings in EL in Practice: from Atomic to Conjunctive Queries.
Peter HansenCarsten LutzPublished in: Description Logics (2017)
Keyphrases
- conjunctive queries
- query language
- unions of conjunctive queries
- query answering
- query evaluation
- query rewriting
- dl lite
- data complexity
- integrity constraints
- queries using views
- np complete
- special case
- regular path queries
- data exchange
- rewriting queries using views
- query containment
- answering queries using views
- combined complexity
- transitive closure
- decision procedures
- probabilistic databases
- datalog programs
- first order logic
- description logics
- database
- view definitions
- containment of conjunctive queries
- relational model
- incomplete information
- expressive power
- pattern matching
- data model
- query processing
- lower bound