Sound, Complete and Minimal UCQ-Rewriting for Existential Rules.
Mélanie KönigMichel LeclèreMarie-Laure MugnierMichaël ThomazoPublished in: CoRR (2013)
Keyphrases
- conjunctive queries
- query answering
- query rewriting
- integrity constraints
- data exchange
- data complexity
- np complete
- dl lite
- query evaluation
- query language
- boolean functions
- incomplete information
- decision procedures
- tractable cases
- data integration
- answering queries
- query optimization
- deductive databases
- databases
- efficiently computable
- unions of conjunctive queries
- model counting
- query containment
- association rules
- bounded treewidth
- polynomial size
- datalog programs
- schema mappings