Polynomial combined first-order rewritings for linear and guarded existential rules.
Georg GottlobMarco MannaAndreas PierisPublished in: Artif. Intell. (2023)
Keyphrases
- query answering
- horn clauses
- low order
- query rewriting
- unions of conjunctive queries
- existentially quantified
- conjunctive queries
- universally quantified
- higher order
- dl lite
- first order logic
- data exchange
- association rules
- taylor series
- low degree
- databases
- data complexity
- materialized views
- integrity constraints
- query language
- linear temporal logic
- query processing
- data mining
- database