Marx, M.

ten Cate, B.

English

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 counting conditions and data joins are not supported, as they lead to undecidability). The second aim is to provide a list of equations completely axiomatizing query equivalence in this language (i.e., all other query equivalences can be derived from these)

International Migration, Integration and Social Cohesion online publications

Axiomatizing the logical core of XPath 2.0

https://pure.uva.nl/ws/files/738826/83163_320593.pdf

Axiomatizing the logical core of XPath 2.0

Abstract

Similar works

Full text

Available Versions

International Migration, Integration and Social Cohesion online publications