XPath, transitive closure logic, and nested tree walking automata.
Balder ten CateLuc SegoufinPublished in: PODS (2008)
Keyphrases
- transitive closure
- expressive power
- query evaluation
- constraint databases
- tree automata
- spatial databases
- tree structure
- first order logic
- hierarchical structure
- directed acyclic graph
- recursive queries
- query language
- regular expressions
- automata theoretic
- labeling scheme
- relational algebra
- query containment
- b tree
- databases
- r tree
- index structure
- modal logic
- finite state machines
- data management
- query processing
- expert systems
- artificial intelligence