Sound, complete and minimal UCQ-rewriting for existential rules.
Mélanie KönigMichel LeclèreMarie-Laure MugnierMichaël ThomazoPublished in: Semantic Web (2015)
Keyphrases
- conjunctive queries
- query answering
- query rewriting
- data exchange
- integrity constraints
- dl lite
- data complexity
- query evaluation
- boolean functions
- data integration
- query language
- unions of conjunctive queries
- regular path queries
- special case
- decision procedures
- efficiently computable
- model counting
- answering queries
- np complete
- datalog programs
- incomplete information
- query optimization
- tractable cases
- query result
- probabilistic databases
- query containment
- data management
- xml documents
- learning algorithm