Modal logic and navigational XPath: an experimental comparison
Massimo Franceschet, E. Zimuel · 2005
Abstract. XPath is the core retrieval language of XQuery, the ocial query language for XML data. We empirically compare three query eval-uation strategies for the navigational fragment of XPath known as Core XPath: a bottom-up algorithm based on model checking techniques for multi-modal logic, a rst top-down procedure based on a technique to eliminate XPath lters, and a second top-down procedure that takes advantage of the pre/post plane representation of an XML tree. We im-plement the three methods and we benchmark the resulting XPath pro-cessors using a fragment of XPathMark, a recently proposed benchmark for XPath. 1