Characterizing Weighted MSO for Trees by Branching Transitive Closure Logics
Zoltán FülöpHeiko VoglerPublished in: CoRR (2012)
Keyphrases
- transitive closure
- expressive power
- monadic second order logic
- first order logic
- data complexity
- query language
- constraint databases
- tree automata
- query evaluation
- relational algebra
- recursive queries
- directed acyclic graph
- spatial databases
- regular expressions
- tree structure
- data model
- inference rules
- labeling scheme
- database
- graphical models
- probability distribution
- knowledge base