6 datasets found

XPath is the standard declarative notation for navigating XML data and returning a set of matching nodes. In the context of XSLT/XQuery analysis, query optimization,...

XPath is the standard language for addressing parts of an XML document. We present a sound and complete decision procedure for containment of XPath queries. The...

Article à paraître dans les Proc. de la Conf. LPAR-13, LNAI (Springer-Verlag), Novembre, 2006.

9 pages (142-150)

6 pages (124-129)

Cette thèse propose une nouvelle logique d'arbres finis pour analyser les programmes manipulant les données du Web. Cette logique offre le meilleur compromis connu entre...