Keyphrases
- database
- query processing
- query evaluation
- model checking
- user queries
- response time
- temporal logic
- query formulation
- range queries
- query expansion
- keywords
- database queries
- complex queries
- relevance feedback
- data sources
- keyword search
- image retrieval
- combinatorial optimization
- multi agent systems
- data structure
- query interface
- database systems