MSO Queries on Trees: Enumerating Answers under Updates Using Forest Algebras.
Sarah Kleest-MeißnerJonas MarasusMatthias NiewerthPublished in: CoRR (2022)
Keyphrases
- query answers
- monadic second order logic
- tree automata
- query language
- database
- query processing
- frequent updates
- expressive power
- frequently asked
- regular expressions
- finite state
- tree patterns
- efficient processing
- web search engines
- database queries
- web snippets
- correct answers
- tree structure
- range queries
- query evaluation
- complex queries
- aggregate queries
- answering queries
- query answering
- response time
- decision trees
- approximate answers
- queries using views
- language model
- update operations
- view maintenance
- data structure