A Syntactic Characterization of Distributive LTL Queries.
Marko SamerHelmut VeithPublished in: ICALP (2004)
Keyphrases
- query language
- range queries
- query evaluation
- database
- natural language
- efficient processing
- query processing
- response time
- complex queries
- model checking
- aggregate queries
- search queries
- query logs
- retrieval systems
- user queries
- web search engines
- state space
- data sources
- linear temporal logic
- expressive power
- query optimization
- multi dimensional
- boolean queries
- semantic constraints
- probabilistic context free grammars