Keyphrases
- expressive power
- query language
- model checking
- first order logic
- temporal logic
- computation tree logic
- transitive closure
- data complexity
- relational algebra
- computational properties
- constraint query languages
- databases
- temporal properties
- formal specification
- knowledge discovery
- data model
- aggregate functions
- database systems
- bounded model checking
- relation algebra
- knowledge base
- machine learning