2 search results - page 1 / 1 » Axiomatizing the Logical Core of XPath 2.0 |
JAPLL
2010
13 years 3 months ago
2010
We provide complete axiomatizations for several fragments of XPath: sets of equivalences from which every other valid equivalence is derivable. Specifically, we axiomatize downwar...
ICDT
2007
ACM
13 years 11 months ago
2007
ACM
The first aim of this paper is to present the logical core of XPath 2.0: a logically clean, decidable fragment, which includes most navigational features of XPath 2.0 (complex co...