2 search results - page 1 / 1 » A Trace Semantics for Positive Core XPath |
TIME
2005
IEEE
13 years 10 months ago
2005
IEEE
— We provide a novel trace semantics for positive core XPath that exposes all intermediate nodes visited by the query engine. This enables a detailed analysis of all information ...
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...