Typing XQuery

Speaker: Selina WANG Zhen

Abstract

We analyze the current research on typing XQuery and similar web querying languages. A W3C Candidate Recommendation has provided a formal semantics as the foundation for typing XQuery, as well as a type system that includes typing rules. However, some of these rules are too abstract to serve as a guide for type checking and type inference. We solve this problem by simplifying the type system, focusing on the detailed typing rules for the XQuery path expressions. We implement our idea using TOM, a pattern matching facility developed by INRIA, and XQueryX, a W3C working draft XML Syntax for XQuery.