A Direct Translation from XPath to Nondeterministic Automata.
Nadime FrancisClaire DavidLeonid LibkinPublished in: AMW (2011)
Keyphrases
- finite automata
- finite state
- automata theoretic
- regular expressions
- xml documents
- temporal logic
- finite automaton
- query language
- machine translation
- tree automata
- finite state automata
- cellular automata
- first order logic
- deterministic automata
- query evaluation
- markov chain
- xml streams
- query translation
- probabilistic automata
- transitive closure
- pattern matching
- database systems
- xpath expressions
- np complete
- query processing
- grammatical inference
- cross language information retrieval
- data sets
- markov decision processes
- expressive power
- xml data