Conference item icon

Conference item

How Big Must Complete XML Query Languages Be?

Abstract:

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

Actions


Access Document


Files:

Authors


Clemens Ley More by this author
Michael Benedikt More by this author
Publication date:
2009
URN:
uuid:812e4cf2-ae13-4ca4-b8e7-1484cc258be3
Local pid:
cs:2834

Terms of use


Metrics



If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP