Backward Type Inference for XML Queries

Hyeonseung Im 1 Pierre Genevès 2 Nils Gesbert 2 Nabil Layaïda 2
2 TYREX - Types and Reasoning for the Web
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
Abstract : Although XQuery is a statically typed, functional query language for XML data, some of its features such as upward and horizontal XPath axes are typed imprecisely. The main reason is that while the XQuery data model allows us to navigate upwards and between siblings from a given XML node, the type model, e.g., regular tree types, can describe only the subtree structure of the given node. Recently, Castagna et al. (2015) and Genevès and Gesbert (2015) independently propose a precise forward type inference system for XQuery using an extended type language that can describe not only a given XML node but also its context. In this paper, as a complementary method to forward type inference systems, we propose a novel backward type inference system for XQuery, using the type language proposed by Genevès and Gesbert (2015). Our backward type inference system provides an exact typing result for XPath axes and a sound typing result for XQuery expressions.
Type de document :
Pré-publication, Document de travail
2017
Liste complète des métadonnées

https://hal.inria.fr/hal-01497857
Contributeur : Tyrex Equipe <>
Soumis le : mercredi 29 mars 2017 - 13:29:01
Dernière modification le : jeudi 15 juin 2017 - 09:09:24
Document(s) archivé(s) le : vendredi 30 juin 2017 - 15:04:23

Fichier

bti.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01497857, version 1

Collections

Citation

Hyeonseung Im, Pierre Genevès, Nils Gesbert, Nabil Layaïda. Backward Type Inference for XML Queries. 2017. 〈hal-01497857〉

Partager

Métriques

Consultations de
la notice

257

Téléchargements du document

118