Limiting until in ordered tree query languages
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 naviga- tional predicates. How can one extend XPath to get a first-order complete language? Marx has...
| Main Authors: | , |
|---|---|
| Format: | Journal article |
| Published: |
Association for Computing Machinery
2016
|