Characterizing weighted MSO for trees by branching transitive closure logics.
Zoltán FülöpHeiko VoglerPublished in: Theor. Comput. Sci. (2015)
Keyphrases
- transitive closure
- expressive power
- monadic second order logic
- first order logic
- data complexity
- query language
- tree automata
- recursive queries
- constraint databases
- relational algebra
- query evaluation
- regular expressions
- labeling scheme
- directed acyclic graph
- spatial databases
- random walk
- database
- tree structure
- natural language