Keyphrases
- verification method
- query processing
- response time
- database queries
- temporal logic
- query evaluation
- model checking
- user queries
- database
- data structure
- outsourced databases
- query formulation
- retrieval systems
- query expansion
- information retrieval systems
- data mining algorithms
- range queries
- data mining techniques
- relevance feedback
- data sources
- keywords
- data mining