XQuery and Static Typing: Tackling the Problem of Backward Axes - TYREX Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2013

XQuery and Static Typing: Tackling the Problem of Backward Axes

Pierre Genevès
Nils Gesbert
  • Fonction : Auteur
  • PersonId : 958488
Nabil Layaïda

Résumé

XQuery is a functional language dedicated to XML data querying and manipulation. As opposed to other W3C-standardized languages for XML (e.g. XSLT), it has been intended to feature strong static typing. Currently, however, some expressions of the language cannot be statically typed with any precision. We argue that this is due to a discrepancy between the semantics of the language and its type algebra: namely, the values of the language are (possibly inner) tree nodes, which may have siblings and ancestors in the data. The types on the other hand are regular tree types, as usual in the XML world: they describe sets of trees. The type associated to a node then corresponds to the subtree whose root is that node and contains no information about the rest of the data. This makes navigational expressions using 'backward axes,' which return e.g. the siblings of a node, impossible to type. We discuss how to solve this discrepancy and propose a compromise : to use extended types representing possibly inner tree nodes in some key parts of a program, and to cut out the subtrees from their original context in the rest.

Domaines

Web
Fichier principal
Vignette du fichier
xts.pdf (254.67 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-00872426 , version 1 (12-10-2013)
hal-00872426 , version 2 (14-04-2014)

Identifiants

  • HAL Id : hal-00872426 , version 1

Citer

Pierre Genevès, Nils Gesbert, Nabil Layaïda. XQuery and Static Typing: Tackling the Problem of Backward Axes. 2013. ⟨hal-00872426v1⟩
120 Consultations
170 Téléchargements

Partager

Gmail Facebook X LinkedIn More