2015 | OriginalPaper | Chapter
A Core Calculus for XQuery 3.0
Combining Navigational and Pattern Matching Approaches
Authors : Giuseppe Castagna, Hyeonseung Im, Kim Nguyễn, Véronique Benzaken
Published in: Programming Languages and Systems
Publisher: Springer Berlin Heidelberg
Activate our intelligent search to find suitable subject content or patents.
Select sections of text to find matching patents with Artificial Intelligence. powered by
Select sections of text to find additional relevant content using AI-assisted search. powered by
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
$\mathbb{C}\textrm{Duce}$
(for pattern-based extraction). To this end, we extend
$\mathbb{C}\textrm{Duce}$
so as it can be seen as a succinct core
λ
-calculus that captures XQuery 3.0. The extensions we consider essentially allow
$\mathbb{C}\textrm{Duce}$
to implement XPath-like navigational expressions by pattern matching and precisely type them. The elaboration of XQuery 3.0 into the extended
$\mathbb{C}\textrm{Duce}$
provides a formal semantics and a sound static type system for XQuery 3.0 programs.