Sciweavers

3 search results - page 1 / 1
» Transitive closure logic, nested tree walking automata, and ...
Sort
View
97
Voted
PODS
2008
ACM
143views Database» more  PODS 2008»
15 years 10 months ago
XPath, transitive closure logic, and nested tree walking automata
We consider the navigational core of XPath, extended with two operators: the Kleene star for taking the transitive closure of path expressions, and a subtree relativisation operat...
Balder ten Cate, Luc Segoufin
66
Voted
JACM
2010
99views more  JACM 2010»
14 years 8 months ago
Transitive closure logic, nested tree walking automata, and XPath
Balder ten Cate, Luc Segoufin
103
Voted
ICALP
2000
Springer
15 years 1 months ago
On the Power of Tree-Walking Automata
Abstract. Tree-walking automata (TWAs) recently received new attention in the fields of formal languages and databases. Towards a better understanding of their expressiveness, we c...
Frank Neven, Thomas Schwentick