谈到类型，我们就想到Schema。XQuery是一种强类型的查询语言，它包括了对于类型的运算。然而目前带有Schema意义的XQuery引擎还不多，比较有名的就是Saxon的商业版本(Saxon的open source版则没有) XQuery中提供的关于序列类型的表达式有5种： 1.instance of instance of用于判断第一个操作数是否是某种类型，等同于Java种的ins