A Core Calculus for XQuery 3.0: Combining Navigational and Pattern Matching Approaches

Abstract : XML processing languages can be classified according to whether they extract XML data by paths or patterns. The strengths of one category correspond to the weaknesses of the other. In this work, we propose to bridge the gap between these two classes by considering two languages, one in each class: XQuery (for path-based extraction) and CDuce (for pattern-based extraction). To this end, we extend CDuce so as it can be seen as a succinct core λ-calculus that captures XQuery 3.0. The extensions we consider essentially allow CDuce to implement XPath-like navigational expressions by pattern matching and precisely type them. The elaboration of XQuery 3.0 into the extended CDuce provides a for-mal semantics and a sound static type system for XQuery 3.0 programs.
Type de document :
Communication dans un congrès
ESOP ’15 : 24th European Symposium on Programming, 2015, London, United Kingdom. 2015, <10.1007/978-3-662-46669-8_10>
Liste complète des métadonnées

https://hal.inria.fr/hal-01104872
Contributeur : Tyrex Equipe <>
Soumis le : lundi 19 janvier 2015 - 13:33:51
Dernière modification le : samedi 18 février 2017 - 01:08:54
Document(s) archivé(s) le : vendredi 11 septembre 2015 - 07:11:37

Fichier

Hyeonseung-Im-with-appendix.pd...
Fichiers produits par l'(les) auteur(s)

Identifiants

Citation

Giuseppe Castagna, Hyeonseung Im, Kim Nguyễn, Véronique Benzaken. A Core Calculus for XQuery 3.0: Combining Navigational and Pattern Matching Approaches. ESOP ’15 : 24th European Symposium on Programming, 2015, London, United Kingdom. 2015, <10.1007/978-3-662-46669-8_10>. <hal-01104872>

Partager

Métriques

Consultations de
la notice

182

Téléchargements du document

117