On the Expressive Power of Logics with Invariant Uses of Arithmetic Predicates.
Nicole SchweikardtPublished in: WoLLIC (2012)
Keyphrases
- expressive power
- query language
- first order logic
- aggregate functions
- data complexity
- relational algebra
- computational properties
- arithmetic operations
- horn clauses
- transitive closure
- relational calculus
- user defined
- relational databases
- recursive queries
- user defined aggregates
- knowledge base
- propositional logic
- inference rules
- logic programs