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 of XPath with an ``Until'' operator – is first order complete. The completeness argument makes essential use of the presence of upward axes in Conditional...Expand abstract
- Publication date:
- Local pid:
- Copyright date:
How Big Must Complete XML Query Languages Be?
If you are the owner of this record, you can report an update to it here: Report update to this record