XQuery表达式之序列类型表达式(Expressions on SequenceTypes)

2024-02-25 03:48

本文主要是介绍XQuery表达式之序列类型表达式(Expressions on SequenceTypes),希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

谈到类型,我们就想到Schema。XQuery是一种强类型的查询语言,它包括了对于类型的运算。然而目前带有Schema意义的XQuery引擎还不多,比较有名的就是Saxon的商业版本(Saxon的open source版则没有)

XQuery中提供的关于序列类型的表达式有5种:
1.instance of
instance of用于判断第一个操作数是否是某种类型,等同于Java种的instanceof。
例:
 5 instance of xs:integer  返回true
 
5 instance of xs:decimal  返回true,因为xs:integer相当于xs:decimal的子类型
 
<a>{5}</a> instance of xs:integer 返回false, <a>{5}</a> 是一个element,不是integer
 (5, 6) instance of xs:integer+   返回true
  . instance of element() 如果当前项是element则返回true,如果当前项不是element则返回false,如果当前项没有定义则抛错

2.
typeswitch
用于简化多个if和 instance of,用于在不同类型下采用不同的处理方式,类似于Java中的switch。
例:
typeswitch($customer/billing-address)
case $a as element(*, USAddress) return $a/state
case $a as element(*, CanadaAddress) return $a/province
case $a as element(*, JapanAddress) return $a/prefecture
default return "unknown"

3。cast
cast用于将某一个值强制转换成另外一种类型的值。cast有两个操作数,一个是输入表达式,另外一个是目标类型。
目标类型规定为原子数据类型,或者在类型后面加?,用于支持空序列,但不允许是
xs:NOTATION or xdt:anyAtomicType
如果输入表达式的类型和目标类型不兼容,则抛错。cast的处理过程如下:
a,原子化输入表达式(所谓原子化就是对表达式调用data函数)
b,如果原子化后的结果是产生不止一个的原子类型值,抛错
c,如果原子化后是一个空序列,并且目标类型有?,那么结果为空序列,反之抛错。
d,如果原子化后是一个原子类型值,则基于目标类型创建一个新的值。
4。castable as
castable用于判断某个能否把某个操作数cast能另外一种类型,既上文提到的是否兼容。例:
if ($x castable as hatsize)
then $x cast as hatsize
else if ($x castable as IQ)
then $x cast as IQ
else $x cast as xs:string
5.treat as
有点类似于cast,但是不同的是它不改变输入表达式的动态类型。只是改变它的静态类型。
$myaddress treat as element(*, USAddress)


这篇关于XQuery表达式之序列类型表达式(Expressions on SequenceTypes)的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/744305

相关文章

Spring Security 基于表达式的权限控制

前言 spring security 3.0已经可以使用spring el表达式来控制授权,允许在表达式中使用复杂的布尔逻辑来控制访问的权限。 常见的表达式 Spring Security可用表达式对象的基类是SecurityExpressionRoot。 表达式描述hasRole([role])用户拥有制定的角色时返回true (Spring security默认会带有ROLE_前缀),去

C++11第三弹:lambda表达式 | 新的类功能 | 模板的可变参数

🌈个人主页: 南桥几晴秋 🌈C++专栏: 南桥谈C++ 🌈C语言专栏: C语言学习系列 🌈Linux学习专栏: 南桥谈Linux 🌈数据结构学习专栏: 数据结构杂谈 🌈数据库学习专栏: 南桥谈MySQL 🌈Qt学习专栏: 南桥谈Qt 🌈菜鸡代码练习: 练习随想记录 🌈git学习: 南桥谈Git 🌈🌈🌈🌈🌈🌈🌈🌈🌈🌈🌈🌈🌈�

06 C++Lambda表达式

lambda表达式的定义 没有显式模版形参的lambda表达式 [捕获] 前属性 (形参列表) 说明符 异常 后属性 尾随类型 约束 {函数体} 有显式模版形参的lambda表达式 [捕获] <模版形参> 模版约束 前属性 (形参列表) 说明符 异常 后属性 尾随类型 约束 {函数体} 含义 捕获:包含零个或者多个捕获符的逗号分隔列表 模板形参:用于泛型lambda提供个模板形参的名

零基础学习Redis(10) -- zset类型命令使用

zset是有序集合,内部除了存储元素外,还会存储一个score,存储在zset中的元素会按照score的大小升序排列,不同元素的score可以重复,score相同的元素会按照元素的字典序排列。 1. zset常用命令 1.1 zadd  zadd key [NX | XX] [GT | LT]   [CH] [INCR] score member [score member ...]

uva 10131 最长子序列

题意: 给大象的体重和智商,求体重按从大到小,智商从高到低的最长子序列,并输出路径。 代码: #include <iostream>#include <cstdio>#include <cstdlib>#include <algorithm>#include <cstring>#include <cmath>#include <stack>#include <vect

自定义类型:结构体(续)

目录 一. 结构体的内存对齐 1.1 为什么存在内存对齐? 1.2 修改默认对齐数 二. 结构体传参 三. 结构体实现位段 一. 结构体的内存对齐 在前面的文章里我们已经讲过一部分的内存对齐的知识,并举出了两个例子,我们再举出两个例子继续说明: struct S3{double a;int b;char c;};int mian(){printf("%zd\n",s

【编程底层思考】垃圾收集机制,GC算法,垃圾收集器类型概述

Java的垃圾收集(Garbage Collection,GC)机制是Java语言的一大特色,它负责自动管理内存的回收,释放不再使用的对象所占用的内存。以下是对Java垃圾收集机制的详细介绍: 一、垃圾收集机制概述: 对象存活判断:垃圾收集器定期检查堆内存中的对象,判断哪些对象是“垃圾”,即不再被任何引用链直接或间接引用的对象。内存回收:将判断为垃圾的对象占用的内存进行回收,以便重新使用。

flume系列之:查看flume系统日志、查看统计flume日志类型、查看flume日志

遍历指定目录下多个文件查找指定内容 服务器系统日志会记录flume相关日志 cat /var/log/messages |grep -i oom 查找系统日志中关于flume的指定日志 import osdef search_string_in_files(directory, search_string):count = 0

POJ1631最长单调递增子序列

最长单调递增子序列 import java.io.BufferedReader;import java.io.InputStream;import java.io.InputStreamReader;import java.io.PrintWriter;import java.math.BigInteger;import java.util.StringTokenizer;publ

两个月冲刺软考——访问位与修改位的题型(淘汰哪一页);内聚的类型;关于码制的知识点;地址映射的相关内容

1.访问位与修改位的题型(淘汰哪一页) 访问位:为1时表示在内存期间被访问过,为0时表示未被访问;修改位:为1时表示该页面自从被装入内存后被修改过,为0时表示未修改过。 置换页面时,最先置换访问位和修改位为00的,其次是01(没被访问但被修改过)的,之后是10(被访问了但没被修改过),最后是11。 2.内聚的类型 功能内聚:完成一个单一功能,各个部分协同工作,缺一不可。 顺序内聚: