Computing FO-Rewritings in EL in Practice: from Atomic to Conjunctive Queries.
Peter HansenCarsten LutzPublished in: CoRR (2018)
Keyphrases
- conjunctive queries
- unions of conjunctive queries
- query language
- query evaluation
- query answering
- query rewriting
- dl lite
- integrity constraints
- np complete
- data complexity
- data exchange
- regular path queries
- answering queries using views
- queries using views
- rewriting queries using views
- special case
- transitive closure
- decision procedures
- combined complexity
- query containment
- probabilistic databases
- first order logic
- description logics
- conjunctive regular path queries
- database
- datalog programs
- satisfiability problem
- schema mappings
- incomplete information
- xml documents
- databases