Keyphrases
- expressive power
- linear programming
- query language
- first order logic
- data complexity
- computational properties
- transitive closure
- optimal solution
- relational algebra
- objective function
- relational calculus
- knowledge base
- constraint propagation
- programming language
- dynamic programming
- artificial intelligence
- aggregate functions