Limiting until in ordered tree query languages
ACM Trans. Comput. Log., Volume 17, Issue 2, 2016.
Marx and de Rijke have shown that the navigational core of the w3c XML query language XPath is not first-order complete; that is, it cannot express every query definable in first-order logic over the navigational predicates. How can one extend XPath to get a first-order complete language? Marx has shown that Conditional XPath—an extension...More
Full Text (Upload PDF)
PPT (Upload PPT)