Limiting until in ordered tree query languages

ACM Trans. Comput. Log., Volume 17, Issue 2, 2016.

Cited by: 0|Bibtex|Views2|Links
EI
Keywords:
Treestemporal logichierarchyxml

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...More

Code:

Data:

Your rating :
0

 

Tags
Comments