Enumeration of monadic second-order queries on trees.
Wojciech KazanaLuc SegoufinPublished in: ACM Trans. Comput. Log. (2013)
Keyphrases
- datalog queries
- query processing
- database
- query language
- search space
- higher order
- range queries
- decision trees
- tree patterns
- response time
- complex queries
- deductive databases
- database queries
- efficient processing
- pre computed
- query containment
- monadic second order logic
- query evaluation
- retrieval systems
- data sources
- dynamic programming
- query formulation
- expressive power
- tree structured data