Keyphrases
- expressive power
- query language
- first order logic
- data complexity
- relational algebra
- computational properties
- transitive closure
- regular expressions
- natural language
- finite automata
- relational calculus
- closure properties
- constraint query languages
- data exchange
- tree automata
- database query languages
- monadic second order logic
- relation algebra