Transitive closure logic, nested tree walking automata, and XPath.
Balder ten CateLuc SegoufinPublished in: J. ACM (2010)
Keyphrases
- transitive closure
- expressive power
- query evaluation
- tree automata
- constraint databases
- tree structure
- first order logic
- directed acyclic graph
- query language
- hierarchical structure
- spatial databases
- labeling scheme
- recursive queries
- automata theoretic
- query containment
- relational algebra
- modal logic
- r tree
- data model
- regular expressions
- index structure
- markov chain