Verification of Query Completeness over Processes [Extended Version].
Simon RazniewskiMarco MontaliWerner NuttPublished in: CoRR (2013)
Keyphrases
- database
- query processing
- response time
- query expansion
- query evaluation
- data sources
- databases
- relevance feedback
- database queries
- range queries
- query terms
- user queries
- data structure
- query formulation
- query execution
- object retrieval
- verification method
- vector space
- indexing techniques
- search queries
- process model
- keywords
- formal methods
- original query
- database systems
- data sets