Static Type Analysis of Path Expressions in XQuery Using Rho-Calculus

Speaker: Selina WANG Zhen

Abstract

Static type analysis has been an interesting research topic for processing XQuery expressions in the last few years, since it is important to know the return type of the result of a query over a document. Given the hierarchical type information defined in XML Schema, many typing systems define logical inference rules to specify the typing process, which works by recursively applying these rules. In this presentation, I will introduce our approach that encodes XQuery expressions using a relatively young but powerful calculus, Rho-Calculus, which integrates Term Rewriting Systems and Lambda calculus. Once an XQuery expression is mapped into its equivalence in Rho-Calculus, we apply the typing system and reasoning facilities provided by the calculus for processing the expression.