Keyphrases
- query language
- query processing
- efficient processing
- response time
- temporal logic
- database
- expressive power
- answering queries
- query formulation
- database queries
- query evaluation
- model checking
- web search engines
- data objects
- multi dimensional
- data sources
- temporal properties
- user queries
- query logs
- search queries
- data model