MSO Queries on Trees: Enumerating Answers under Updates Using Forest Algebras.
Matthias NiewerthPublished in: LICS (2018)
Keyphrases
- query answers
- monadic second order logic
- tree patterns
- correct answers
- query language
- database
- decision trees
- frequent updates
- keyword queries
- query evaluation
- web snippets
- tree automata
- queries using views
- query processing
- update operations
- natural language questions
- data complexity
- frequently asked
- approximate answers
- natural language queries
- finite state
- regular expressions
- user queries
- data sources
- complex queries
- query answering
- aggregate queries
- tree structure
- structured queries
- answering queries
- web search engines
- response time
- view maintenance
- insertions and deletions
- efficient processing
- xpath queries
- range queries
- retrieval systems
- markov chain
- data management
- information retrieval