Variants of LTL Query Checking.
Hana ChocklerArie GurfinkelOfer StrichmanPublished in: Haifa Verification Conference (2010)
Keyphrases
- query processing
- response time
- database
- user queries
- relevance feedback
- temporal logic
- efficient processing
- data structure
- query evaluation
- keyword search
- model checking
- retrieval systems
- query expansion
- indexing techniques
- database queries
- retrieval method
- original query
- aggregate queries
- vector space
- keywords
- search engine
- databases
- range queries
- similarity search
- communication cost
- user interaction
- state space
- skyline queries
- query formulation