Keyphrases
- first order logic
- regular tree languages
- transitive closure
- xml schema
- tree automata
- tree languages
- expressive power
- regular expressions
- xml documents
- knowledge representation
- query evaluation
- domain specific
- building blocks
- integrity constraints
- finite state
- query language
- finite automata
- knowledge base
- directed acyclic graph
- context free grammars