Expanding the Expressive Power of Monadic Second-Order Logic on Restricted Graph Classes.
Robert GanianJan ObdrzálekPublished in: IWOCA (2013)
Keyphrases
- expressive power
- monadic second order logic
- bounded tree width
- tree width
- data complexity
- first order logic
- query language
- closure properties
- regular expressions
- computational properties
- relational algebra
- tree automata
- transitive closure
- tree decomposition
- relational calculus
- partial order
- directed acyclic graph
- database
- recursive queries
- knowledge base
- databases