Monadic Second-Order Logic and Transitive Closure Logics over Trees.

Hans-Jörg Tiede Stephan Kepser

Published in: Electron. Notes Theor. Comput. Sci. (2006)

Keyphrases

expressive power
monadic second order logic
transitive closure
first order logic
data complexity
query language
relational algebra
recursive queries
database
data mining
machine learning
artificial intelligence
description logics
graphical models
functional dependencies
inference rules
tree automata