XML模式第2部分：数据类型第二版

1引言

1.1目的

这个 [XML 1.0（第二版）]规范定义了有限将数据类型应用于文档内容的工具可以包含或引用为元素和属性分配类型的DTD。然而，文档作者，包括传统文件和那些运输数据在XML中，通常需要更高程度的类型检查，以确保文档理解和数据交换。

下表提供了两个典型的XML实例示例其中数据类型是隐式的：左边的实例表示帐单发票用XML编写备忘录或电子邮件。

面向数据	面向文档
<发票>＜订单日期＞1999-01-21＜/订单日期＞＜发货日期＞1999-01-25＜发货日期＞<账单地址>阿肖克·马霍特拉微软大街123号霍桑纽约州<zip>10532-0000</zip></billingAddress><语音>555-1234<传真>555-4321</发票>	<备忘录重要性=“高”日期='1999-03-23'>保罗·V·拜伦阿肖克·马尔霍特拉<subject>最新草稿</subject><body>我们需要讨论最新的立即拔模。请发送电子邮件至<email>邮寄地址：paul.v.biron@kp.org网站</email>或致电555-9876</body></备忘录>

面向数据

面向文档

<发票>＜订单日期＞1999-01-21＜/订单日期＞＜发货日期＞1999-01-25＜发货日期＞<账单地址>阿肖克·马霍特拉微软大街123号霍桑纽约州<zip>10532-0000</zip></billingAddress><语音>555-1234<传真>555-4321</发票>

<备忘录重要性=“高”日期='1999-03-23'>保罗·V·拜伦阿肖克·马尔霍特拉<subject>最新草稿</subject><body>我们需要讨论最新的立即拔模。请发送电子邮件至<email>邮寄地址：paul.v.biron@kp.org网站</email>或致电555-9876</body></备忘录>

发票上有几个日期和电话号码州的缩写（来自已批准值的枚举列表）和邮政编码（采用可定义的正则形式）。备忘录包含许多相同类型的信息：日期、电话号码、电子邮件地址和“重要性”值（来自枚举列表，如“低”、“中”或“高”）。处理的应用程序发票和备忘录需要提出例外，如果应该是日期或电话号码不符合规定获取有效日期或电话号码。

在这两种情况下在XML DTD中不可表达的实例。有限的数据类型XML中的工具阻止验证XML处理器提供在这些情况下需要进行严格的类型检查。结果是单个应用程序编写器必须实现类型以特别的方式进行检查。本规范涉及文档作者和应用程序作者都需要一个健壮的，可集成到XML处理器。如下文所述，这些数据类型可以用于其他与XML相关的标准。

1.2要求

这个 [XML架构要求]文件详细说明本规范应满足的具体要求，其中规定XML模式语言必须：

提供基本数据类型，包括字节、日期、，整数、序列、SQL和Java原语数据类型等。；
定义适合导入/导出的类型系统来自数据库系统（例如，关系、对象、OLAP）；
区分与词汇数据表示相关的要求与那些管理底层信息集的信息相比；
允许创建用户定义的数据类型，例如从现有数据类型派生的数据类型以及可能会限制其某些属性（例如范围、，精度、长度、格式）。

1.3范围

XML模式语言的这一部分讨论了可以在XML架构中使用。可以为元素指定这些数据类型指定为的内容 #PCDATA公司和属性的值各种各样的类型在DTD中。这是本规范的目的它可以在XML模式的上下文之外广泛使用其他与XML相关的活动，例如【XSL】和[RDF架构].

1.4术语

用于描述XML架构数据类型的术语在本规范正文。下表中定义的术语如下用于构建这些定义和描述数据类型处理器：

[定义：]为了兼容性: 本规范的一个功能仅用于确保模式使用此功能的[XML 1.0（第二版）]
[定义：]可以: 允许符合要求的文件和处理者，但需要不按描述行事。
[定义：]比赛: （字符串或名称：）要比较的两个字符串或名称必须是完全相同。ISO/IEC 10646中具有多种可能表示形式的字符（例如。预编和基本+音调符号形式的字符）只有在具有两个字符串中的相同表示。不进行箱子折叠。（字符串和语法中的规则：）如果字符串属于由该产品生成的语言。
[定义：]必须: 符合要求的文件和处理者必须描述；否则他们在·错误·.
[定义：]错误: 违反本规范的规定；结果未定义。合格软件·可以·检测并报告错误和·可以·从中恢复过来。

1.5限制和贡献

本规范提供了三种不同的规范关于模式组件、它们在XML中的表示以及它们对信息项的模式验证的贡献：

[定义：] 对模式的约束: 模式组件本身的约束，即条件组件·必须·满足于成为组件。主要位于数据类型组件（§4）.
[定义：] 模式表示约束: 对XML中模式组件表示的约束。有些但是并非所有这些都用数据类型定义模式（规范）（§A）和数据类型定义的DTD（非规范性）（§B）.
[定义：] 验证规则: 由模式组件表示的约束信息项目·必须·满足方案有效性。很大程度上将在中找到数据类型组件（§4）.

2类型系统

本节描述了类型系统背后的概念框架在本规范中定义。框架受到了【ISO 11404】独立于语言的数据类型标准以及的数据类型【SQL】和用于编程Java等语言。

本规范中讨论的数据类型是计算机众所周知的抽象概念的表示，例如整数和日期.它不是这个地方定义这些抽象概念的规范；许多其他出版物提供出色的定义。

2.1数据类型

[定义：]在本规范中，一数据类型是一个三元组，由a）一组不同的值，称为its·价值空间·,b）一组词汇表示，称为its·词法空间·和c）一套·方面·秒表征·价值空间·,单个值或词汇项。

2.2价值空间

[定义：]A类价值空间是给定数据类型的值集。中的每个值价值空间数据类型的其中的一个或多个文字·词法空间·.

这个·价值空间·给定数据类型的可通过以下方式之一进行定义：

从基本概念公理化定义（内涵定义）[参见·原始的·]
完全枚举（扩展定义）[参见·枚举·]
通过限制·价值空间·属于已定义的数据类型到具有给定集的特定子集属性的[参见·派生的·]
定义为一个或多个已定义值的组合·价值空间·（s）通过特定的施工程序[参见·列表·和·联盟·]

·价值空间·s具有某些属性。例如，他们总是拥有·基数·,关于…的一些定义平等而且可能是·命令·，由哪个人中的值·价值空间·可以与一个接一个。的属性·价值空间·就是那个被本规范认可，定义见基本面（§2.4.1）.

2.3词汇空间

除此之外 ·价值空间·，每个数据类型也有一个词汇空间。

[定义：]A类词法空间该集合是否有效字面量对于数据类型。

例如，“100”和“1.0E2”是来自·词法空间·属于浮动这两者都是表示相同的值。本规范中定义的类型系统为模式设计器提供了一种控制值集的机制以及这些值的相应可接受文本集数据类型。

注：中的文字·词法空间·本规范中定义的具有以下特征：

互操作性：: 每个值的文本数都保持较小；对许多人来说数据类型文字和值之间存在一对一的映射。这使得在不同系统之间交换值变得容易。在许多情况下，从依赖于区域的表示转换将发端方和接收方都需要计算机处理以及与人类的交互。
基本可读性：: 使用文字，而不是二进制文字。这使得手工编辑、调试和类似的活动成为可能。
易于解析和序列化：: 在可能的情况下，文字对应于常见的文字编程语言和库。

2.3.1规范词汇表示

虽然本规范中定义的数据类型在大多数情况下，单个词汇表示，即数据类型中的每个值 ·价值空间·由其·词法空间·，情况并非总是如此。这个前一节中的示例显示了数据类型的两个文本浮动表示相同的值。同样，这里·可以·是表示使用不同时区指示器的相同值。

[定义：]A类规范词汇表征是有效文本集中的一组文本对于这样的数据类型，文本之间存在一对一映射在中规范词汇表征和中的值·价值空间·.

2.4平面

基本面
2.4.2约束面或非基本面

[定义：]A类方面是单身定义的方面·价值空间·.概述一般来说，每个方面都是·价值空间·沿着独立的轴或尺寸。

数据类型的方面用于区分一种数据类型相异来自其他数据类型。而不是仅仅用散文描述来定义本规范中的数据类型定义如下这个合成共同决定·价值空间·和数据类型的属性。

面有两种类型：基本的定义的面数据类型和非基本的或约束约束数据类型允许值的方面。

2.4.1基本面

[定义：]A类基本面是一个抽象属性用于对·价值空间·.

全部基本面详细描述见基本面（§4.2）.

2.4.2约束面或非基本面

[定义：]A类约束方面是可选属性，可以是应用于数据类型以约束其·价值空间·.

约束·价值空间·从而限制这个·词法空间·.正在添加·约束方面·s到a·基本类型·如所述限制衍生（§4.1.2.1）.

全部约束镶嵌面详细描述见约束面（§4.3）.

2.5数据类型二分法

        2.5.1 原子数据类型、列表数据类型和联合数据类型
        2.5.2基本数据类型与派生数据类型
        2.5.3内置数据类型与用户派生数据类型

对本规范中定义的数据类型进行分类很有用沿着不同的维度，形成了一套表征二分法。

2.5.1原子数据类型、列表数据类型和联合数据类型

要做的第一个区别是 ·原子的·,·列表·和·联盟·数据类型。

[定义：]原子数据类型是指那些具有本规范认为的值的是不可分割的。
[定义：]列表数据类型是那些具有值的数据类型，每个值都由的有限长（可能为空）值序列·原子的·数据类型。
[定义：]工会数据类型是指那些·价值空间·s和·词法空间·s是这个·价值空间·s和·词法空间·一个或多个其他数据类型的。

例如，单个令牌·比赛·锿名字符号从[XML 1.0（第二版）]可以是·原子的·数据类型(NMTOKEN公司); 而这样的令牌序列可以是·列表·数据类型(NMTOKENS公司).

2.5.1.1原子数据类型

·原子的·数据类型可以是·原始的·或·派生的·. The·价值空间·的·原子的·数据类型是一组“原子”值，就本规范而言，不能进一步分解。这个·词法空间·属于一个·原子的·数据类型是一组字面量其内部结构特定于所讨论的数据类型。

2.5.1.2列出数据类型

几种类型的系统（如【ISO 11404】)处理·列表·数据类型为聚合或集合的更一般概念的特殊情况数据类型。

·列表·数据类型总是·派生的·.这个·价值空间·的·列表·数据类型是一组有限长的序列·原子的·值。这个·词法空间·的·列表·数据类型是一组文本，其内部结构是一个空间分隔的的文字序列·原子的·中项目的数据类型·列表·.

[定义：]这个·原子的·或·联盟·参与定义的数据类型·列表·数据类型被称为itemType（项目类型）的·列表·数据类型。

例子

<simpleType name='sizes'><list itemType='decimal'/></simpleType>

<cerealSizes xsi:type='sizes'>8 10.5 12</cerealSizes>

A类·列表·数据类型可以是·派生的·来自·原子的·其数据类型·词法空间·允许空间（例如一串或任意URI)或a·联盟·数据类型任何其{成员类型定义}的·词法空间·允许空间。在这种情况下，无论输入是什么，都会列出项目将在空间边界处分开。

例子

<simpleType name='listOfString'><list itemType=“字符串”/></simpleType>

<someElement xsi:type='listOfString'>这不是列表项1这不是清单项目2这不是清单项目3</someElement>

在上面的示例中some元素要素不是·列表·属于·长度·三；相反，它是一个·列表·属于·长度·18

当数据类型为·派生的·来自·列表·数据类型，如下·约束方面·s适用：

对于每个·长度·,·最大长度·和·最小长度·，的长度单位是以列表项的数量度量。的价值·空格符·固定为该值崩溃.

对于·列表·数据类型·词法空间·由空间分隔的其文字·itemType（项目类型）·因此，任何·图案·当新数据类型为·派生的·来自·列表·数据类型与匹配的每个文字·列表·数据类型和不与用作其·itemType（项目类型）·.

例子

<xs:simpleType name='myList'><xs:list itemType='xs:integer'/></xs:simpleType><xs:simpleType name='myRestrictedList'><xs:restriction base='myList'><xs:pattern value='123（\d+\s）*456'/></xs:restriction></xs:simpleType>123 456<someElement xsi:type='myRestrictedList'>123 987 456</someElement>123 987 567 456

这个规范-现有重新表示对于·列表·数据类型定义为词汇形式，其中中的每个项目·列表·具有规范的词汇其代表·itemType（项目类型）·.

2.5.1.3联合数据类型

这个 ·价值空间·和·词法空间·的·联盟·数据类型是·价值空间·s和·词法空间·第s个，共s个它的·成员类型·.·联盟·数据类型总是·派生的·.目前，没有·内置的· ·联盟·数据类型。

例子

一个典型的·联盟·类型是maxOccurs属性上元素元素在XML模式本身中：它是非负整数的并集和包含单个成员的枚举，字符串“unbounded”，如下所示。

<attributeGroup name=“occurs”><attribute name=“minOccurs”type=“nonNegativeInteger”use=“optional”default=“1”/><attribute name=“maxOccurs”use=“optional”default=“1”><simpleType><联合><simpleType><restriction base='nonNegativeInteger'/></simpleType><simpleType><限制基=“字符串”><枚举值=“unbounded”/></限制></simpleType></联合></simpleType></属性></attributeGroup（属性组）>

任意数量（大于1）·原子的·或·列表· ·数据类型·s可以参与·联盟·类型。

[定义：]参与a的定义·联盟·数据类型称为成员类型的·联盟·数据类型。

The order in which the·成员类型·在定义（即<union>的<simpleType>子级的顺序元素，或限定名中的成员类型属性）是重要的。在验证期间，根据·成员类型·按照它们在定义，直到找到匹配项。可以覆盖评估顺序使用xsi:type（类型）.

例子

例如，给定下面的定义，<size>元素的第一个实例作为整数（§3.3.13），第二个和第三个作为字符串（§3.2.1）.

<xsd:element name='size'><xsd:simpleType><xsd:union（联合）><xsd:simpleType><xsd:restriction base='integer'/></xsd:simpleType><xsd:simpleType><xsd:restriction base='string'/></xsd:simpleType></xsd:union></xsd:simpleType></xsd:element>

<size>1</size><size>大</size><size xsi:type='xsd:string'>1</size>

这个规范-现有重新表示对于·联盟·数据类型定义为词汇形式，其中这些值具有规范的词汇表示适当的·成员类型·.

注：数据类型是·原子的·在本规范中在任何用于实现这个规范。同样，数据类型是·列表·本规范中不需要“列表”用于实现此规范的任何编程语言中的数据类型。此外，数据类型是·联盟·在这个在任何编程中，规范都不必是“union”数据类型用于实现此规范的语言。

2.5.2原语与派生数据类型

接下来，我们区分 ·原始的·和·派生的·数据类型。

[定义：]基本体数据类型是指那些没有根据其他数据类型定义的数据类型；它们存在从头算.
[定义：]派生数据类型是根据其他数据类型定义的数据类型。

例如，在本规范中，浮动是一个定义明确的数学的不能用其他数据类型定义的概念，而一整数是更通用的数据类型的特例十进制的.

[定义：]简单的ur-type定义是ur类型定义他的名字是任意简单类型在XML模式命名空间中。任意简单类型可以是被视为·基本类型·所有的·原始的·数据类型。任意简单类型被认为具有不受约束的词汇空间和·价值空间·由·价值空间·所有的·原始的·数据类型和所有成员的所有列表集·价值空间·所有的·原始的·数据类型。

本规范定义的数据类型分为两种这个·原始的·和·派生的·类别。人们认为，一套明智选择的·原始的·数据类型将提供最广泛的服务通过提供一组方便的数据类型可以按原样使用，也可以从模式设计者所需的各种数据类型可以是·派生的·.

在上面的示例中，整数是·派生的·从十进制的.

注：数据类型是·原始的·在本规范中在任何用于实现这个规范。同样，数据类型·派生的·在本规范中用于实现的任何编程语言中的“派生”数据类型本规范。

如中所述简单类型定义模式组件的XML表示（§4.1.2）,每个·用户衍生的·数据类型·必须·以三种方式之一根据另一数据类型进行定义：1）通过赋值·约束方面·服务于限制这个·价值空间·的·用户衍生的·数据类型的子集·基本类型·; 2）通过创建一·列表·其数据类型·价值空间·由其值的有限长序列组成·itemType（项目类型）·; 或3）通过创建·联盟·其数据类型·价值空间·由·价值空间·第个，共个·成员类型·.

2.5.2.1由限制派生

[定义：]数据类型称为·派生的·通过限制来自其他数据类型当值为零或更多时·约束方面·指定了s这有助于限制其·价值空间·和/或其·词法空间·到其子集·基本类型·.

[定义：]每数据类型，即·派生的·通过限制是根据现有数据类型定义的，称为基本类型.基本类型s可以是·原始的·或·派生的·.

2.5.2.2列表导出

A类 ·列表·数据类型可以是·派生的·从另一个数据类型（它的·itemType（项目类型）·)通过创建一·价值空间·由有限长序列组成的其值的·itemType（项目类型）·.

2.5.2.3由联合导出

一种数据类型可以是 ·派生的·来自一个或多个数据类型依据·联盟·使用他们的·价值空间·秒因此，他们·词法空间·第条。

2.5.3内置与用户派生数据类型

[定义：]内置数据类型是指本规范中定义的数据类型，也可以是·原始的·或·派生的·;
[定义：] 用户派生的数据类型是·派生的·由单个模式设计器定义的数据类型。

从概念上讲·内置的· ·派生的·数据类型包括在本规范和·用户衍生的·将由单个模式设计者创建的数据类型。这个·内置的· ·派生的·数据类型是那些被认为很常见的，如果不是的话在本规范中定义了许多模式设计者“重塑”它们。此外，包括这些·派生的·本规范中的数据类型用于演示数据类型生成的机制和实用性本规范的设施。

注：数据类型是·内置的·在本规范中在任何使用的编程语言中都不需要是“内置”数据类型以实现该规范。同样，数据类型·用户衍生的·在本规范中无需是任何编程语言中的“用户派生”数据类型，用于实现这个规范。

3种内置数据类型

本规范中的每个内置数据类型（·原始的·和·派生的·)可以通过URI引用构造如下：

基本URI是XML架构命名空间的URI
片段标识符是数据类型的名称

例如，要解决整数数据类型，URI为：

http://www.w3.org/2001/XMLSchema#int

此外，每个方面定义元素可以是唯一的通过如下构造的URI寻址：

基本URI是XML架构命名空间的URI
片段标识符是方面的名称

例如，要处理maxInclusive方面，URI是：

http://www.w3.org/2001/XMLSchema#maxInclusive（http://www.w3.org/2001/XMLSchema#maxInclusive）

此外，内置数据类型定义中的每个方面的用法可以通过如下构造的URI进行唯一寻址：

基本URI是XML架构命名空间的URI
片段标识符是数据类型的名称，后跟由句点（“.”）后跟方面的名称

例如，要解决中maxInclusive方面的用法int的定义，URI为：

http://www.w3.org/2001/XMLSchema#int.maxInclusive（包含）

3.1命名空间注意事项

这个 ·内置的·本规范定义的数据类型设计用于XML模式定义语言以及其他XML规范。为了便于在XML模式定义语言中使用·内置的·此规范中的数据类型具有命名空间名称：

http://www.w3.org/2001/XMLSchema（http://www.w3.org/2001/XMLSchema）

为了便于在XML模式定义语言以外的规范中使用，比如那些不想了解数据类型以外的XML模式定义语言，每个·内置的·数据类型也在URI为的命名空间中定义：

http://www.w3.org/2001/XMLSchema-datatypes

这适用于两者·内置的· ·原始的·和·内置的· ·派生的·数据类型。

每个·用户衍生的·数据类型还与唯一的命名空间。然而，·用户衍生的·数据类型不要来自本规范定义的名称空间；相反，它们来自定义它们的模式的名称空间（请参见的XML表示架构在里面[XML模式第1部分：结构]).

        3.2.1 一串
        3.2.2布尔值
        3.2.3十进制的
        3.2.4浮动
        3.2.5双重的
        3.2.6期间
        3.2.7dateTime（日期时间）
        3.2.8时间
        3.2.9日期
        3.2.10g年-月
        3.2.11g年份
        3.2.12g月日
        3.2.13g天
        3.2.14g月份
        3.2.15十六进制二进制
        3.2.16base64二进制
        3.2.17任意URI
        3.2.18限定名
        3.2.19符号

这个·原始的·本规范定义的数据类型如下所述。对于每个数据类型·价值空间·和·词法空间·定义，·约束方面·适用的将列出数据类型和任何数据类型·派生的·从此数据类型指定。

·原始的·数据类型只能通过修订添加符合本规范。

3.2.1字符串

[定义：]这个一串数据类型表示XML中的字符串。这个·价值空间·属于一串是有限长序列的集合性格s（定义见[XML 1.0（第二版）])那个·比赛·这个烧焦生产来源[XML 1.0（第二版）].A类性格是的原子单位沟通；除了注意到每个性格具有相应的通用字符集代码点，它是一个整数。

注：许多人类语言的书写系统需要用于控制方面的子元素，例如双向格式化或ruby注释（请参见[红宝石]和第8.2.4节覆盖双向算法：BDO元素属于[HTML 4.01]).因此，一串，作为只能包含字符而不是子元素通常不适合表示文本。在这种情况下，应该考虑允许混合内容的复杂类型。有关更多信息，请参阅第5.5节任何元素、任何属性属于[XML模式语言：第0部分入门].

注：如中所述命令，事实上，本规范不指定·顺序关系·对于·一串·不排除其他应用程序将字符串视为有序。

3.2.1.1约束面

一串有下列的 ·约束镶嵌面·:

3.2.1.2派生数据类型

以下内容 ·内置的·数据类型是·派生的·从一串:

normalizedString（标准化字符串）

3.2.2布尔值

[定义：]布尔值有·价值空间·需要支持数学二值逻辑的概念：{true，false}。

3.2.2.1词汇表示

定义为的数据类型的实例 ·布尔值·可以具有以下合法文字{true、false、1、0}。

3.2.2.2规范表示

的规范表示布尔值是一组文字{true，false}。

3.2.2.3约束面

布尔值有下列的 ·约束镶嵌面·:

3.2.3小数

[定义：]十进制的表示实数的子集，可以用十进制数字表示。这个·价值空间·属于十进制的是一组可以通过将整数乘以非正数得到的数字十次方，即可表示为i×10^-n哪里我和n个是整数和n>=0.精度不反映在该值空间中；数字2.0与数字2.00没有区别。这个·顺序关系·在十进制的是实数上的顺序关系，受限制到这个子集。

注：全部·最小一致性·处理器·必须·支持最少18位十进制数字的十进制数字（即·totalDigits（总位数）·第页，共18页）。然而，·最小一致性·处理器·可以·设置应用程序定义的小数位数上限他们准备支持，在这种情况下，应用程序定义了最大数量·必须·明确记录。

3.2.3.1词汇表示

十进制的具有词汇表示由有限长的十进制数字序列组成（#x30-#x39）以句点作为十进制指示器。允许使用可选的前导符号。如果省略符号，则假定为“+”。前导零和尾随零是可选的。如果小数部分为零，则周期和后面的零可以省略。例如：-1.23, 12678967.543233, +100000.00, 210.

3.2.3.2规范表示

的规范表示十进制的由定义禁止某些选项词汇表示（§3.2.3.1）具体来说，前面禁止使用可选的“+”符号。小数点是必需的。领导和根据以下规定，禁止使用尾随零：必须至少有小数点左右各一位，小数点可以是零。

3.2.3.3约束面

十进制的有下列的 ·约束镶嵌面·:

3.2.3.4派生数据类型

以下内容 ·内置的·数据类型是·派生的·从十进制的:

整数

3.2.4浮子

[定义：]浮动以IEEE单精度32位浮点类型为模式[IEEE 754-1985].基本·价值空间·属于浮动由值组成米×2^e，其中米是绝对值小于的整数2^24、和e（电子）是一个整数-149至104之间（含）。除了基本的·价值空间·如上所述·价值空间·属于浮动还包含下列的三特殊值:正负无穷大与非数字（NaN）。这个·顺序关系·在浮动是：当y-x时x<y是肯定的对于值空间中的x和y。正无穷大大于所有其他非NaN值。NaN等于自身，但·无与伦比的·带有（既不大于也不小于）中的任何其他值·价值空间·.

注：本建议中的“平等”定义为“身份”（即在·价值空间·相等，反之亦然）。身份必须用于本建议中定义的少数操作。使用本建议中定义的任何数据类型的应用程序可以使用不同的用于计算目的的等式定义；[IEEE 754-1985]-基于计算系统都是示例。本建议中的任何内容都不应被解释为要求此类应用程序在计算时使用标识作为其相等关系。

任何值·无与伦比的·使用用于四个边界面的值(·最小非独占·,·最大非独占·,·minExclusive（最小独占）·、和·maxExclusive（最大独占）·)将是从由此产生的限制中排除·价值空间·特别是，当“NaN”用作边界方面的方面值时，因为没有其他浮动值为·可比的·有了它，结果是·价值空间·将NaN作为其唯一成员（包含在内的情况）或为空（独家案例）。如果任何其他值被用于边界面，NaN将被排除在由此产生的限制范围之外·价值空间·;要将NaN添加回中，需要与仅NaN空格的并集。

此数据类型与的数据类型不同[IEEE 754-1985]只有一个NaN和只有一个零。这使得数据中的值相等且有序空间不同于[IEEE 754-1985]仅用于模式目的NaN=NaN。

中的文字·词法空间·表示十进制数d日映射到规格化值在中·价值空间·属于浮动那就是最接近d日在定义的意义上[克林格，WD（1990）]; 如果d日是正好介于两个这样的值之间，然后选择偶数值。

3.2.4.1词汇表示

浮动值具有词汇表示由尾数后跟字符组成（可选）“E”或“E”，后跟指数。指数 ·必须·成为整数。尾数必须是十进制的数字。陈述对于指数和尾数，必须遵循整数和十进制的如果“E”或“E”和省略以下指数，假设指数值为0。

这个特殊值积极的负无穷和非数字有词汇表示INF（信息）,-INF（信息）和NaN公司分别是。零的词汇表示可以是正号或负号。

例如，-1E4、1267.43233E12、12.78e-2、12 , -0, 0和INF（信息）都是法律文字浮动.

3.2.4.2标准表示

的规范表示浮动由定义禁止某些选项词汇表示（§3.2.4.1）具体来说，指数必须用“E”表示。前导零和前面的可选“+”号指数中禁止。如果指数为零，则必须用“E0”表示。对于尾数，禁止使用前面的可选“+”号并且需要小数点。根据以下规定，禁止使用前导零和尾随零：数字表示必须进行规范化，以便只有一个数字非零小数点左边，至少一个数字小数点右边除非所表示的值为零。典范零的表示为0.0E0。

3.2.4.3约束面

浮动有下列的 ·约束镶嵌面·:

3.2.5双

[定义：]这个双重的数据类型在IEEE双精度64位浮点类型[IEEE 754-1985].基本·价值空间·属于双重的由值组成米×2^e，其中米是绝对值小于的整数2^53、和e（电子）是一个-1075到970之间的整数，包括在内。除了基本的·价值空间·如上所述·价值空间·属于双重的还包含以下内容三特殊值:正负无穷大与非数字（NaN）。这个·顺序关系·在双重的是：当y-x时x<y是肯定的对于值空间中的x和y。正无穷大大于所有其他非NaN值。NaN等于自身，但·无与伦比的·带有（既不大于也不小于）中的任何其他值·价值空间·.

任何值·无与伦比的·使用用于四个边界面的值(·最小非独占·,·最大非独占·,·minExclusive（最小独占）·、和·maxExclusive（最大独占）·)将是从由此产生的限制中排除·价值空间·特别是，当“NaN”用作边界方面的方面值时，因为没有其他双重的值为·可比的·有了它，结果是·价值空间·将NaN作为其唯一成员（包含在内的情况）或为空（独家案例）。如果任何其他值被用于边界面，NaN将被排除在由此产生的限制范围之外·价值空间·;要将NaN添加回中，需要与仅NaN空格的并集。

此数据类型与的数据类型不同[IEEE 754-1985]只有一个NaN和只有一个零。这使得数据中的值相等且有序空间不同于[IEEE 754-1985]仅用于模式目的NaN=NaN。

中的文字·词法空间·表示十进制数d日映射到规格化值在中·价值空间·属于双重的那就是最接近d日; 如果d日是正好介于两个这样的值之间，然后选择偶数值。这是最佳近似值属于d日([克林格，WD（1990）],[同性恋，DM（1990）])，哪个更重要比所需的映射精确[IEEE 754-1985].

3.2.5.1词汇表示

双重的值具有词汇表示由尾数后跟字符“E”或“e”，后面跟着一个指数。指数 ·必须·是一个整数。尾数必须是十进制数。陈述对于指数和尾数，必须遵循整数和十进制的如果“E”或“E”并且省略以下指数，假设指数值为0。

这个特殊值积极的负无穷和非数字有词汇表示INF（信息）,-INF（信息）和NaN公司分别是。零的词汇表示可以是正号或负号。

例如，-1E4、1267.43233E12、12.78e-2、12 , -0, 0和INF（信息）都是法律文字双重的.

3.2.5.2标准表示

的规范表示双重的由定义禁止某些选项词汇表示（§3.2.5.1）具体来说，指数必须用“E”表示。前导零和前面的可选“+”号指数中禁止。如果指数为零，则必须用“E0”表示。对于尾数，禁止使用前面的可选“+”号并且需要小数点。根据以下规定，禁止使用前导零和尾随零：数字表示必须进行规范化，以便只有一个数字非零小数点左边，至少一个数字小数点右边除非所表示的值为零。典范零的表示为0.0E0。

3.2.5.3约束面

双重的有下列的 ·约束镶嵌面·:

3.2.6持续时间

[定义：] 期间表示持续时间。这个·价值空间·属于期间是一个六维空间，其中坐标指定在第5.5.3.2节，共【ISO 8601】,分别是。这些组件已订购按其出现顺序，即年、月、日，小时、分钟和秒。

注：

全部 ·最小一致性·处理器·必须·支持最少4位数字的年份值（即。，YYYY年)最小小数秒精度为毫秒或三个十进制数字（即。不锈钢). 然而，·最小一致性·处理器·可以·设置应用程序定义的最大位数限制他们准备在这两种情况下支持，在这种情况下，应用程序定义了最大数量·必须·明确记录。

3.2.6.1词汇表示

的词汇表示期间是【ISO 8601】扩展格式Pn个Y（Y）n个M（M）n个DT公司n个H（H）n个M（M）n个S、其中n个Y代表年份，n个M的月数，n个D是天数，“T”是日期/时间分隔符，n个H小时数，n个M分钟数和n个S是秒数。秒数可以包括十进制数字任意精度。

的值年、月、日、小时和分钟组件不受限制，但允许任意无符号整数，即符合模式[0-9]+..类似地，Seconds组件的值允许任意无符号十进制。以下【ISO 8601】，必须至少有一个数字如果出现小数点，请跟随它。即Seconds组件的值必须符合模式[0-9]+(\.[0-9]+)?.因此期间不遵循替代方案§5.5.3.2.1的格式【ISO 8601】.

前面可选的减号（'-）是允许，表示负持续时间。如果省略符号，则显示正持续时间。另请参见ISO 8601日期和时间格式（§D）.

例如，表示持续时间为1年、2个月、3天、10小时和30分钟，人们会写下：P1Y2M3DT10H30M.也可以将负120天的持续时间表示为：-第120D页.

允许此格式的精度降低和截断表示只要符合以下要求：

如果任何表达式等于零，数字及其相应的指示符·可以·省略。然而，至少有一个数字及其指示符·必须·出席。
第二部分·可以·有一个小数。
指示符“T”必须当且仅当所有时间项都不存在时，才缺席。指示器“P”必须始终存在。

例如，P1347Y、P1347M和P1Y2MT2H都是允许的；允许使用P0Y1347M和P0Y1347M0D。虽然不允许P-1347M-允许使用P1347M。不允许使用P1Y2MT。

3.2.6.2工期顺序关系

一般来说 ·顺序关系·在期间是部分顺序，因为在某些持续时间，例如一个月（P1M）和30天（P30D）。这个·顺序关系·共两个期间值x个和年是x<y当其时s+x<s+y对于每个合格的dateTime（日期时间）秒在下面的列表中。这些值用于秒在添加日期时间和持续时间。定义了对时间瞬间添加持续时间在里面将持续时间添加到dateTimes（§E）.

1696-09-01时间0:00:00Z
1697-02-01T00:00:00Z
1903-03-01T00:00:00Z
1903-07-01T00:00:00Z（1903-07-01T00:00:00Z）

下表显示了可以确定的最强关系示例持续时间之间。符号<>表示订单关系为不确定。请注意，由于跳跃秒数，秒字段可能会发生变化从59到60。然而，由于加法的定义方式将持续时间添加到dateTimes（§E），它们仍然完全有序。

	关系
P（P）1年	>P（P）364万	<>P365天				<>P366天	<P367天
P（P）100万	>P（P）27天	<>P28天	<>P29天		<>P30天	<>P31天	<P32天
P（P）5米	>P（P）149D年	<>P150天	<>P151D年	<>P152D（152D）		<>P153D年	<P154D年

实现可以自由优化排序关系的计算。例如，下表可用于比较几个月和几天的持续时间。

	月	1	2	三	4	5	6	7	8	9	10	11	12	13	...
天	最小值	28	59	89	120	150	181	212	242	273	303	334	365	393	...
天	最大值	31	62	92	123	153	184	215	245	276	306	337	366	397	...

3.2.6.3持续时间方面比较

在比较中期间具有的值最小非独占,minExclusive（最小独占）,最大非独占和maxExclusive（最大独占）刻面值不确定比较应被视为“错误”。

3.2.6.4总订购持续时间

某些派生的持续时间数据类型可以保证具有总顺序。对于这样，它们必须只有下表中一行的字段和时区必须被要求或禁止。

年、月
日、小时、分钟、秒

例如，可以定义一个数据类型来对应于【SQL】数据类型需要四位数字的年-月间隔年份字段和两位数的月份字段，但要求所有其他字段都未指定。此数据类型可以定义如下，并具有总顺序。

<simpleType name='SQL-Year-Month-Interval'><限制基数=“持续时间”><模式值='P\P｛Nd｝{4} Y（Y）\p{Nd}{2} M（M）'/></限制></simpleType>

3.2.6.5约束面

期间有下列的 ·约束镶嵌面·:

3.2.7日期时间

[定义：] dateTime（日期时间）可以将值视为具有整数值的对象年、月、日、小时和分钟属性，十进制第二属性，和布尔时区属性。每个这样的对象也有一个十进制值方法或计算属性timeOnTimeline，其值始终为十进制数量；这些值以秒为单位，整数0为0001-01-01T00:00:00和其他的timeOnTimeline值dateTime（日期时间）值是使用经过跳跃秒修改的Gregorian算法计算的。timeOnTimeline值形成两个相关的“时间线”，一个用于时间分区值和一个用于非时间分区值。每个时间线都是·价值空间·属于十进制的,以秒为单位的整数。

这个·价值空间·属于dateTime（日期时间）与ISO 8601中描述的日期和时间密切相关。为了清楚起见，上面的文本为时间线。但是，应该注意的是，模式处理器不需要公开timeOnTimeline值，并且不要求基于时间的实现使用此处描述的特定来源它的内部表示。其他解释·价值空间·这导致了当然可以接受相同的结果（即同构）。

所有时区时间均为协调世界时（UTC，有时也称为“格林威治标准时间”）。词汇表示中指示的其他时区在文字到值的转换过程中转换为UTC。“本地”或未划分时区的时间被假定为某些国家或地区的时区时间相关法律机构规定的未指定地点；目前，法律上没有规定时区的持续时间震级大于14小时。每个数值属性的值（timeOnTimeline除外）限制为间隔内的最大值由下一个更高的属性决定。例如，日值永远不能是32，02月和2002年（2002年2月）甚至不能达到29岁。

注：

本建议中描述的日期和时间数据类型受到启发通过【ISO 8601】“0001”是共同时代第一年的词汇表示(1CE，有时写为“AD 1”或“1 AD”）。没有年份0，“0000”不是有效的词汇表示-0001’是1年之前的词汇表示共同纪元（公元前1年，有时写为“公元前1”）。

使用本建议（1.0）版本的人员代表负年份应注意词汇的解释以开头的表示'-'很可能会发生变化后续版本。

【ISO 8601】未提及0年；在里面[ISO 8601:1998修订草案]表格“0000”不允许使用，本建议也不允许使用。然而，[ISO 8601:2000第二版]，就在我们完成版本时可用1.0，允许使用“0000”形式，表示公元前1年。一些外部评论员还建议“0000”是允许，作为BCE 1的词汇表示，这是天文背景。这是XML模式的意图工作组允许在dateTime（日期时间）,日期,g年份、和g年-月后续版本中的数据类型”0000’将是1的词汇表示BCE（闰年），“-0001”将成为2的词汇表示BCE（不是此（1.0）版本中的1 BCE）、3 BCE中的“-0002”等。

注：请参阅中的一致性注释(§3.2.6)哪一个也适用于此数据类型。

3.2.7.1词汇表示

这个 ·词法空间·属于dateTime（日期时间）包括形式的有限长度字符序列：'-'? yyyy'-'mm'-'dd'T'hh'：'mm'：'ss（'.'s+）？（zzzzz）？,哪里

'-'?年份是一个四位数或更多位数，可选带负号表示年份的数字；如果超过四位数，则前导零禁止使用，禁止使用“0000”（参见上述注释(§3.2.7); 还要注意，加号是不允许）；
其余的'-是日期部分之间的分隔符；
第一个毫米是表示月份的两位数数字；
日是表示日期的两位数数字；
“T”是一个分隔符，表示接下来的时间；
小时是表示小时的两位数数字；'如果表示的分钟和秒为零dateTime（日期时间）价值如此表示的是第二天的第一个瞬间（dateTime（日期时间）中的对象·价值空间·不能有大于23）；
“：”是日时间部分各部分之间的分隔符；
第二个毫米是表示分钟的两位数数字；
不锈钢是表示整秒；
'.'秒+（如果存在）代表分数秒；
嘶嘶作响（如果存在）表示时区（如下所述）。

例如，2002-10-10T12:00:00-05:00（2002年10月10日中午，中央日光节省时间以及美国东部标准时间）为2002-10-10T17:00:00Z，比2002-10-10T12:00:00Z晚五个小时。

有关使用dateTime（日期时间）s和持续时间，看见将持续时间添加到dateTimes（§E）.

一般来说·顺序关系·在dateTime（日期时间）是部分顺序，因为在某些瞬间。例如，没有确定性订购介于（a）2000-01-20T12:00:00和（b）2000-01-20 T12:00.00Z轴.基于当前使用的时区，（c）可能在2000-01-20T12:00:00+12:00到2000-01-20T12:00:00-13:00。然而，此范围可能会扩大或未来根据当地法律签订合同。因此，以下内容定义使用了更大范围的不确定值：+14:00..-14:00。

以下定义使用符号S[年]表示年份S的字段，S[month]表示月份字段，依此类推。符号（Q&“-14:00”）表示将时区-14:00添加到Q，其中Q没有已经有时区了。这是对这个过程的逻辑解释。实际实现可以自由优化，只要它们产生相同的结果。

二者之间的排序dateTime（日期时间）s P和Q定义如下算法：

A.规范化P和Q。也就是说，如果存在时区，但它不是Z，请使用中定义的加法运算将其转换为Z将持续时间添加到dateTimes（§E）

因此，2000-03-04T23:00:00+03:00标准化为2000-03-4T20:00:00Z

B.如果P和Q都有时区或都没有时间区域，逐个字段比较P和Q从年份字段到第二个字段，并在确定后立即返回结果。即：

对于{年、月、日、小时、分钟、秒}中的每个i
1. 如果没有指定P[i]和Q[i]，则继续到下一个i
2. 如果未指定P[i]而Q[i]为，或反之亦然，则停止并返回P<>Q
3. 如果P[i]<Q[i]，停止并返回P<Q
4. 如果P[i]>Q[i]，停止并返回P>Q
停止并返回P=Q

C.否则，如果P包含时区而Q不包含，则比较如下：

如果P<（Q时区+14:00），则P<Q
如果P>，则为P>Q（时区为Q-14:00）
P＜＞Q否则，即如果（Q带时区+14:00）＜P＜（Q带时区-14:00）

D.否则，如果P不包含时区而Q包含时区，则比较如下：

P<Q if（P带时区-14:00）<Q。
P>Q如果（P与时区+14:00）>Q。
P＜＞Q否则，即如果（P与时区+14:00）＜Q＜（P与时区-14:00）

示例：

确定	不确定
2000年1月15日00时00分<2000年2月15日00:00:00	2000年1月1日12:00:00<>1999-12-31T23:00:00Z
2000年1月15日12:00:00<2000年1月16日12:00:00Z	2000年1月16日12:00:00<>2000年1月16日12:00:00Z
	2000年1月16日00时00分<>2000年1月16日12:00:00Z

3.2.7.5总排序日期时间

某些派生类型来自dateTime（日期时间）可以保证有一个总订单。收件人这样，他们必须要求始终指定一组特定的字段，并且其余字段（如果有）总是未指定的。例如，日期不带时区的数据类型定义为精确包含年、月和日。因此，没有时区的日期之间有一个总的顺序。

3.2.7.6约束面

dateTime（日期时间）有下列的 ·约束镶嵌面·:

3.2.8时间

[定义：]时间表示每天重复出现的时间瞬间。这个·价值空间·属于时间是空格属于一天中的某个时间的§5.3中定义的值【ISO 8601】具体来说，它是一组每天零持续时间时间实例。

因为词汇表示允许一个可选的时区指示器，时间值是部分排序的，因为它可能无法确定两个值的顺序，其中一个值具有时区，而另一个没有。上的订单关系时间值是订单日期时间关系（§3.2.7.4）使用任意日期。另请参见将持续时间添加到dateTimes（§E）.成对时间带有或不带时区指示器的值是完全有序的。

注：请参阅中的一致性注释(§3.2.6)哪一个也适用于此数据类型的秒部分。

3.2.8.1词汇表示

的词汇表示时间在左边吗的截断词法表示 dateTime（日期时间）:hh:mm:ss.sss，带有可选的以下时区指示器。例如，东部标准时间晚5小时，下午1:20协调世界时（UTC），可以写下：13:20:00-05:00。另请参见ISO 8601日期和时间格式（§D）.

3.2.8.2规范表示

的规范表示时间已定义通过禁止来自词汇表示（§3.2.8.1）具体来说，时区必须省略，或者如果存在，时区必须为协调通用时间（UTC）由“Z”表示。此外，午夜的规范表示为00:00:00。

3.2.8.3约束面

时间有下列的 ·约束镶嵌面·:

3.2.9日期

[定义：]这个·价值空间·属于日期由时间线上正好一天的开放时间间隔组成dateTime（日期时间），从每天的开始时刻开始（in每个时区），即“00:00:00”，直到但不包括“24:00:00与第二天的“00:00:00”相同）。对于非时区值，top-open间隔不连续地覆盖非时间分区的时间线，每天一次。用于时区值时，间隔从每分钟开始，因此重叠。

“日期对象”是具有年、月和日属性的对象属于dateTime（日期时间）对象，加上一个可选时区值时区属性。（与值相同dateTime（日期时间）时区是持续时间的特殊情况。）就像一个dateTime（日期时间）对象对应于时间表，a日期对象对应于1上的间隔正如刚才所描述的那样。

时间分区日期值跟踪一天的开始时刻，如由时区决定；所述时区通常可恢复规范表示。[定义：]这个可恢复时区持续时间是是减去时间分区的第一个时刻（或任何时刻）的结果日期从UTC在相同的日期. ·可恢复时区·是持续时间始终介于“+12:00”和“-11:59”之间。这种“时区标准化”（自动遵循日期 ·价值空间·)中有详细说明词汇表示（§3.2.9.1）.

例如：2002-10-10+13:00的第一个时刻是2002-10-10T00:00:00+13，即2002-10-09T11:00:00Z，也是2002-10-09-11:00的第一刻。因此，2002-10-10+13:00是2002-10-09-11:00；它们是相同的间隔.

注：对于大多数时区，一天中的第一刻或最后一刻（adateTime（日期时间）值，始终为UTC）将具有日期部分与日期它自己！然而，那天中午日期（区间中点）（标准化）时区将始终相同日期部分作为日期本身，即使中午时间点标准化为联合技术公司。例如，2002-10-10-05:00开始于2002-10-09Z和2002-10-10+05:00在2002-10-11Z期间结束，但2002-10-10-05:00和2002-10-10+05:00的中午在2002-10-10Z的间隔内下降。

注：请参阅中的一致性注释(§3.2.6)哪一个也适用于此数据类型的年份部分。

3.2.9.1词汇表示

对于下面的讨论，让 dateTime（日期时间）或日期对象是类似于dateTime（日期时间）或日期对象，具有类似的年、月和日属性，但没有其他属性的值与原始属性的值相同dateTime（日期时间）或日期对象。

这个·词法空间·属于日期由有限长组成形式的字符序列：'-'? yyyy'-'mm'-'dd zzzzzz？其中日期和可选时区精确表示为和他们一样dateTime（日期时间）. The first moment of the间隔由以下内容表示：‘-‘yyyy’-‘mm’-‘dd’T00:00:00’zzzzz？并且区间的最小上界是所表示的时间线点（非匿名）签署人：'-'yyyy'-'mm'-'dd'T24:00:00'zzzzzz？.

注：这个·可恢复时区·的日期将永远是“+12:00”和“11:59”之间的持续时间。时区词汇表示，如解释为dateTime（日期时间），范围从“+14:00”到“-14:00”。结果是日期s与非常大或非常大负时区将映射到“标准化”日期值，带有·可恢复时区·与原文不同表示，以及中+/-1天的匹配差异日期自身。

3.2.9.2标准表示

给定的成员日期 ·价值空间·，的日期规范表示的一部分（整个表示对于非时区值，以及时区值的时区表示除外）总是日期的一部分dateTime（日期时间）规范的区间中点的表示（dateTime（日期时间）代表，在右侧截断以消除“T”和所有后续字符）。对于时间分区值，请附加·可恢复时区·.

3.2.10 g年/月

[定义：] g年-月表示特定公历年中的特定公历月份。这个·价值空间·属于g年-月是公历月的集合，如【ISO 8601】具体地说，它是一组一个月长的，非周期性实例例如，1999-10代表1999-10的整个月份，独立于这个月有多少天。

因为词汇表示允许一个可选的时区指示器，g年-月值是部分排序的，因为它可能无法明确确定两个值的顺序其中一个具有时区，而另一个没有。如果g年-月值被视为时间段g年-月值是其开始瞬间的顺序关系。这在中进行了讨论订单日期时间关系（§3.2.7.4）。另请参阅将持续时间添加到dateTimes（§E）.成对g年-月带有或不带时区指示器的值是完全有序的。

注：因为一个日历中的月/年组合很少对应到其他日历中的月/年组合，此类型的值通常不可转换为与月/年对应的简单值其他日历中的组合。因此，应谨慎使用此类型在需要转换为其他日历的上下文中。

注：请参阅中的一致性注释(§3.2.6)哪一个也适用于此数据类型的年份部分。

3.2.10.1词汇表示

的词汇表示g年-月减少了吗（右截断）的词汇表示 dateTime（日期时间）:CCYY-MM。不允许左截断。可选的后续时间允许使用区域限定符。为了适应0001到9999范围之外的年份值，需要添加数字可以添加到此表示的左侧，并且前面允许使用“-”号。

例如，要指明1999年5月，可以写下：1999-05。另请参见ISO 8601日期和时间格式（§D）.

3.2.10.2约束面

g年-月有下列的 ·约束镶嵌面·:

3.2.11 g年

[定义：] g年份表示格里高利历年。这个·价值空间·属于g年份是中定义的一组公历年份第5.2.1条【ISO 8601】具体来说，是一年一套长期非周期性实例例如，词汇1999代表1999年全年，独立于今年有多少个月和几天。

因为词汇表示允许一个可选的时区指示器，g年份值是部分排序的，因为它可能无法明确确定两个值的顺序，其中一个值具有时区，而另一个没有。如果g年份值被视为时间段，即顺序关系在g年份值是其开始瞬间的顺序关系。这在中进行了讨论订单日期时间关系（§3.2.7.4）。另请参阅将持续时间添加到dateTimes（§E）.成对g年份带有或不带时区指示器的值是完全有序的。

注：因为一个日历中的年份很少对应年份在其他日历中，此类型的值通常不可转换为与年份对应的简单值在其他日历中。因此，应谨慎使用此类型在需要转换为其他日历的上下文中。

注：请参阅中的一致性注释(§3.2.6)哪一个也适用于此数据类型的年份部分。

3.2.11.1词汇表示

的词汇表示g年份是减少的（右截断）的词法表示 dateTime（日期时间）：CCYY。不允许左截断。可选的后续时间对于，允许使用区域限定符dateTime（日期时间）.至适应0001到9999范围之外的年份值，另外数字可以添加到此表示法和前面的允许使用“-”符号。

例如，为了表示1999年，可以这样写：1999年。另请参见ISO 8601日期和时间格式（§D）.

3.2.11.2约束面

g年份有下列的 ·约束镶嵌面·:

3.2.12 g月日

[定义：] g月日是重复出现的格里高利日期，特别是5月3日等年份。不允许任意重复出现日期受此数据类型支持。这个·价值空间·属于g月日是一组日历日期，定义见【ISO 8601】具体来说，它是一组为期一天、每年定期的实例。

因为词汇表示允许一个可选的时区指示器，g月日值是部分排序的，因为它可能无法明确确定两个值的顺序，其中一个值具有时区，而另一个没有。如果g月日值被视为时间段，在任意闰年，订单关系在g月日值是其开始瞬间的顺序关系。这在中进行了讨论订单日期时间关系（§3.2.7.4）。另请参阅将持续时间添加到dateTimes（§E）.成对g月日带有或不带时区指示器的值是完全有序的。

注：因为一个日历中的日/月组合很少对应到其他日历中的日/月组合，此类型的值不会，一般来说，具有任何直接或直观的表示就大多数其他日历而言。因此，该类型应为在转换为其他日历的上下文中小心使用需要。

3.2.12.1词汇表示

的词汇表示g月日在左边吗的截断词法表示日期：--毫米-天。可选的后续时间对于，允许使用区域限定符日期.不允许使用前面的符号。不允许使用其他格式。另请参见ISO 8601日期和时间格式（§D）.

此数据类型可用于表示一个月中的特定日期。举个例子，我的生日是在每年的9月14日。

3.2.12.2约束面

g月日有下列的 ·约束镶嵌面·:

3.2.13 g天

[定义：] g天是一个反复出现的公历日，特别是一天月的第五天。任意重复天数此数据类型不支持。这个·价值空间·属于g天是一组日历日期定义见【ISO 8601】具体来说，它是一组为期一天的每月定期实例。

此数据类型可用于表示一个月的特定日期。比如说，我在每个月15号拿到薪水。

因为词汇表示允许一个可选的时区指示器，g天值是部分排序的，因为它可能无法明确确定两个值的顺序其中一个具有时区，而另一个没有。如果g天值被视为时间段，在任意一个有31天的月份，顺序关系在g天值是其开始瞬间的顺序关系。这在中进行了讨论订单日期时间关系（§3.2.7.4）。另请参阅将持续时间添加到dateTimes（§E）.成对g天带有或不带时区指示器的值是完全有序的。

注：因为一个日历中的日子很少对应到其他日历中的天，此类型的值不会，一般来说，具有任何直接或直观的表示就大多数其他日历而言。因此，该类型应为在转换为其他日历的上下文中小心使用需要。

3.2.13.1词汇表示

的词汇表示g天在左边吗的截断词法表示日期：---日期。可选的后续时间对于，允许使用区域限定符日期。前面没有符号允许。不允许使用其他格式。另请参见ISO 8601日期和时间格式（§D）.

3.2.13.2约束面

g天有下列的 ·约束镶嵌面·:

3.2.14 g月

[定义：] g月份是一个每年重复出现的阴历月。这个·价值空间·属于g月份是一组日历月定义见【ISO 8601】具体来说，它是一组为期一个月、每年定期的实例。

此数据类型可用于表示特定月份。比如说，感恩节在十一月。

因为词汇表示允许一个可选的时区指示器，g月份值是部分排序的，因为它可能无法明确确定两个值的顺序，其中一个值具有时区，而另一个没有。如果g月份值被视为时间段，即顺序关系在g月份是它们开始时刻的顺序关系。这在中进行了讨论订单日期时间关系（§3.2.7.4）。另请参阅将持续时间添加到dateTimes（§E）.成对g月份带有或不带时区指示器的值是完全有序的。

注：因为一个日历中的月份很少对应到其他日历中的月份，此类型的值不会，一般来说，具有任何直接或直观的表示就大多数其他日历而言。因此，该类型应为在转换为其他日历的上下文中小心使用需要。

3.2.14.1词汇表示

的词汇表示g月份在左边吗和右截断词法表示日期：--MM。可选的后续时间对于，允许使用区域限定符日期。前面没有符号允许。不允许使用其他格式。另请参见ISO 8601日期和时间格式（§D）.

3.2.14.2约束面

g月份有下列的 ·约束镶嵌面·:

3.2.15十六进制

[定义：] 十六进制二进制代表任意十六进制编码的二进制数据。这个·价值空间·属于十六进制二进制是二进制有限长序列的集合八位字节。

3.2.15.1词汇表示

十六进制二进制具有词汇表示，其中每个二进制八位字节编码为一个字符元组，由两个字符组成表示八位码的十六进制数字（[0-9a-fA-F]）。例如，“0FB7”是一个十六进制16位整数4023的编码（其二进制表示为11111 0110111）。

3.2.15.2规范表示

的规范表示十六进制二进制已定义通过禁止来自词汇表示（§3.2.15.1）具体而言，小写不允许使用十六进制数字（[a-f]）。

3.2.15.3约束面

十六进制二进制有下列的 ·约束镶嵌面·:

3.2.16 base64二进制

[定义：] base64二进制表示以Base64编码的任意二进制数据。这个·价值空间·属于base64二进制是二进制有限长序列的集合八位字节。对于base64二进制数据整个二进制流使用Base64编码字母输入[RFC 2045].

的词汇形式base64二进制值限制为65个字符中定义的Base64字母[RFC 2045]即。，a-z,A-Z（A-Z）,0-9、加号（+）、正斜杠（/）和等号（=），以及中定义的字符[XML 1.0（第二版）]作为空白。不允许使用其他字符。

为了与旧邮件网关兼容，[RFC 2045]表明base64数据的行长度应限制为最多76个字符。这个单词形式中没有规定行长限制base64二进制数据，不能由XML模式处理器强制执行。

词汇空间base64二进制由以下语法给出（符号用于[XML 1.0（第二版）]); 合法的词汇形式必须匹配这个Base64二进制生产。

Base64二进制：：=（（B64S B64S B64S B64 B64S）* （（B64S、B64S和B64S B64）| （B64S B64S B16S“=”）| （B64S B04S’=’x20？’=’））？ B64S：：=B64#x20？ B16S：=B16#x20？ B04S:：=B04x20？ B04:：=[AQgw] B16：：=[AEIMQUYcgkosw048] B64：：=[A-Za-z0-9+/]

请注意，此语法要求词汇中的非空白字符数形式是四的倍数，等号只出现在词汇形式；不满足这些约束的字符串不是合法的词汇形式属于base64二进制因为它们不能被base64成功解码解码器。

注：以上对词汇空间的定义比这更具限制性在中给出[RFC 2045]至于空白--这不是问题在实践中。任何与RFC兼容的字符串都可以出现在此类型验证的元素或属性，因为·空格符·此类型的方面是固定的到崩溃，这意味着所有前导和尾随空白将被剥离，并且所有内部空白折叠为单个空间字符，之前执行上述语法。

规范的词汇形式base64二进制数据值是base64与Canonical-base64二进制产品匹配的值的编码如下语法：

规范基64二进制：：=（B64B64 B64 B44）* （（B64 B64 B16’='）|（B64 B04’==’）？

注：对于某些值，上面定义的规范形式不符合[RFC 2045]，这需要以适当的间隔使用换行符中断。

a的长度base64二进制value是它包含的八位字节数。这可以通过删除空白和填充字符从词法形式中计算出来并执行以下伪代码中所示的计算：

lex2:=killwhitespace（lexform）--删除空白字符 lex3:=strip_equals（lex2）--在末尾去除填充字符长度：=地板（长度（lex3）*3/4）--计算长度

编码注意事项：[RFC 2045]显式引用US-ASCII编码。然而，解码base64二进制XML实体中的数据将在按照指定的字符编码处理后获得的Unicode字符[XML 1.0（第二版）]

3.2.16.1约束面

base64二进制有下列的 ·约束镶嵌面·:

3.2.17任意URI

[定义：] 任意URI表示统一资源标识符引用（URI）。安任意URI值可以是绝对值或相对值，并且可以具有可选的片段标识符（即，它可能是URI引用）。这个类型应用于指定值实现的意图URI的角色由定义[RFC 2396]，经修订[RFC 2732].

来自的映射任意URIURI的值为由URI引用转义过程定义定义于第5.4节定位器属性属于[XML链接语言]（另见第8节URI引用中的字符编码属于[角色模型]). 这意味着可以指定广泛的国际化资源标识符当任意URI被要求，并且仍然被理解为每个URI[RFC 2396]，经修订[RFC 2732],在适当的情况下确定资源。

注：第5.4节定位器属性属于[XML链接语言]要求相对URI引用绝对化定义见[XML基础]使用前。这是特定于XLink的并且不适用于XML模式，因为·词法空间·也不是·价值空间·的任意URI类型被限制为绝对URI。因此绝对化不能作为模式的一部分由模式处理器执行验证。

注：每个URI方案都为中的URI强加了专门的语法规则该方案，包括对allowed的语法的限制片段标识符。因为它是处理器检查值是否为上下文适当的URI引用，此规范遵循的引线[RFC 2396]（经修订[RFC 2732])在这个问题上：这样的规则和限制不是类型有效性的一部分和未经检查·最小一致性·处理器。因此，在实践中，上述定义只规定了非常适度的义务在·最小一致性·处理器。

3.2.17.1词汇表示

这个 ·词法空间·属于任意URI是当算法定义为第5.4节[XML链接语言]应用于它们，产生字符串根据[RFC 2396]，经修订[RFC 2732].

注：原则上，允许在·词法空间·属于任意URI然而，强烈反对使用它们（除非它们由%20编码）。

3.2.17.2约束面

任意URI有下列的 ·约束镶嵌面·:

3.2.18 Q名称

[定义：] 限定名代表XML限定名称.这个·价值空间·属于限定名是一组元组{命名空间名称,局部零件},哪里命名空间名称是一个任意URI和局部零件是一个NC名称.这个·词法空间·属于限定名是布景吗字符串的·比赛·这个限定名生产[XML中的命名空间].

注：中文本之间的映射·词法空间·和中的值·价值空间·属于限定名要求在上下文范围内的命名空间声明，其中限定名使用。

3.2.18.1约束面

限定名有下列的 ·约束镶嵌面·:

使用·长度·,·最小长度·和·最大长度·关于数据类型·派生的·从限定名是已弃用。本规范的未来版本可能删除此数据类型的这些方面。

3.2.19符号

[定义：] 符号代表符号属性类型来自[XML 1.0（第二版）]. The·价值空间·属于符号是一组限定名秒当前架构中声明的符号。这个·词法空间·属于符号是布景吗的所有名称符号在当前模式中声明（格式为限定名s） ●●●●。

模式组件约束：NOTATION所需的枚举方面值

它是一个 ·错误·对于符号以便在模式中直接使用。只有以下数据类型·派生的·从符号通过指定的值·枚举·可以使用在模式中。

有关兼容性（请参见术语（§1.4）)符号应仅用于属性并且只应在没有目标命名空间。

3.2.19.1约束面

符号有下列的 ·约束镶嵌面·:

使用·长度·,·最小长度·和·最大长度·关于数据类型·派生的·从符号是已弃用。本规范的未来版本可能删除此数据类型的这些方面。

3.3派生数据类型

        3.3.1 normalizedString（标准化字符串）
        3.3.2代币
        3.3.3语言
        3.3.4NMTOKEN公司
        3.3.5NMTOKENS公司
        3.3.6姓名
        3.3.7NC名称
        3.3.8身份证件
        3.3.9国际数据参考
        3.3.10IDREFS公司
        3.3.11实体
        3.3.12实体
        3.3.13整数
        3.3.14非正整数
        3.3.15负整数
        3.3.16长的
        3.3.17整数
        3.3.18短的
        3.3.19字节
        3.3.20非负整数
        3.3.21unsignedLong（无符号长）
        3.3.22未签名Int
        3.3.23无符号短
        3.3.24无符号字节
        3.3.25正整数

本节给出了所有·内置的· ·派生的·数据类型由本规范定义。用于定义·派生的·数据类型（是否·内置的·或·用户衍生的·)是第节中给出简单类型定义模式组件的XML表示（§4.1.2）和完整的定义·内置的· ·派生的·附录A中提供了数据类型数据类型定义模式（规范）（§A）.

3.3.1规范化字符串

[定义：] normalizedString（标准化字符串）表示空白规范化字符串。这个·价值空间·属于normalizedString（标准化字符串）是没有的字符串集包含回车（#xD）、换行（#xA）或制表符（#x9）字符。这个·词法空间·属于normalizedString（标准化字符串）是没有的字符串集包含回车符（#xD），换行（#xA）或制表符（#x9）字符。这个·基本类型·属于normalizedString（标准化字符串）是一串.

3.3.1.1约束镶嵌面

normalizedString（标准化字符串）有下列的 ·约束镶嵌面·:

3.3.1.2派生数据类型

以下内容 ·内置的·数据类型是·派生的·从normalizedString（标准化字符串）:

代币

3.3.2令牌

[定义：] 代币表示标记化字符串。这个·价值空间·属于代币是没有的字符串集包含回车（#xD），换行（#xA）或制表符（#x9）字符，没有前导或尾随空格（&#x20），并且没有内部序列两个或多个空格。这个·词法空间·属于代币是不包含回车（#xD），换行（#xA）或制表符（#x9）字符，没有前导或尾随空格（&#x20），并且没有内部序列两个或多个空格。这个·基本类型·属于代币是normalizedString（标准化字符串）.

3.3.2.1约束面

代币有下列的 ·约束镶嵌面·:

3.3.2.2派生数据类型

以下内容 ·内置的·数据类型是·派生的·从代币:

3.3.3语言

[定义：] 语言表示由定义的自然语言标识符通过[副本请求3066].这个·价值空间·属于语言是定义为有效语言标识符的所有字符串的集合[副本请求3066].这个·词法空间·属于语言是所有字符串的集合符合模式[α-zA-Z]{1,8}（-[a-zA-Z0-9]{1,8}）*.这个·基本类型·属于语言是代币.

3.3.3.1约束面

语言有下列的 ·约束镶嵌面·:

3.3.4非代币

[定义：] NMTOKEN公司代表这个NMTOKEN属性类型从[XML 1.0（第二版）]. The·价值空间·属于NMTOKEN公司是一组标记·比赛·这个名字符号生产[XML 1.0（第二版）]. The·词法空间·属于NMTOKEN公司是一组字符串·比赛·这个名字符号生产[XML 1.0（第二版）]. The·基本类型·属于NMTOKEN公司是代币.

有关兼容性（请参见术语（§1.4）)NMTOKEN公司应仅用于属性。

3.3.4.1约束镶嵌面

NMTOKEN公司有下列的 ·约束镶嵌面·:

3.3.4.2派生数据类型

以下内容 ·内置的·数据类型是·派生的·从NMTOKEN公司:

NMTOKENS公司

3.3.5非代币

[定义：] NMTOKENS公司代表NMTOKENS属性类型从[XML 1.0（第二版）]. The·价值空间·属于NMTOKENS公司是有限的非零长序列的集合·NMTOKEN公司·s·词法空间·属于NMTOKENS公司是一组以空格分隔的标记列表，其中每个标记都位于·词法空间·属于NMTOKEN公司. The·itemType（项目类型）·属于NMTOKENS公司是NMTOKEN公司.

有关兼容性（请参见术语（§1.4）)NMTOKENS公司应仅用于属性。

3.3.5.1约束面

NMTOKENS公司有下列的 ·约束镶嵌面·:

3.3.6名称

[定义：] 姓名代表XML名称.这个·价值空间·属于姓名是所有字符串的集合·比赛·这个姓名生产[XML 1.0（第二版）]. The·词法空间·属于姓名是所有字符串的集合，其中·比赛·这个姓名生产[XML 1.0（第二版）]. The·基本类型·属于姓名是代币.

3.3.6.1约束面

姓名有下列的 ·约束镶嵌面·:

3.3.6.2派生数据类型

以下内容 ·内置的·数据类型是·派生的·从姓名:

NC名称

3.3.7 NC名称

[定义：] NC名称表示XML“非殖民化”名称。这个·价值空间·属于NC名称是所有字符串的集合，其中·比赛·这个NC名称生产[XML中的命名空间]. The·词法空间·属于NC名称是所有字符串的集合，其中·比赛·这个NC名称生产[XML中的命名空间]. The·基本类型·属于NC名称是姓名.

3.3.7.1约束面

NC名称有下列的 ·约束镶嵌面·:

3.3.7.2派生数据类型

以下内容 ·内置的·数据类型是·派生的·从NC名称:

3.3.8身份证

[定义：] 身份证件代表ID属性类型从[XML 1.0（第二版）]. The·价值空间·属于身份证件是所有字符串的集合·比赛·这个NC名称生产[XML中的命名空间]. The·词法空间·属于身份证件是全部的集合字符串·比赛·这个NC名称生产[XML中的命名空间].这个·基本类型·属于身份证件是NC名称.

有关兼容性（请参见术语（§1.4）)身份证件应仅用于属性。

3.3.8.1约束镶嵌面

身份证件有下列的 ·约束镶嵌面·:

3.3.9 IDREF（IDREF）

[定义：] 国际数据参考代表IDREF属性类型从[XML 1.0（第二版）]. The·价值空间·属于国际数据参考是所有字符串的集合·比赛·这个NC名称生产[XML中的命名空间]. The·词法空间·属于国际数据参考是一组字符串·比赛·这个NC名称生产[XML中的命名空间].这个·基本类型·属于国际数据参考是NC名称.

有关兼容性（请参见术语（§1.4）)此数据类型应仅用于属性。

3.3.9.1约束镶嵌面

国际数据参考有下列的 ·约束镶嵌面·:

3.3.9.2派生数据类型

以下内容 ·内置的·数据类型是·派生的·从国际数据参考:

IDREFS公司

3.3.10 IDREFS公司

[定义：] IDREFS公司代表IDREFS属性类型从[XML 1.0（第二版）]. The·价值空间·属于IDREFS公司是有限的非零长序列的集合国际数据参考第条。这个·词法空间·属于IDREFS公司是一组以空格分隔的标记列表，其中每个标记都位于·词法空间·属于国际数据参考.这个·itemType（项目类型）·属于IDREFS公司是国际数据参考.

有关兼容性（请参见术语（§1.4）)IDREFS公司应仅用于属性。

3.3.10.1约束面

IDREFS公司有下列的 ·约束镶嵌面·:

3.3.11实体

[定义：] 实体代表实体属性类型来自[XML 1.0（第二版）]. The·价值空间·属于实体是所有字符串的集合·比赛·这个NC名称生产[XML中的命名空间]并被宣布为未分析的实体在里面一文档类型定义.这个·词法空间·属于实体是布景吗所有字符串中·比赛·这个NC名称生产[XML中的命名空间].这个·基本类型·属于实体是NC名称.

注：这个·价值空间·属于实体已确定范围到特定实例文档。

有关兼容性（请参见术语（§1.4）)实体应仅用于属性。

3.3.11.1约束面

实体有下列的 ·约束镶嵌面·:

3.3.11.2派生数据类型

以下内容 ·内置的·数据类型是·派生的·从实体:

实体

3.3.12实体

[定义：] 实体代表ENTITIES属性类型从[XML 1.0（第二版）]. The·价值空间·属于实体是有限的非零长序列的集合·实体·已声明为未分析的实体在一个文档类型定义.这个·词法空间·属于实体是一组以空格分隔的标记列表，其中每个标记都位于·词法空间·属于实体.这个·itemType（项目类型）·属于实体是实体.

注：这个·价值空间·属于实体已确定范围到特定实例文档。

有关兼容性（请参见术语（§1.4）)实体应仅用于属性。

3.3.12.1约束面

实体有下列的 ·约束镶嵌面·:

3.3.13整数

[定义：] 整数是·派生的·从十进制的通过固定的值·分数位数·为0并且不允许尾随小数点。这将导致标准整数的数学概念。这个·价值空间·属于整数是无限的集合{…，-2，-1,0,1,2，…}。这个·基本类型·属于整数是十进制的.

3.3.13.1词汇表征

整数具有由有限长度序列组成的词汇表示具有可选前导符号的十进制数字（#x30-#x39）。如果省略该符号，假设为“+”。例如：-1，0，12678967543233，+100000。

3.3.13.2标准表示

的规范表示整数已定义通过禁止来自词汇表达（§3.3.13.1）具体来说，前面的可选“+”符号被禁止，前导零被禁止。

3.3.13.3约束面

整数有下列的 ·约束镶嵌面·:

3.3.13.4派生数据类型

以下内容 ·内置的·数据类型是·派生的·从整数:

3.3.14非正整数

[定义：] 非正整数是·派生的·从整数通过设置·最大非独占·为0。这将导致非正整数的标准数学概念。这个·价值空间·属于非正整数是无限集{…，-2，-1,0}。这个·基本类型·属于非正整数是整数.

3.3.14.1词汇表示

非正整数具有由以下内容组成的词汇表示可选的前标志后面是有限长的十进制数字序列（x30-x39）。符号可以是“+”，也可以省略表示零的词汇形式；在所有其他词汇形式中，否定词符号（“-”）必须存在。例如：-1，0，-12678967543233，-100000。

3.3.14.2标准表示

的规范表示非正整数已定义通过禁止来自词汇表示（§3.3.14.1）.在零的规范形式中，符号必须是略。禁止使用前导零。

3.3.14.3约束面

非正整数有下列的 ·约束镶嵌面·:

3.3.14.4派生数据类型

以下内容 ·内置的·数据类型是·派生的·从非正整数:

负整数

3.3.15负极集成器

[定义：] 负整数是·派生的·从非正整数通过设置·最大非独占·为-1。这将导致负整数的标准数学概念。这个·价值空间·属于负整数是无限集{…，-2，-1}。这个·基本类型·属于负整数是非正整数.

3.3.15.1词汇表示

负整数具有由以下内容组成的词汇表示负号（“-”）后跟有限长十进制数字序列（#x30-#x39）。例如：-1，-12678967543233，-100000。

3.3.15.2规范表示

的规范表示负整数已定义通过禁止来自词汇表示（§3.3.15.1）。特别是，禁止使用前导零。

3.3.15.3约束面

负整数有下列的 ·约束镶嵌面·:

3.3.16长

[定义：] 长的是·派生的·从整数通过设置的值·最大非独占·电话：9223372036854775807和·最小非独占·将为-9223372036854775808。这个·基本类型·属于长的是整数.

3.3.16.1词汇表示

长的具有包含以下内容的词汇表示可选符号后跟有限长十进制数字序列（#x30-#x39）。如果省略符号，则假定为“+”。例如：-1，0，12678967543233, +100000.

3.3.16.2规范表示

的规范表示长的已定义通过禁止来自词汇表示（§3.3.16.1）具体来说禁止使用可选的“+”符号，禁止使用前导零。

3.3.16.3约束面

长的有下列的 ·约束镶嵌面·:

3.3.16.4派生数据类型

以下内容 ·内置的·数据类型是·派生的·从长的:

整数

3.3.17整数

[定义：] 整数是·派生的·从长的通过设置的值·最大非独占·2147483647和·最小非独占·为-2147483648。这个·基本类型·属于整数是长的.

3.3.17.1词汇表示

整数具有包含以下内容的词汇表示可选符号后跟有限长十进制数字序列（#x30-#x39）。如果省略符号，则假定为“+”。例如：-1，0，126789675, +100000.

3.3.17.2标准表示

的规范表示整数已定义通过禁止来自词汇表示（§3.3.17.1）具体来说禁止使用可选的“+”符号，禁止使用前导零。

3.3.17.3约束镶嵌面

整数有下列的 ·约束镶嵌面·:

3.3.17.4派生数据类型

以下内容 ·内置的·数据类型是·派生的·从整数:

短的

3.3.18短

[定义：] 短的是·派生的·从整数通过设置的值·最大非独占·32767和·最小非独占·为-32768。这个·基本类型·属于短的是整数.

3.3.18.1词汇表示

短的具有包含以下内容的词汇表示可选符号后跟有限长的十进制序列数字（#x30-#x39）。如果省略符号，则假定为“+”。例如：-1、0、12678、+10000。

3.3.18.2标准表示

的规范表示短的已定义通过禁止来自词汇表示（§3.3.18.1）具体来说禁止使用可选的“+”符号，禁止使用前导零。

3.3.18.3约束面

短的有下列的 ·约束镶嵌面·:

3.3.18.4派生数据类型

以下内容 ·内置的·数据类型是·派生的·从短的:

字节

3.3.19字节

[定义：] 字节是·派生的·从短的通过设置·最大非独占·达到127和·最小非独占·为-128。这个·基本类型·属于字节是短的.

3.3.19.1词汇表示

字节具有包含以下内容的词汇表示可选符号后跟有限长十进制数字序列（#x30-#x39）。如果省略符号，则假定为“+”。例如：-1，0，126, +100.

3.3.19.2标准表示

的规范表示字节已定义通过禁止来自词汇表示（§3.3.19.1）具体来说禁止使用可选的“+”符号，禁止使用前导零。

3.3.19.3约束面

字节有下列的 ·约束镶嵌面·:

3.3.20非负整数

[定义：] 非负整数是·派生的·从整数通过设置·最小非独占·为0。这将导致非负整数的标准数学概念。这个·价值空间·属于非负整数是无限集{0,1,2，…}。这个·基本类型·属于非负整数是整数.

3.3.20.1词汇表示

非负整数具有由以下内容组成的词汇表示后跟有限长的可选符号十进制数字序列（#x30-#x39）。如果省略符号，假定为正号（“+”）。如果符号存在，除了词汇形式外，它必须是“+”表示零，前面可以是正号（“+”）或负号（“-”）。例如：1, 0, 12678967543233, +100000.

3.3.20.2规范表示

的规范表示非负整数已定义通过禁止来自词汇表示（§3.3.20.1）具体来说禁止使用可选的“+”符号，禁止使用前导零。

3.3.20.3约束面

非负整数有下列的 ·约束镶嵌面·:

3.3.20.4派生数据类型

以下内容 ·内置的·数据类型是·派生的·从非负整数:

3.3.21 unsignedLong

[定义：] unsignedLong（无符号长）是·派生的·从非负整数通过设置·最大非独占·电话：18446744073709551615。这个·基本类型·属于unsignedLong（无符号长）是非负整数.

3.3.21.1词汇表示

unsignedLong（无符号长）具有包含以下内容的词汇表示有限长的十进制数字序列（x30-x39）。例如：0，12678967543233, 100000.

3.3.21.2规范表示

的规范表示unsignedLong（无符号长）已定义通过禁止来自词汇表示（§3.3.21.1）具体来说，禁止使用前导零。

3.3.21.3约束面

unsignedLong（无符号长）有下列的 ·约束镶嵌面·:

3.3.21.4派生数据类型

以下内容 ·内置的·数据类型是·派生的·从unsignedLong（无符号长）:

未签名Int

3.3.22无符号Int

[定义：] 未签名Int是·派生的·从unsignedLong（无符号长）通过设置·最大非独占·为4294967295。这个·基本类型·属于未签名Int是unsignedLong（无符号长）.

3.3.22.1词汇表示

未签名Int具有包含以下内容的词汇表示有限长度的十进制数字序列（#x30-#x39）。例如：0，1267896754, 100000.

3.3.22.2规范表示

的规范表示未签名Int已定义通过禁止来自词汇表示（§3.3.22.1）具体来说，禁止使用前导零。

3.3.22.3约束面

未签名Int有下列的 ·约束镶嵌面·:

3.3.22.4派生数据类型

以下内容 ·内置的·数据类型是·派生的·从未签名Int:

无符号短

3.3.23无符号短

[定义：] 无符号短是·派生的·从未签名Int通过设置·最大非独占·为65535。这个·基本类型·属于无符号短是未签名Int.

3.3.23.1词汇表示

无符号短具有包含以下内容的词汇表示有限长度的十进制数字序列（#x30-#x39）。例如：0，12678, 10000.

3.3.23.2规范表示

的规范表示无符号短已定义通过禁止来自词汇表示（§3.3.23.1）具体来说禁止使用前导零。

3.3.23.3约束面

无符号短有下列的 ·约束镶嵌面·:

3.3.23.4派生数据类型

以下内容 ·内置的·数据类型是·派生的·从无符号短:

无符号字节

3.3.25正整数

[定义：] 正整数是·派生的·从非负整数通过设置·最小非独占·为1。这将导致标准正整数的数学概念。这个·价值空间·属于正整数是无限集{1,2，…}。这个·基本类型·属于正整数是非负整数.

3.3.25.1词汇表示

正整数具有包含以下内容的词汇表示可选正号（“+”）后跟有限长十进制数字序列（#x30-#x39）。例如：112678967543233，+100000。

3.3.25.2规范表示

的规范表示正整数已定义通过禁止来自词汇表示（§3.3.25.1）具体来说禁止使用可选的“+”符号，禁止使用前导零。

3.3.25.3约束面

正整数有下列的 ·约束镶嵌面·:

4数据类型组件

以下部分提供了有关属性和数据类型中涉及的每种模式组件的重要性定义。对于每个属性，允许的值类型为明确规定。任何未标识为可选的属性都需要出席；不存在的可选属性有缺席的作为他们的价值。标识为具有集合、子集或·列表·除非明确排除，否则值可能为空：这是不同于缺席的.标识为某个集合的超集或子集的任何属性值都可能等于该集合，除非显式地存在适当的超集或子集要求。

有关数据类型（模式）组件概念的更多信息，看见架构组件详细信息属于[XML模式第1部分：结构].

4.1简单类型定义

        4.1.1 简单类型定义模式组件
        4.1.2简单类型定义模式组件的XML表示
        4.1.3简单类型定义的XML表示约束
        4.1.4简单类型定义验证规则
        4.1.5简单类型定义模式组件的约束
        4.1.6anySimpleType的简单类型定义

简单类型定义提供了：

建立·价值空间·和·词法空间·数据类型的，通过组合的一组·约束方面·已指定s在定义中；
附加唯一名称（实际上是限定名)到·价值空间·和·词法空间·.

4.1.1简单类型定义模式组件

简单类型定义架构组件具有以下属性：

架构组件: 简单类型定义

{名称}

可选。NCName定义如下[XML中的命名空间].

{目标命名空间}

要么缺席的或a命名空间名称，如中所定义[XML中的命名空间].

{品种}

其中之一{原子的,列表,联盟}. 取决于的值{品种}，其他属性定义如下：

原子的

{基元类型定义}: A类·内置的· ·原始的·数据类型定义）。

列表

{项目类型定义}: 安·原子的·或·联盟·简单类型定义。

联盟

{成员类型定义}: 简单类型定义的非空序列。

{刻面}

一组可能为空的小面（§2.4）.

{基本面}

一套基本面（§2.4.1）

{基类型定义}

如果数据类型已经·派生的·通过·限制·然后简单类型定义成分它来自哪个·派生的·，否则这个任意SimpleType的简单类型定义（§4.1.6）.

{最终}

的子集{限制，列表，联合}.

{注释}

可选。安注释.

数据类型由其{名称}和{目标命名空间}.除对于匿名数据类型（没有{名称}),数据类型定义·必须·被唯一识别在模式中。

如果{品种}是·原子的·然后·价值空间·定义的数据类型将是·价值空间·属于{基类型定义}（它是·价值空间·属于{基元类型定义}).如果{品种}是·列表·然后·价值空间·定义的数据类型将是来自·价值空间·属于{项目类型定义}.如果{品种}是·联盟·然后·价值空间·定义的数据类型的工会·价值空间·中每个数据类型的{成员类型定义}.

如果{品种}是·原子的·然后{品种}属于{基类型定义}必须是·原子的·.如果{品种}是·列表·然后{品种}属于{项目类型定义}必须是其中之一·原子的·或·联盟·.如果{品种}是·联盟·然后{成员类型定义}必须是数据类型定义列表。

的价值{刻面}由一组·方面·直接在数据类型定义中指定与可能为空的{刻面}属于{基类型定义}.

的价值{基本面}由一组·基本面·s及其值。

如果{最终}是空集，则可以使用类型在派生其他类型时；显式值限制,列表和联盟防止进一步衍生通过·限制·,·列表·和·联盟·分别是。

4.1.2简单类型定义模式组件的XML表示

的XML表示简单类型定义模式组件是一个<simpleType>元素信息项。这个信息项属性与组件的属性如下：

XML表示摘要: simpleType（简单类型）要素信息项

<简单类型
最终=(#全部|的列表(列表|联盟|限制))
标识=身份证件
名称=NC名称
{具有非模式命名空间的任何属性…}>
内容：(注释?, (限制|列表|联盟))
</simpleType>

数据类型定义架构组件

财产	代表
{名称}	这个实际值的`名称` [属性]，如果存在，否则无效的
{最终}	对应于实际值的`最终的` [属性]，如果存在，否则这个实际值的`最终默认值` [属性]祖先的模式元素信息项（如果存在），否则为空字符串，如下所示：空字符串空集； `#全部` {限制，列表，联合}; 否则包含从上述集合中抽取的成员的集合，每个成员都存在或不存在，具体取决于字符串是否包含等效名称的空格分隔的子字符串。注：虽然`最终默认值` [属性]属于模式可能包括值，而不是限制,列表或联盟，这些值在确定{最终}
{目标命名空间}	这个实际值的`目标命名空间` [属性]家长的`模式`元素信息项。
{注释}	对应于<注释>中的元素信息项[儿童]，如果存在，否则无效的

A类·派生的·数据类型可以是·派生的·来自·原始的·数据类型或其他·派生的·通过以下三种方式之一表示数据类型：通过限制，由列表或通过联盟.

4.1.2.1限制衍生

XML表示摘要: 限制要素信息项

<限制
底座=限定名
标识=身份证件
{具有非模式命名空间的任何属性…}>
内容：(注释?, (simpleType（简单类型）?, (minExclusive（最小独占）|最小非独占|maxExclusive（最大独占）|最大非独占|totalDigits（总位数）|分数位数|长度|最小长度|最大长度|枚举|空格符|图案)*))
</限制>

简单类型定义架构组件

财产	代表
{品种}	这个实际值属于{品种}属于{基类型定义}
{刻面}	集合的并集小面（§2.4）组件由方面决定[儿童]与合并{刻面}从{基类型定义}，受方面限制有效中指定的约束小面（§2.4）.
{基类型定义}	这个简单类型定义组件解析为实际值的`基础` [属性]或<simpleType> [儿童],以存在者为准。

例子

电子商务模式可以定义一个名为Sku公司（产品上显示的条形码编号）·内置的·数据类型一串通过为提供值·图案·方面。

<simpleType name='Sku'><限制基=“字符串”><模式值='\d{3}-[A-Z]{2}'/></限制></simpleType>

在这种情况下，Sku公司是新的名称·用户衍生的·数据类型，一串是它的·基本类型·和·图案·是方面。

4.1.2.2列表推导

XML表示摘要: 列表要素信息项

<列表
标识=身份证件
itemType（项目类型）=限定名
{具有非模式命名空间的任何属性…}>
内容：(注释?,simpleType（简单类型）?)
</list>

简单类型定义架构组件

财产	代表
{品种}	列表
{项目类型定义}	这个简单类型定义组件解析为实际值的`itemType（项目类型）` [属性]或<simpleType> [儿童],以存在者为准。

A类·列表·数据类型必须为·派生的·来自·原子的·或a·联盟·数据类型，被称为·itemType（项目类型）·的·列表·数据类型。这将生成一个数据类型，该数据类型·价值空间·由以下部分组成来自·价值空间·的·itemType（项目类型）·和谁的·词法空间·是由空格分隔的文字列表组成·itemType（项目类型）·.

例子

系统可能希望存储浮点值的列表。

<simpleType name='listOfFloat'><list itemType='float'/></simpleType>

在这种情况下，浮动列表是新的名称·用户衍生的·数据类型，浮动是它的吗·itemType（项目类型）·和·列表·是推导法。

如中所述列出数据类型（§2.5.1.2）,当数据类型为·派生的·来自·列表·数据类型，如下·约束方面·s可以用于：

无论·约束方面·适用的到·原子的·用作·itemType（项目类型）·的·列表·.

对于每个·长度·,·最大长度·和·最小长度·，的长度单位以列表项的数量衡量。的价值·空格符·固定为该值崩溃.

4.1.2.3联合推导

XML表示摘要: 联盟要素信息项

<联合
标识=身份证件
memberTypes=列表限定名
{具有非模式命名空间的任何属性…}>
内容：(注释?,simpleType（简单类型）*)
</联合>

简单类型定义架构组件

财产	代表
{品种}	联盟
{成员类型定义}	的顺序简单类型定义组件解析为中的项目实际值的`成员类型` [属性]如果有，按顺序，然后是简单类型定义组件解析为<simpleType> [儿童]（如有）。如果{品种}是联盟对于任何简单类型定义组件解析为上述值，然后这个简单类型定义被替换为其{成员类型定义}.

A类·联盟·数据类型可以是·派生的·来自一个或多个·原子的·,·列表·或其他·联盟·数据类型，称为·成员类型·的·联盟·数据类型。

例子

例如，以典型的面向显示的文本标记语言为例，人们可能希望将字体大小表示为8到72之间的整数，或者使用标记“小”、“中”或“大”之一。这个·联盟·下面的类型定义可以实现这一点。

<xsd:attribute name=“size”><xsd:simpleType><xsd:union（联合）><xsd:simpleType><xsd:restriction base=“xsd:positiveInteger”><xsd:minInclusive value=“8”/><xsd:maxInclusive value=“72”/></xsd:restriction></xsd:simpleType><xsd:simpleType><xsd:restriction base=“xsd:NMTOKEN”><xsd:enumeration value=“small”/><xsd:enumeration value=“medium”/><xsd:enumeration value=“large”/></xsd:restriction></xsd:simpleType></xsd:union></xsd:simpleType></xsd:attribute>

<p>标题</p><p>这是一个测试</p>

如中所述联合数据类型（§2.5.1.3）,当数据类型为·派生的·来自·联盟·数据类型，只有以下内容·约束方面·s可以用于：

无论·约束方面·是的适用于参与·联盟·

4.1.3简单类型定义的XML表示约束

多种模式（§4.3.4.3）和多次列举（§4.3.5.3）)任何给定的·约束方面·只能在中指定一次单个推导步骤。

模式表示约束：itemType属性或simpleType子级

要么是itemType（项目类型） [属性]或<simpleType> [孩子]的<列表>要素必须存在，但不能同时存在。

模式表示约束：基本属性或simpleType子级

要么是基础 [属性]或simpleType（简单类型） [孩子]的<限制>元素必须存在，但不能同时存在。

模式表示约束：memberTypes属性或simpleType子级

要么是成员类型 [属性]的<联合>元素必须为非空或必须至少有一个simpleType（简单类型） [孩子].

4.1.4简单类型定义验证规则

·价值空间·是facet-valid with尊重·约束方面·组件，如果：

1该值对于特定的·约束方面·如下所述。

验证规则：数据类型有效

在以下情况下，字符串相对于数据类型定义而言是数据类型有效的：

1它 ·比赛·是中的文字·词法空间·数据类型，确定如下：

1.1如果·图案·是的成员{刻面},那么字符串必须是模式有效（§4.3.4.4）;

1.2如果·图案·不是的成员{刻面},然后

1.2.1 如果{品种}是·原子的·然后字符串必须·比赛·中的文字·词法空间·属于{基类型定义}

1.2.2 如果{品种}是·列表·那么字符串必须是一系列空间分隔的标记，每个标记·比赛·是中的文字·词法空间·属于{项目类型定义}

1.2.3 如果{品种}是·联盟·然后字符串必须·比赛·中的文字·词法空间·的至少一个成员{成员类型定义}

2文字表示的值·比赛·上一步中的ed是的成员·价值空间·数据类型的通过它的存在有效面（§4.1.4）关于{刻面}（除对于·图案·).

4.1.5对简单类型定义模式组件的约束

·约束方面·允许的成为的成员{刻面}依赖于{基类型定义}如下表所示：

{基类型定义}	可应用的{刻面}
如果{品种}是列表,然后
[所有数据类型]	长度,最小长度,最大长度,图案,枚举,空格符
如果{品种}是联盟，然后
[所有数据类型]	图案,枚举
否则，如果{品种}是原子的，然后
一串	长度,最小长度,最大长度,图案,枚举,空格符
布尔值	图案,空格符
浮动	图案,枚举,空格符,最大非独占,maxExclusive（最大独占）,最小非独占,minExclusive（最小独占）
双重的	图案,枚举,空格符,最大非独占,maxExclusive（最大独占）,最小非独占,minExclusive（最小独占）
十进制的	totalDigits（总位数）,分数位数,图案,空格符,枚举,最大非独占,maxExclusive（最大独占）,最小非独占,minExclusive（最小独占）
期间	图案,枚举,空格符,最大非独占,maxExclusive（最大独占）,最小非独占,minExclusive（最小独占）
dateTime（日期时间）	图案,枚举,空格符,最大非独占,maxExclusive（最大独占）,最小非独占,minExclusive（最小独占）
时间	图案,枚举,空格符,最大非独占,maxExclusive（最大独占）,最小非独占,minExclusive（最小独占）
日期	图案,枚举,空格符,最大非独占,maxExclusive（最大独占）,最小非独占,minExclusive（最小独占）
g年-月	图案,枚举,空格符,最大非独占,maxExclusive（最大独占）,最小非独占,minExclusive（最小独占）
g年份	图案,枚举,空格符,最大非独占,maxExclusive（最大独占）,最小非独占,minExclusive（最小独占）
g月日	图案,枚举,空格符,最大非独占,maxExclusive（最大独占）,最小非独占,minExclusive（最小独占）
g天	图案,枚举,空格符,最大非独占,maxExclusive（最大独占）,最小非独占,minExclusive（最小独占）
g月份	图案,枚举,空格符,最大非独占,maxExclusive（最大独占）,最小非独占,minExclusive（最小独占）
十六进制二进制	长度,最小长度,最大长度,图案,枚举,空格符
base64二进制	长度,最小长度,最大长度,图案,枚举,空格符
任意URI	长度,最小长度,最大长度,图案,枚举,空格符
限定名	长度,最小长度,最大长度,图案,枚举,空格符
符号	长度,最小长度,最大长度,图案,枚举,空格符

模式组件约束：原子列表

如果 {品种}是·列表·，然后这个{品种}属于{项目类型定义} ·必须·是·原子的·或·联盟·.

架构组件约束：无循环联合

如果 {品种}是·联盟·,然后它是一个·错误·如果{名称}和{目标命名空间} ·比赛· {名称}和{目标命名空间}的任何成员{成员类型定义}.

4.1.6 anySimpleType的简单类型定义

有一个简单的类型定义几乎等同于简单版本的 ur类型定义目前根据定义在每个模式中。它具有以下属性：

架构组件: 任意简单类型

{名称}: 任意简单类型
{目标命名空间}: http://www.w3.org/2001/XMLSchema（http://www.w3.org/2001/XMLSchema）
{基类型定义}: ur-type定义
{最终}: 空的集合
{品种}: 缺席的

4.2基本面

平等的
        4.2.2命令
        4.2.3有界的
        4.2.4基数
        4.2.5数字

4.2.1等同

每 ·价值空间·支持平等的概念，遵循以下规则：

对于任何一和b在里面这个·价值空间·,任何一个一等于b,表示a=b，或一不等于b，表示a！=b
没有配对一和b来自·价值空间·这样两者都可以a=b和a！=b
为所有人一在中·价值空间·,a=a
对于任何一和b在中·价值空间·,a=b当且仅当b=a
对于任何一,b和c在中·价值空间·,如果a=b和b=c，然后a=c
对于任何一和b在中·价值空间·如果a=b，然后一和b无法区分（即平等就是身份）
这个·价值空间·所有的·原始的·数据类型是不相交的（它们不是共享任何值）

在每个数据类型上，操作Equal都是根据等式定义的的属性·价值空间·：对于任何值a、 b从中提取·价值空间·,等于（a，b）是如果为truea=b，否则为false。

注意，由于上述原因：

鉴于·价值空间· A类和·价值空间· B类哪里A类和B类不相交，每对值一从A类和b从B类,a！=b
两个值，它们是·价值空间·相同的·原始的·数据类型可能总是相互比较
如果是数据类型T型是·派生的·通过·联盟·从·成员类型· A、 B。。。然后·价值空间·属于T型是的联合·价值空间·第个，共个·成员类型· A、 B。。。.中的一些值·价值空间·属于T型也是中的值·价值空间·属于A类.中的其他值·价值空间·属于T型将是中的值·价值空间·属于B类等等。中的值·价值空间·属于T型它们也在·价值空间·属于A类可以与中的其他值进行比较·价值空间·属于A类根据遵守上述规则。类似地，对于类型为的值T型和B类还有其他的·成员类型·.
如果是数据类型T’是·派生的·通过·限制·从原子数据类型T型然后·价值空间·属于T’是的子集·价值空间·属于T型.中的值·价值空间·第s个，共s个T型和T’可以进行比较根据上述规则
if数据类型T’和T“是·派生的·通过·限制·来自公共原子祖先T型然后·价值空间·第s个，共s个T’和T“可能会重叠。中的值·价值空间·秒属于T’和T“可以是根据上述规则进行比较

注：没有与对应的架构组件平等的 ·基本面·.

4.2.2订购

[定义：]安订单关系在上·价值空间·是一种数学关系，它将·总订单·或a·部分订单·上的成员·价值空间·.

[定义：]A类·价值空间·，因此数据类型称为命令如果存在·顺序关系·为此定义·价值空间·.

[定义：]A类部分订单是一个·顺序关系·那就是不灵活的,不对称和可传递的.

A类·部分订单·具有以下属性：

因为没有一在中·价值空间·,a<a（无灵活性）
为所有人一和b在中·价值空间·,a<b暗示不是(b<a)（不对称）
为所有人一,b和c在中·价值空间·,a<b和b<c暗示a<c（及物性）

符号a<>b用于指示case时间a！=b两者都没有a<b也不是b<a.对于任何值一和b来自不同的·原始的· ·价值空间·第页，a<>b.

[定义：]什么时候？a<>b,一和b是无与伦比的,[定义：]否则他们就是可比的.

[定义：]A类总订单是一个·部分订单·这样就不会一和b是这样吗a<>b.

A类·总订单·已指定所有属性上面的·部分订单·，加以下属性：

为所有人一和b在中·价值空间·,任何一个a<b或b<a或a=b

注：本规范没有定义·顺序关系·对于某些数据类型不意味着其他应用程序无法将该数据类型视为通过强加自己的秩序关系而被秩序化。

·命令·规定：

指示是否·顺序关系·是在上定义·价值空间·，如果是，是否如此·顺序关系·是一·部分订单·或a·总订单·

4.2.2.1有序模式组件

架构组件: 命令

{值}: 什么之中的一个{false、partial、total}.

{值}取决于{品种},{刻面}和{成员类型定义}在中简单类型定义组件，其中·命令·组件显示为的成员{基本面}.

什么时候？{品种}是·原子的·,{值}继承自{值}属于{基类型定义}.对于所有人·原始的·类型{值}如表中所示基本面（§C.1）.

什么时候？{品种}是·列表·,{值}是假.

什么时候？{品种}是·联盟·,{值}是部分除非其中一个以下内容：

如果{成员类型定义}派生自除了简单ur-type之外的共同祖先，那么{值}和那个祖先的一样命令方面
如果{成员类型定义}有一个{值}属于假对于命令那么，刻面{值}是假

4.2.3有界

[定义：]A值u个在中·命令· ·价值空间· U型据说是一个包含上限的·价值空间· V（V）（其中V（V）是的子集U型)如果是所有人v（v）在里面V（V）,u个>=v（v）.

[定义：]A值u个在中·命令· ·价值空间· U型据说是一个排他上限的·价值空间· V（V）（其中V（V）是的子集U型)如果是所有人v（v）在里面V（V）,u个>v（v）.

[定义：]A值我在中·命令· ·价值空间· L（左）据说是一个包含下限的·价值空间· V（V）（其中V（V）是的子集L（左）)如果是所有人v（v）在里面V（V）,我<=v（v）.

[定义：]A值我在中·命令· ·价值空间· L（左）据说是一个排他下限的·价值空间· V（V）（其中V（V）是的子集L（左）)如果是所有人v（v）在里面V（V）,我<v（v）.

[定义：]数据类型为有界的如果是·价值空间·有一个·包含上限·或者·排他上限·和一个·包含下限·或一个·排他下限·.

·有界的·规定：

指示是否·价值空间·是·有界的·

4.2.3.1有界模式组件

架构组件: 有界的

{值}: A类布尔值.

{值}取决于{品种},{刻面}和{成员类型定义}在中简单类型定义组件，其中·有界的·组件显示为的成员{基本面}.

什么时候？{品种}是·原子的·,如果其中一个·最小非独占·或·minExclusive（最小独占）·和其中一个·最大非独占·或·maxExclusive（最大独占）·是其中之一{刻面}，然后{值}是真实的; 其他的{值}是假.

什么时候？{品种}是·列表·,如果·长度·或两者兼而有之·最小长度·和·最大长度·是其中之一{刻面}，然后{值}是真实的; 其他的{值}是假.

什么时候？{品种}是·联盟·,如果{值}是真实的对于的每个成员{成员类型定义}以及的所有成员{成员类型定义}分享一个共同点祖先，那么{值}是真实的;其他的{值}是假.

4.2.4基数

[定义：]每·价值空间·与之相关联的概念是基数.一些·价值空间·秒是有限的，一些是可数无限的，而另一些则可以可以想象是无限的（尽管没有·价值空间·本规范定义为不可数无限）。数据类型为据说具有其基数·价值空间·.

它有时对分类很有用·价值空间·秒（以及数据类型）的基数。有两个重大案例：

·价值空间·是有限的
·价值空间·s是可数无限的

·基数·规定：

指示是否·基数·的·价值空间·是有限的，有限的或可数无限

4.2.4.1基数模式组件

架构组件: 基数

{值}: 什么之中的一个{有限，可数无限}.

{值}取决于{品种},{刻面}和{成员类型定义}在中简单类型定义组件，其中·基数·组件显示为的成员{基本面}.

什么时候？{品种}是·原子的·和{值}属于{基类型定义}是有限的，有限的，然后{值}是有限的，有限的.

什么时候？{品种}是·原子的·和{值}属于{基类型定义}是可数无限和任何一个以下各项条件为真，那么{值}是有限的，有限的; 其他的{值}是可数无限:

什么之中的一个·长度·,·最大长度·,·totalDigits（总位数）·是其中之一{刻面},
全部的以下是正确的：
1. 什么之中的一个·最小非独占·或·minExclusive（最小独占）·是其中之一{刻面}
2. 什么之中的一个·最大非独占·或·maxExclusive（最大独占）·是其中之一{刻面}
3. 任何一个以下是正确的：
  1. ·分数位数·是其中之一{刻面}
  2. {基类型定义}是其中之一日期,g年-月,g年份,g月日,g天或g月份或任何类型·派生的·从他们那里

什么时候？{品种}是·列表·,如果·长度·或两者兼而有之·最小长度·和·最大长度·是其中之一{刻面}，然后{值}是有限的，有限的; 其他的{值}是可数无限.

什么时候？{品种}是·联盟·,如果{值}是有限的，有限的对于的每个成员{成员类型定义}，然后{值}是有限的，有限的;其他的{值}是可数无限.

4.2.5数字

[定义：]数据类型称为数字如果它的值是概念上的量（在某些数学数字系统）。

[定义：]其值为的数据类型不是·数字·据说是非数字.

·数字·规定：

指示是否·价值空间·是·数字·

4.2.5.1数字模式组件

架构组件: 数字

{值}: A类布尔值

{值}取决于{品种},{刻面},{基类型定义}和{成员类型定义}在中简单类型定义成分其中·基数·组件显示为的成员{基本面}.

什么时候？{品种}是·原子的·,{值}继承自{值}属于{基类型定义}.对于所有人·原始的·类型{值}如表中所示基本面（§C.1）.

什么时候？{品种}是·列表·,{值}是假.

什么时候？{品种}是·联盟·,如果{值}是真实的对于的每个成员{成员类型定义}，然后{值}是真实的;其他的{值}是假.

4.3约束面

长度
        4.3.2最小长度
        4.3.3最大长度
        4.3.4图案
        4.3.5枚举
        4.3.6空格符
        4.3.7最大非独占
        4.3.8maxExclusive（最大独占）
        4.3.9minExclusive（最小独占）
        4.3.10最小非独占
        4.3.11totalDigits（总位数）
        4.3.12分数位数

4.3.1长度

[定义：] 长度是数字属于长度单位，其中长度单位取决于正在使用的类型·派生的·来自。的价值长度 ·必须·成为非负整数.

对于一串和数据类型·派生的·从一串,长度单位为性格s定义见[XML 1.0（第二版）].对于任意URI,长度单位为字符（与一串).对于十六进制二进制和base64二进制和数据类型·派生的·从他们那里，长度以二进制数据的八位字节（8位）进行测量。对于数据类型·派生的·通过·列表·,长度以列表项的数量衡量。

注：对于一串和数据类型·派生的·从一串,长度并不总是与“字符串长度”一致由一些用户或用一些数字表示的存储单元的数量。因此，在指定长度并尝试从给定的值推断存储需求长度.

·长度·规定：

约束·价值空间·到具有特定数量的值长度单位,哪里长度单位取决于{基类型定义}.

例子

以下是·用户衍生的·表示产品代码的数据类型，必须长度正好为8个字符。通过固定长度方面，我们确保从productCode派生的类型可以更改或设置其他方面的值，例如图案，但是无法更改长度。

<simpleType name='productCode'><限制基=“字符串”><长度值='8'固定='true'/></限制></simpleType>

4.3.1.1长度模式组件

架构组件: 长度

{值}: A类非负整数.
{固定}: A类布尔值.
{注释}: 可选。安注释.

如果{固定}是真实的，然后为其键入当前类型是{基类型定义}无法指定的值长度除{值}.

4.3.1.2长度模式组件的XML表示

的XML表示长度模式组件是一个<长度>元素信息项。这个信息项属性与组件的属性如下：

XML表示摘要: 长度要素信息项

<长度
固定的，固定的=布尔值：false（错误）
标识=身份证件
价值=非负整数
{具有非模式命名空间的任何属性…}>
内容：(注释?)
</长度>

长度架构组件

财产	代表
{值}	这个实际值的`价值` [属性]
{固定}	这个实际值的`固定的` [属性]，如果存在，否则为假
{注释}	与所有<注释>中的元素信息项[儿童]，如果有。

4.3.1.3长度验证规则

验证规则：长度有效

A中的值 ·价值空间·是facet-valid with尊重·长度·，确定如下：

1如果{品种}是·原子的·然后

1.1如果{基元类型定义}是一串或任意URI，然后是值的长度，以性格秒·必须·等于{值};

1.2如果{基元类型定义}是十六进制二进制或base64二进制，然后是值的长度，以二进制数据的八位字节为单位测量，·必须·等于{值};

1.3如果{基元类型定义}是限定名或符号，然后任何{值}是面有效的。

2如果{品种}是·列表·,然后是测量值的长度在列表项中，·必须·等于{值}

使用·长度·关于数据类型·派生的·从限定名和符号已弃用。此的未来版本规范可能会删除这些数据类型的这一方面。

4.3.1.4长度模式组件的约束

模式组件约束：length和minLength或maxLength

如果长度是的成员{刻面}然后

1这是一个错误最小长度成为{刻面}除非

1.1{值}属于最小长度<={值}属于长度和

1.2有一个类型定义，该定义由一个或多个限制步骤，其中最小长度有相同的{值}和长度未指定。

2这是一个错误最大长度成为{刻面}除非

2.1{值}属于长度<={值}属于最大长度和

2.2有一个类型定义，该定义由一个或多个限制步骤，其中最大长度有相同的{值}和长度未指定。

架构组件约束：长度有效限制

它是一个 ·错误·如果长度是的成员之一{刻面}属于{基类型定义}和{值}是不等于{值}家长的长度.

4.3.2最小长度

[定义：] 最小长度是最小数量长度单位，其中长度单位取决于正在使用的类型·派生的·来自。的价值最小长度 ·必须·成为非负整数.

对于一串和数据类型·派生的·从一串,最小长度单位为性格s定义见[XML 1.0（第二版）].对于十六进制二进制和base64二进制和数据类型·派生的·从他们那里，最小长度以二进制数据的八位字节（8位）进行测量。对于数据类型·派生的·通过·列表·,最小长度以列表项的数量衡量。

注：对于一串和数据类型·派生的·从一串,最小长度并不总是与“字符串长度”一致由一些用户或用一些数字表示的存储单元的数量。因此，在指定最小长度并尝试从给定的值推断存储需求最小长度.

·最小长度·规定：

约束·价值空间·到至少具有特定数量的值长度单位,哪里长度单位取决于{基类型定义}.

例子

以下是·用户衍生的·要求字符串至少有一个字符（即。，空字符串不在·价值空间·此数据类型的）。

<simpleType name='no-empty-string'><限制基=“字符串”><minLength值=“1”/></限制></simpleType>

4.3.2.1 minLength模式组件

架构组件: 最小长度

{值}: A类非负整数.
{固定}: A类布尔值.
{注释}: 可选。安注释.

如果{固定}是真实的，然后为其键入当前类型是{基类型定义}无法指定的值最小长度除{值}.

4.3.2.2 minLength模式组件的XML表示

的XML表示最小长度模式组件是一个<最小长度>元素信息项。这个信息项属性与组件的属性如下：

XML表示摘要: 最小长度要素信息项

<最小长度
固定的，固定的=布尔值：false（错误）
标识=身份证件
价值=非负整数
{具有非模式命名空间的任何属性…}>
内容：(注释?)
</minLength>

最小长度架构组件

财产	代表
{值}	这个实际值的`价值` [属性]
{固定}	这个实际值的`固定的` [属性]，如果存在，否则为假
{注释}	与所有<注释>中的元素信息项[儿童]，如果有。

4.3.2.3最小长度验证规则

验证规则：minLength Valid

A中的值 ·价值空间·是facet-valid with尊重·最小长度·，确定如下：

1如果{品种}是·原子的·然后

1.1如果{基元类型定义}是一串或任意URI，然后是值的长度，以性格秒·必须·大于或等于{值};

1.2如果{基元类型定义}是十六进制二进制或base64二进制，然后是值的长度，以二进制数据的八位字节为单位测量，·必须·大于或等于{值};

1.3如果{基元类型定义}是限定名或符号，然后任何{值}是面有效的。

2如果{品种}是·列表·,然后是测量值的长度在列表项中，·必须·大于或等于到{值}

使用·最小长度·关于数据类型·派生的·从限定名和符号已弃用。此的未来版本规范可能会删除这些数据类型的这一方面。

4.3.2.4对minLength模式组件的约束

架构组件约束：minLength<=maxLength

如果两者都有最小长度和最大长度是的成员{刻面}，然后是{值}属于最小长度 ·必须·小于或等于{值}属于最大长度.

架构组件约束：minLength有效限制

它是一个 ·错误·如果最小长度是的成员之一{刻面}属于{基类型定义}和{值}是小于{值}家长的最小长度.

4.3.3最大长度

[定义：] 最大长度是最大数量长度单位，其中长度单位变化取决于正在使用的类型·派生的·来自。的价值最大长度 ·必须·成为非负整数.

对于一串和数据类型·派生的·从一串,最大长度单位为性格s定义见[XML 1.0（第二版）].对于十六进制二进制和base64二进制和数据类型·派生的·从他们那里，最大长度以二进制数据的八位字节（8位）进行测量。对于数据类型·派生的·通过·列表·,最大长度以列表项的数量衡量。

注：对于一串和数据类型·派生的·从一串,最大长度并不总是与“字符串长度”一致由一些用户或用一些数字表示的存储单元的数量。因此，在指定最大长度并尝试从给定的值推断存储需求最大长度.

·最大长度·规定：

约束·价值空间·到最多具有特定数量的值长度单位,哪里长度单位取决于{基类型定义}.

例子

以下是·用户衍生的·可能用于接受具有上限的表单输入的数据类型可接受的字符数。

<simpleType name='form-input'><限制基=“字符串”><maxLength值='50'/></限制></simpleType>

4.3.3.1 maxLength模式组件

架构组件: 最大长度

{值}: A类非负整数.
{固定}: A类布尔值.
{注释}: 可选。安注释.

如果{固定}是真实的，然后为其键入当前类型是{基类型定义}无法指定的值最大长度除{值}.

4.3.3.2 maxLength模式组件的XML表示

的XML表示最大长度模式组件是一个<最大长度>元素信息项。这个信息项属性与组件的属性如下：

XML表示摘要: 最大长度要素信息项

<最大长度
固定的，固定的=布尔值：false（错误）
标识=身份证件
价值=非负整数
{具有非模式命名空间的任何属性…}>
内容：(注释?)
</maxLength>

最大长度架构组件

财产	代表
{值}	这个实际值的`价值` [属性]
{固定}	这个实际值的`固定的` [属性]，如果存在，否则为假
{注释}	与所有<注释>中的元素信息项[儿童]，如果有。

4.3.3.3 maxLength验证规则

验证规则：maxLength Valid

A中的值 ·价值空间·是facet-valid with尊重·最大长度·，确定如下：

1如果{品种}是·原子的·然后

1.1如果{基元类型定义}是一串或任意URI，然后是值的长度，以性格秒·必须·小于或等于{值};

1.2如果{基元类型定义}是十六进制二进制或base64二进制，然后是值的长度，以二进制数据的八位字节为单位测量，·必须·小于或等于{值};

1.3如果{基元类型定义}是限定名或符号，然后任何{值}是面有效的。

2如果{品种}是·列表·,然后是测量值的长度在列表项中，·必须·小于或等于{值}

使用·最大长度·关于数据类型·派生的·从限定名和符号已弃用。此的未来版本规范可能会删除这些数据类型的这一方面。

4.3.3.4 maxLength模式组件的约束

架构组件约束：maxLength有效限制

它是一个 ·错误·如果最大长度是的成员之一{刻面}属于{基类型定义}和{值}是大于{值}家长的最大长度.

4.3.4图案

[定义：] 图案是对·价值空间·数据类型的约束·词法空间·到文字与特定模式相匹配。的价值图案 ·必须·成为·正则表达式·.

·图案·规定：

约束·价值空间·到由匹配特定·正则表达式·.

例子

以下是·用户衍生的·数据类型，它是邮政编码在美国，通过将字符串限制为匹配的字符串特定的·正则表达式·.

<simpleType name='better-us-zipcode'><限制基=“字符串”><模式值=“[0-9]{5}（-[0-9]}）？”/></限制></simpleType>

4.3.4.1模式模式组件

架构组件: 图案

{值}: A类·正则表达式·.
{注释}: 可选。安注释.

4.3.4.2模式模式组件的XML表示

的XML表示图案模式组件是一个＜模式＞元素信息项。这个信息项属性与组件的属性如下：

XML表示摘要: 图案要素信息项

<图案
标识=身份证件
价值=一串
{具有非模式命名空间的任何属性…}>
内容：(注释?)
</pattern>

{值} ·必须·是有效的·正则表达式·.

图案架构组件

财产	代表
{值}	这个实际值的`价值` [属性]
{注释}	与所有<注释>中的元素信息项[儿童]，如果有。

4.3.4.3模式的XML表示约束

模式表示约束：多个模式

如果有多个＜模式＞元素信息项显示为[儿童]的<simpleType>，的[值]s应该将它们组合在一起，就像它们出现在一个单独的·正则表达式·作为单独的·分支·锿。

注：这是模式表示约束的结果多种模式（§4.3.4.3）以及的规则·限制·那个·图案·上指定的刻面相同的在类型中单步执行推导是或在一起，而·图案·指定的镶嵌面不同的类型派生的步骤是和我们在一起。

因此，强加两个·图案·同时受到约束，模式作者可以编写单个·图案·哪一个表示两者的交集·图案·他们愿意吗强加或定义每个·图案·关于一个单独的类型派生步骤。

4.3.4.4模式验证规则

验证规则：模式有效

中的文字 ·词法空间·是facet-valid with尊重·图案·如果：

1文字是由这个·正则表达式·在中指定{值}.

4.3.5枚举

[定义：] 枚举约束·价值空间·设置为指定的一组值。

枚举不会将订单关系强加给·价值空间·它创造；的值·命令·的属性·派生的·数据类型仍然是其来源的数据类型·派生的·.

·枚举·规定：

约束·价值空间·设置为指定的一组值。

例子

以下示例是·用户衍生的·限制值的数据类型所列举的三个美国假日的日期。此数据类型定义将出现在由“最终用户”编写的模式中，并且显示如何通过枚举数据类型中的值来定义数据类型·价值空间·。枚举值必须为的类型有效文本·基本类型·.

<simpleType name=“假日”><注释><文档>一些美国假日</documentation></注释><限制基数='gMonthDay'><枚举值='--01-01'><注释><文档>元旦</documentation></注释></枚举><枚举值=“--07-04”><注释><documentation>7月4日</documentation></注释></枚举><枚举值='--12-25'><注释><文档>圣诞节</documentation></注释></枚举></限制></simpleType>

4.3.5.1枚举模式组件

架构组件: 枚举

{值}: 中的一组值·价值空间·的{基类型定义}.
{注释}: 可选。安注释.

4.3.5.2枚举模式组件的XML表示

的XML表示枚举模式组件是一个<枚举>元素信息项。这个信息项属性与组件的属性如下：

XML表示摘要: 枚举要素信息项

<枚举
标识=身份证件
价值=任意简单类型
{具有非模式命名空间的任何属性…}>
内容：(注释?)
</枚举>

{值} ·必须·是在中·价值空间·属于{基类型定义}.

枚举架构组件

财产	代表
{值}	这个实际值的`价值` [属性]
{注释}	与所有<注释>中的元素信息项[儿童]，如果有。

4.3.5.3枚举的XML表示约束

模式表示约束：多重枚举

如果有多个 <枚举>出现元素信息项作为[儿童]的<simpleType>这个{值}的枚举组件应该是所有这些组件的集合[值]第条。

4.3.5.4枚举验证规则

验证规则：枚举有效

A中的值 ·价值空间·是facet-valid with尊重·枚举·如果该值是中指定的值之一{值}

4.3.5.5枚举模式组件的约束

架构组件约束：枚举有效限制

它是一个 ·错误·如果任何成员{值}不在中·价值空间·属于{基类型定义}.

4.3.6空白

[定义：] 空格符约束·价值空间·类型的·派生的·从一串这样的话各种行为在中指定属性值规范化在里面[XML 1.0（第二版）]实现。的价值空格符必须是{preserve、replace、collapse}之一。

保存: 未进行规范化，值未更改（这是行为要求[XML 1.0（第二版）]元素含量）
代替: #x9（tab）、#xA（换行）和#xD（回车）的所有出现替换为#x20（空格）
崩溃: 经过以下暗示的处理代替，连续将#x20的序列折叠为单个#x20，并且前导和删除尾部#x20。

注：此处（以及本规范其他地方）使用的符号#xA表示通用字符集（UCS）代码点十六进制A（换行），表示为U+000A。此符号与&#xA；,哪个是XML字符引用到同一UCS代码点。

空格符适用于所有·原子的·和·列表·数据类型。对于所有人·原子的·数据类型，而不是一串（和类型·派生的·通过·限制·从中）的价值空格符是崩溃并且不能由模式作者更改；对于一串的价值空格符是保存; 对于任何类型·派生的·通过·限制·从一串的价值空格符可以是三种法律价值中的任何一种。对于所有数据类型·派生的·通过·列表·这个的值空格符是崩溃而且不能由模式作者更改。对于所有数据类型·派生的·通过·联盟· 空格符不直接适用；然而规范化行为·联盟·类型由控制的价值空格符在其中一个·成员类型·与之相对的·联盟·已成功验证。

注：有关的详细信息空格符，请参阅关于中空白归一化的讨论架构组件详细信息在里面[XML模式第1部分：结构].

·空格符·规定：

约束·价值空间·根据空白规范化规则。

例子

以下示例是的数据类型定义这个代币 ·内置的· ·派生的·数据类型。

<simpleType name='token'><restriction base='normalizedString'><whiteSpace value='collapse'/></限制></simpleType>

4.3.6.1空白模式组件

架构组件: 空格符

{值}: 什么之中的一个{保留、替换、折叠}.
{固定}: A类布尔值.
{注释}: 可选。安注释.

如果{固定}是真实的，然后为其键入当前类型是{基类型定义}无法指定的值空格符除{值}.

4.3.6.2空白模式组件的XML表示

的XML表示空格符模式组件是一个<空白>元素信息项。这个信息项属性与组件的属性如下：

XML表示摘要: 空格符要素信息项

<空白
固定的，固定的=布尔值：false（错误）
标识=身份证件
价值= (崩溃|保存|代替)
{具有非模式命名空间的任何属性…}>
内容：(注释?)
</whiteSpace>

空格符架构组件

财产	代表
{值}	这个实际值的`价值` [属性]
{固定}	这个实际值的`固定的` [属性]，如果存在，否则为假
{注释}	与所有<注释>中的元素信息项[儿童]，如果有。

4.3.6.3空白验证规则

注：没有 ·验证规则·s关联·空格符·.有关更多信息，请参阅关于中空白归一化的讨论架构组件详细信息在里面[XML模式第1部分：结构].

4.3.6.4对空白模式组件的约束

架构组件约束：空白有效限制

它是一个 ·错误·如果空格符是的成员之一{刻面}属于{基类型定义}并且下列任何一种情况是正确：

1{值}是代替或保存和{值}家长的空格符是崩溃

2{值}是保存和{值}家长的空格符是代替

4.3.7最大包容性

[定义：] 最大非独占是·包含上限·的·价值空间·对于具有·命令·属性。的价值最大非独占 ·必须·是在中·价值空间·的·基本类型·.

·最大非独占·规定：

约束·价值空间·到个值具有特定的·包含上限·.

例子

以下是·用户衍生的·将值限制为小于或等于的整数的数据类型100，使用·最大非独占·.

<simpleType name='one-hundred-or-less'><限制基数=‘整数’><maxInclusive value='100'/></限制></simpleType>

4.3.7.1 maxInclusive模式组件

架构组件: 最大非独占

{值}: 来自·价值空间·的{基类型定义}.
{固定}: A类布尔值.
{注释}: 可选。安注释.

如果{固定}是真实的，然后为其键入当前类型是{基类型定义}无法指定的值最大非独占除{值}.

4.3.7.2 maxInclusive Schema组件的XML表示

的XML表示最大非独占模式组件是一个<最大包容性>元素信息项。这个信息项属性与组件的属性如下：

XML表示摘要: 最大非独占要素信息项

<最大非独占
固定的，固定的=布尔值：false（错误）
标识=身份证件
价值=任意简单类型
{具有非模式命名空间的任何属性…}>
内容：(注释?)
</maxInclusive>

{值} ·必须·是在中·价值空间·属于{基类型定义}.

最大非独占架构组件

财产	代表
{值}	这个实际值的`价值` [属性]
{固定}	这个实际值的`固定的` [属性]，如果存在，否则为假，如果存在，否则为假
{注释}	与所有<注释>中的元素信息项[儿童]，如果有。

4.3.7.3 maxInclusive验证规则

验证规则：maxInclusive Valid

中的值 ·命令· ·价值空间·在以下方面是面有效的·最大非独占·，确定为跟随：

1如果·数字·中的属性{基本面}是真实的，然后是值·必须·数值小于或等于{值};

2如果·数字·中的属性{基本面}是假（即。，{基类型定义}是与日期和时间相关的数据类型），然后是值·必须·按时间顺序小于或等于{值};

4.3.7.4对maxInclusive Schema组件的约束

架构组件约束：minInclusive<=maxInclusite

它是一个 ·错误·为指定的值·最小非独占·大于该值指定用于·最大非独占·对于相同的数据类型。

架构组件约束：maxInclusive有效限制

它是一个 ·错误·如果出现以下任何情况为真：

1最大非独占是的成员之一{刻面}属于{基类型定义}和{值}是大于{值}家长的最大非独占

2maxExclusive（最大独占）是的成员之一{刻面}属于{基类型定义}和{值}是大于或等于{值}家长的maxExclusive（最大独占）

三最小非独占是的成员之一{刻面}属于{基类型定义}和{值}是小于{值}家长的最小非独占

4minExclusive（最小独占）是的成员之一{刻面}属于{基类型定义}和{值}是小于或等于{值}家长的minExclusive（最小独占）

4.3.8最大独占

[定义：] maxExclusive（最大独占）是·排他上限·的·价值空间·对于具有·命令·属性。的价值maxExclusive（最大独占） ·必须·在·价值空间·的·基本类型·或等于{值}在里面{基类型定义}.

·maxExclusive（最大独占）·规定：

约束·价值空间·到个值具有特定的·排他上限·.

例子

以下是·用户衍生的·将值限制为小于或等于的整数的数据类型100，使用·maxExclusive（最大独占）·.

<simpleType name='less-than-one-fundred-and-one'><限制基数=‘整数’><maxExclusive value='101'/></限制></simpleType>

请注意·价值空间·此数据类型的与前一个（名为“百分之一或更少”）。

4.3.8.1 maxExclusive模式组件

架构组件: maxExclusive（最大独占）

{值}: 来自·价值空间·的{基类型定义}.
{固定}: A类布尔值.
{注释}: 可选。安注释.

如果{固定}是真实的，然后为其键入当前类型是{基类型定义}无法指定的值maxExclusive（最大独占）除{值}.

4.3.8.2 maxExclusive模式组件的XML表示

的XML表示 maxExclusive（最大独占）模式组件是一个<maxExclusive>元素信息项。这个信息项属性与组件的属性如下：

XML表示摘要: maxExclusive（最大独占）要素信息项

<最大独占
固定的，固定的=布尔值：false（错误）
标识=身份证件
价值=任意简单类型
{具有非模式命名空间的任何属性…}>
内容：(注释?)
</maxExclusive>

{值} ·必须·是在中·价值空间·属于{基类型定义}.

maxExclusive（最大独占）架构组件

财产	代表
{值}	这个实际值的`价值` [属性]
{固定}	这个实际值的`固定的` [属性]，如果存在，否则为假
{注释}	与所有<注释>中的元素信息项[儿童]，如果有。

4.3.8.3 maxExclusive验证规则

验证规则：maxExclusive Valid

中的值 ·命令· ·价值空间·在以下方面是面有效的·maxExclusive（最大独占）·，已确定如下：

1如果·数字·中的属性{基本面}是真实的，然后是价值·必须·数值小于{值};

2如果·数字·中的属性{基本面}是假（即。，{基类型定义}是与日期和时间相关的数据类型），然后是值·必须·按时间顺序小于{值};

4.3.8.4对maxExclusive模式组件的约束

模式组件约束：maxInclusive和maxExclusive

它是一个 ·错误·对于两者·最大非独占·和·maxExclusive（最大独占）·在数据类型定义的相同派生步骤中指定。

架构组件约束：minExclusive<=maxExclusive

它是一个 ·错误·为指定的值·minExclusive（最小独占）·大于该值指定用于·maxExclusive（最大独占）·对于相同的数据类型。

架构组件约束：maxExclusive有效限制

它是一个 ·错误·如果出现以下任何情况为真：

1maxExclusive（最大独占）是的成员之一{刻面}属于{基类型定义}和{值}是大于{值}家长的maxExclusive（最大独占）

2最大非独占是的成员之一{刻面}属于{基类型定义}和{值}是大于{值}家长的最大非独占

三最小非独占是的成员之一{刻面}属于{基类型定义}和{值}是小于或等于{值}家长的最小非独占

4minExclusive（最小独占）是的成员之一{刻面}属于{基类型定义}和{值}是小于或等于{值}家长的minExclusive（最小独占）

4.3.9最小独占

[定义：] minExclusive（最小独占）是·排他下限·的·价值空间·对于具有·命令·属性。的价值minExclusive（最小独占） ·必须·在·价值空间·的·基本类型·或等于{值}在里面{基类型定义}.

·minExclusive（最小独占）·规定：

约束·价值空间·到个值具有特定的·排他下限·.

例子

以下是·用户衍生的·将值限制为大于或等于的整数的数据类型100，使用·minExclusive（最小独占）·.

<simpleType name='more-than-ninety-9en'><限制基数=‘整数’><minExclusive值='99'/></限制></simpleType>

请注意·价值空间·此数据类型的与前一个（名为“百分之一或更多”）。

4.3.9.1 minExclusive架构组件

架构组件: minExclusive（最小独占）

{值}: 来自·价值空间·的{基类型定义}.
{固定}: A类布尔值.
{注释}: 可选。安注释.

如果{固定}是真实的，然后为其键入当前类型是{基类型定义}无法指定的值minExclusive（最小独占）除{值}.

4.3.9.2 minExclusive模式组件的XML表示

的XML表示 minExclusive（最小独占）模式组件是一个<最小独占>元素信息项。这个信息项属性与组件的属性如下：

XML表示摘要: minExclusive（最小独占）要素信息项

<最小独占
固定的，固定的=布尔值：false（错误）
标识=身份证件
价值=任意简单类型
{具有非模式命名空间的任何属性…}>
内容：(注释?)
</minExclusive>

{值} ·必须·是在中·价值空间·属于{基类型定义}.

minExclusive（最小独占）架构组件

财产	代表
{值}	这个实际值的`价值` [属性]
{固定}	这个实际值的`固定的` [属性]，如果存在，否则为假
{注释}	与所有<注释>中的元素信息项[儿童]，如果有。

4.3.9.3 minExclusive验证规则

验证规则：minExclusive Valid

中的值 ·命令· ·价值空间·在以下方面是面有效的·minExclusive（最小独占）·如果：

1如果·数字·中的属性{基本面}是真实的，然后是价值·必须·数值大于{值};

2如果·数字·中的属性{基本面}是假（即。，{基类型定义}是与日期和时间相关的数据类型），然后是值·必须·按时间顺序大于{值};

4.3.9.4对minExclusive模式组件的约束

架构组件约束：minInclusive和minExclusive

它是一个 ·错误·对于两者·最小非独占·和·minExclusive（最小独占）·为相同的数据类型指定。

架构组件约束：minExclusive<maxInclusive

它是一个 ·错误·为指定的值·minExclusive（最小独占）·大于或等于该值指定用于·最大非独占·对于相同的数据类型。

架构组件约束：minExclusive有效限制

它是一个 ·错误·如果出现以下任何情况为真：

1minExclusive（最小独占）是的成员之一{刻面}属于{基类型定义}和{值}是小于{值}家长的minExclusive（最小独占）

2最大非独占是的成员之一{刻面}属于{基类型定义}和{值}是越大{值}家长的最大非独占

三最小非独占是的成员之一{刻面}属于{基类型定义}和{值}是小于{值}家长的最小非独占

4maxExclusive（最大独占）是的成员之一{刻面}属于{基类型定义}和{值}是大于或等于{值}家长的maxExclusive（最大独占）

4.3.10最小包容性

[定义：] 最小非独占是·包含下限·的·价值空间·对于具有·命令·属性。的价值最小非独占 ·必须·在·价值空间·的·基本类型·.

·最小非独占·规定：

约束·价值空间·到个值具有特定的·包含下限·.

例子

以下是·用户衍生的·将值限制为大于或等于的整数的数据类型100，使用·最小非独占·.

<simpleType name='one-hundred-or-more'><限制基数=‘整数’><minInclusive value='100'/></限制></simpleType>

4.3.10.1 minInclusive模式组件

架构组件: 最小非独占

{值}: 来自·价值空间·的{基类型定义}.
{固定}: A类布尔值.
{注释}: 可选。安注释.

如果{固定}是真实的，然后为其键入当前类型是{基类型定义}无法指定的值最小非独占除{值}.

4.3.10.2 minInclusive Schema组件的XML表示

的XML表示最小非独占模式组件是一个<minInclusive>元素信息项。这个信息项属性与组件的属性如下：

XML表示摘要: 最小非独占要素信息项

<最小非独占
固定的，固定的=布尔值：false（错误）
标识=身份证件
价值=任意简单类型
{具有非模式命名空间的任何属性…}>
内容：(注释?)
</minInclusive>

{值} ·必须·是在中·价值空间·属于{基类型定义}.

最小非独占架构组件

财产	代表
{值}	这个实际值的`价值` [属性]
{固定}	这个实际值的`固定的` [属性]，如果存在，否则为假
{注释}	与所有<注释>中的元素信息项[儿童]，如果有。

4.3.10.3最小包容性验证规则

验证规则：minInclusive Valid

中的值 ·命令· ·价值空间·在以下方面是面有效的·最小非独占·如果：

1如果·数字·中的属性{基本面}是真实的，然后是价值·必须·数值大于或等于{值};

2如果·数字·中的属性{基本面}是假（即。，{基类型定义}是与日期和时间相关的数据类型），然后是值·必须·按时间顺序大于或等于{值};

4.3.10.4对minInclusive模式组件的约束

架构组件约束：minInclusive<maxExclusive

它是一个 ·错误·为指定的值·最小非独占·大于或等于该值指定用于·maxExclusive（最大独占）·对于相同的数据类型。

架构组件约束：minInclusive有效限制

它是一个 ·错误·如果出现以下任何情况为真：

1最小非独占是的成员之一{刻面}属于{基类型定义}和{值}是小于{值}家长的最小非独占

2最大非独占是的成员之一{刻面}属于{基类型定义}和{值}是越大{值}家长的最大非独占

三minExclusive（最小独占）是的成员之一{刻面}属于{基类型定义}和{值}是小于或等于{值}家长的minExclusive（最小独占）

4maxExclusive（最大独占）是的成员之一{刻面}属于{基类型定义}和{值}是大于或等于{值}家长的maxExclusive（最大独占）

4.3.11总位数

[定义：] totalDigits（总位数）控制中的最大值数这个·价值空间·数据类型的·派生的·从十进制的,通过将其限制为可以表示为i×10^-n哪里我和n个是整数，因此|i|<10^总位数和0<=n<=总位数.的价值totalDigits（总位数） ·必须·成为正整数.

术语totalDigits（总位数）是为了反映一个事实限制·价值空间·到那些可以最多使用词汇表示totalDigits（总位数）数字。请注意，它不限制·词法空间·直接；添加了附加的前导零位或尾随的小数零位是仍然允许。

4.3.11.1 totalDigits架构组件

架构组件: totalDigits（总位数）

{值}: A类正整数.
{固定}: A类布尔值.
{注释}: 可选。安注释.

如果{固定}是真实的，然后为其键入当前类型是{基类型定义}无法指定的值totalDigits（总位数）除{值}.

4.3.11.2 totalDigits架构组件的XML表示

的XML表示 totalDigits（总位数）模式组件是一个<totalDigits>元素信息项。这个信息项属性与组件的属性如下：

XML表示摘要: totalDigits（总位数）要素信息项

<总位数
固定的，固定的=布尔值：false（错误）
标识=身份证件
价值=正整数
{具有非模式命名空间的任何属性…}>
内容：(注释?)
</totalDigits>

totalDigits（总位数）架构组件

财产	代表
{值}	这个实际值的`价值` [属性]
{固定}	这个实际值的`固定的` [属性]，如果存在，否则为假
{注释}	与所有<注释>中的元素信息项[儿童]，如果有。

4.3.11.3 totalDigits验证规则

验证规则：totalDigits Valid

A中的值 ·价值空间·是facet-valid with尊重·totalDigits（总位数）·如果：

1该值可以表示为i×10^-n哪里我和n个是整数，因此|i|<10^{值}和0≤n<={值}.

4.3.11.4 totalDigits模式组件的约束

架构组件约束：totalDigits有效限制

它是一个 ·错误·如果totalDigits（总位数）是的成员之一{刻面}属于{基类型定义}和{值}是大于{值}家长的totalDigits（总位数）

4.3.12分数位数

[定义：] 分数位数控制最小差异的大小值之间在中·价值空间·数据类型的·派生的·从十进制的,通过限制·价值空间·到以下数字可表示为i×10^-n哪里我和n个是整数和0<=n<=分数位数.的价值分数位数 ·必须·成为非负整数.

术语分数位数是为了反映一个事实限制·价值空间·到那些可以最多使用词汇表示分数位数小数点右边。请注意，它不限制·词法空间·直接；一非-·规范词汇表征·这增加了额外的仍然允许前导零位或尾随零位。

例子

以下是·用户衍生的·可用于表示震级的数据类型一个人体温的摄氏度。此定义将出现在由“最终用户”编写的架构中并展示了如何通过指定方面值来定义数据类型约束的范围·基本类型·.

<simpleType name='celsiusBodyTemp'><限制基数='decimal'><totalDigits value='4'/><fractionDigits value='1'/><minInclusive值=“36.4”/><maxInclusive value='40.5'/></限制></simpleType>

4.3.12.1 fractionDigits架构组件

架构组件: 分数位数

{值}: A类非负整数.
{固定}: A类布尔值.
{注释}: 可选。安注释.

如果{固定}是真实的，然后为其键入当前类型是{基类型定义}无法指定的值分数位数除{值}.

4.3.12.2 fractionDigits模式组件的XML表示

的XML表示分数位数模式组件是一个<fractionDigits>元素信息项。这个信息项属性与组件的属性如下：

XML表示摘要: 分数位数要素信息项

<分数位数
固定的，固定的=布尔值：false（错误）
标识=身份证件
价值=非负整数
{具有非模式命名空间的任何属性…}>
内容：(注释?)
</fractionDigits>

分数位数架构组件

财产	代表
{值}	这个实际值的`价值` [属性]
{固定}	这个实际值的`固定的` [属性]，如果存在，否则为假
{注释}	与所有<注释>中的元素信息项[儿童]，如果有。

4.3.12.3 fractionDigits验证规则

验证规则：fractionDigits Valid

A中的值 ·价值空间·是facet-valid with尊重·分数位数·如果：

1该值可以表示为i×10^-n哪里我和n个是整数和0≤n<={值}.

4.3.12.4 fractionDigits模式组件的约束

架构组件约束：fractionDigits小于或等于totalDigits

它是一个 ·错误·对于·分数位数·到大于·totalDigits（总位数）·.

架构组件约束：fractionDigits有效限制

它是一个 ·错误·如果·分数位数·是的成员之一{刻面}属于{基类型定义}和{值}大于{值}家长的·分数位数·.

5合规性

本规范描述了以下两个级别的一致性数据类型处理器。第一个是所有处理器都是必需的。对另一方的支持将取决于处理器适用的应用程序环境。

[定义：] 最低合规性处理器·必须·完全正确地实施·对模式的约束·和·验证规则·.

[定义：]接受XML文档形式的模式的处理器在里面简单类型定义模式组件的XML表示（§4.1.2）（以及其他相关部分数据类型组件（§4）)据说还可以提供符合模式的XML表示,和·必须·，在处理架构文档时，完全和正确执行所有·模式表示约束·秒在本规范中，以及·必须·严格遵守中的规范简单类型定义模式组件的XML表示（§4.1.2）（以及其他相关部分数据类型组件（§4）)用于映射这样的内容文件到模式组件用于验证。

注：通过分离与混凝土相关的符合性要求XML模式文档的语法，该规范允许处理器它使用存储在优化二进制表示中的模式进行验证，动态创建的模式表示为编程语言数据编译特定模式的结构或实现转换为诸如C或Java之类的可执行代码。这样的处理器可以说是·最小一致性·但不一定在·符合模式的XML表示·.

dateTime（日期时间）	期间	结果
2000-01-12T12:13:14Z	第3天第5天第7天第10天第3秒	2001-04-17T19:23:17.3Z
2000-01	-第3页	1999-10
2000-01-12	PT33H型	2000-01-13

对于所有人·分支·锿S公司，以及所有人·正则表达式·秒T型，有效·正则表达式·秒R（右）是：	表示字符串集左（右）包含：
（空字符串）	只包含空字符串的集合
S公司	中的所有字符串L（S）
S公司\|T型	中的所有字符串L（S）和中的所有字符串L（T）

对于所有人·块·秒S公司，以及所有人·分支·锿T型，有效·分支·锿R（右）是：	表示字符串集左（右）包含：
S公司	中的所有字符串L（S）
S公司T型	所有字符串标准具有秒在里面L（S）和t吨在里面L（T）

对于所有人·原子·秒S公司和非负整数n个,米这样的话n<=米，有效·块·秒R（右）是：	表示字符串集左（右）包含：
S公司	中的所有字符串L（S）
S公司?	空字符串和中的所有字符串L（S）.
S公司*	中的所有字符串L（S？）和所有字符串标准具有秒在里面L（S）和t吨在里面L（S）*.（所有串联L（S）中的零个或多个字符串）
S公司+	所有字符串标准具有秒在里面L（S）和t吨在里面L（S）*.（所有串联来自L（S）的一个或多个字符串）
S公司{n，m}	所有字符串标准具有秒在里面L（S）和t吨在里面L（S{n-1，m-1}）.（全部来自L（S）的至少n个、最多m个字符串的序列）
S公司{无}	中的所有字符串L（S{n，n}）.（全部L（S）中n个字符串的序列）
S公司{n，}	L（S）中的所有字符串{n} S公司)（全部来自L（S）的至少n个字符串的序列）*
S公司｛0，m｝	所有字符串标准具有秒在里面L（S？）和t吨在里面L（S{0，m-1}）.（全部序列最多为m，字符串来自L（S））
S公司{0,0}	仅包含空字符串的集合

对于所有人·正常字符·秒c,·字符类·锿C类、和·正则表达式·秒S公司，有效·原子·秒R（右）是：	表示字符串集左（右）包含：
c	单个字符串仅包含c
C类	中的所有字符串L（C）
(S公司)	中的所有字符串L（S）

	资料型态	命令	有界的	基数	数字
原始的	一串	假	假	可数无限	假
	布尔值	假	假	有限的，有限的	假
	浮动	部分	真实的	有限的，有限的	真实的
	双重的	部分	真实的	有限的，有限的	真实的
	十进制的	全部的	假	可数无限	真实的
	期间	部分	假	可数无限	假
	dateTime（日期时间）	部分	假	可数无限	假
	时间	部分	假	可数无限	假
	日期	部分	假	可数无限	假
	g年-月	部分	假	可数无限	假
	g年份	部分	假	可数无限	假
	g月日	部分	假	可数无限	假
	g天	部分	假	可数无限	假
	g月份	部分	假	可数无限	假
	十六进制二进制	假	假	可数无限	假
	base64二进制	假	假	可数无限	假
	任意URI	假	假	可数无限	假
	限定名	假	假	可数无限	假
	符号	假	假	可数无限	假

派生的	normalizedString（标准化字符串）	假	假	可数无限	假
	代币	假	假	可数无限	假
	语言	假	假	可数无限	假
	IDREFS公司	假	假	可数无限	假
	实体	假	假	可数无限	假
	NMTOKEN公司	假	假	可数无限	假
	NMTOKENS公司	假	假	可数无限	假
	姓名	假	假	可数无限	假
	NC名称	假	假	可数无限	假
	身份证件	假	假	可数无限	假
	国际数据参考	假	假	可数无限	假
	实体	假	假	可数无限	假
	整数	全部的	假	可数无限	真实的
	非正整数	全部的	假	可数无限	真实的
	负整数	全部的	假	可数无限	真实的
	长的	全部的	真实的	有限的，有限的	真实的
	整数	全部的	真实的	有限的，有限的	真实的
	短的	全部的	真实的	有限的，有限的	真实的
	字节	全部的	真实的	有限的，有限的	真实的
	非负整数	全部的	假	可数无限	真实的
	unsignedLong（无符号长）	全部的	真实的	有限的，有限的	真实的
	未签名Int	全部的	真实的	有限的，有限的	真实的
	无符号短	全部的	真实的	有限的，有限的	真实的
	无符号字节	全部的	真实的	有限的，有限的	真实的
	正整数	全部的	假	可数无限	真实的

31	M=1月、3月、5月、7月、8月、10月或十二月
30	M=四月、六月、九月或十一月
29	M=二月AND（模（Y，400）=0 OR（模（Y，100）！=0）与模（Y，4）=0）
28	否则

对于所有人·字符范围·秒R（右），全部·字符类转义·秒E类，以及所有·积极字符组·秒P（P），有效·积极字符组·秒G公司是：	识别字符集C（G）包含：
R（右）	中的所有字符C（R）.
E类	中的所有字符C（E）类.
RP公司	中的所有字符C（R）以及所有中的个字符C（P）.
欧洲药典	中的所有字符C（E）类以及所有中的个字符C（P）.

有效的·单字符转义·是指：	识别字符集C（R）包含：
`\n个`	换行符（#xA）
`\第页`	返回字符（#xD）
`\t吨`	制表符（#x9）
`\\`	\
`\\|`	\|
`\.`	.
`\-`	-
`\^`	^
`\?`	?
`\*`	*
`\+`	+
`\{`	{
`\}`	}
`\(`	(
`\)`	)
`\[`	[
`\]`	]

类别	财产	含义
信件	L（左）	所有信件
	卢	大写
	陆上通信线	小写字母
	书信电报	标题酶
	Lm（磅）	修改器
	Lo（低）	其他

标志	M（M）	所有标记
	锰	无间隔
	麦克	间距合并
	我	封闭

数字	N个	所有数字
	钕	十进制数字
	无	信
	不	其他

标点符号	P（P）	所有标点
	个人	连接器
	钯	短跑
	Ps公司	打开
	体育课	关闭
	圆周率	初始报价（根据使用情况，可能表现为Ps或Pe）
	功率因数	最终报价（根据使用情况，可能表现为Ps或Pe）
	Po公司	其他

分离器	Z轴	所有分隔符
	Z轴	空间
	Zl公司	线
	Zp公司	段落

符号	S公司	所有符号
	钐	数学
	Sc公司	货币
	Sk公司	修改器
	所以	其他

其他	C类	所有其他
	复写的副本	控制
	囊性纤维变性	格式
	有限公司	私人使用
	抄送	未指定的

开始代码	结束代码	块名称	开始代码	结束代码	块名称
#x0000个	#x007英尺	基础拉丁语	#x0080个	#x00英尺	拉丁语1补语
#x0100个	#x017华氏度	拉丁语扩展-A	#x0180个	#x024华氏度	拉丁语扩展-B
#x0250个	#x2英尺	IPA扩展	#x02B0个	#x02英尺	间距修饰符字母
#x0300个	#x036华氏度	组合Diacritical标记	#x0370个	#x03华氏度	希腊人
#x0400个	#x04英尺	西里尔文	#x0530个	#x058英尺	亚美尼亚语
#x0590个	#x05英尺	希伯来语	#x0600个	#x06英尺	阿拉伯语
#x0700个	#x074英尺	叙利亚语	#x0780个	#x07立方英尺	塔安那文
#x0900个	#x097英尺	梵文	#x0980型	#x09英尺	孟加拉语
#x0A00	#x0A7F型	格鲁姆基语	#x0A80个	#x0楼面竣工标高	古吉拉特邦
#x0B00个	#x0B7F型	奥里亚语	#x0B80个	#x0立方英尺	泰米尔语
#x0C00型	#x0C7F型	泰卢固语	#x0C80个	#x0CFF（立方英尺）	卡纳达语
#x0D00个	#x0D7F型	马拉雅拉姆语	#x0D80像素	#x0DFF（x万DFF）	僧伽罗语
#x0E00个	#x0E7F个	泰国人	#x0E80个	#x0EFF（效率）	老挝语
#x0F00个	#x0FFF	藏语	#x1000像素	#x109英尺	缅甸
#×10A0	#x10英尺	格鲁吉亚语	#x1100个	#x11英尺	汉古尔贾莫
#x1200个	#x137英尺	埃塞俄比亚语	#x13A0像素	#x13英尺	切罗基语
#x1400个	#x167英尺	加拿大原住民印第安方言领音	#x1680像素	#x169英尺	奥格姆
#x16A0像素	#x16英尺	北欧古文	#x1780毫米	#x17英尺	高棉语
#x1800像素	#x18自动对焦	蒙古族	#x1E00个	#x1效率	拉丁语扩展附加
#x1F00个	#x1自由流	希腊语扩展	#x2000像素	#x206英尺	通用标点符号
#x2070像素	#x209英尺	上标和下标	#x20A0像素	#20立方英尺	货币符号
#x20D0像素	#x20平方英尺	符号的组合标记	#x2100像素	#x214英尺	类字母符号
#x2150像素	#x218英尺	数字形式	#x2190像素	#x21英尺	箭头
#x2200像素	#x22英尺	数学运算符	#x2300像素	#x23平方英尺	杂项技术
#x2400像素	#x243英尺	控制图片	#x2440像素	#x245英尺	光学字符识别
#x2460像素	#x24平方英尺	随附字母数字	#x2500像素	#x257英尺	方框绘图
#x2580像素	#x259英尺	块元素	#x25A0毫米	#x25平方英尺	几何图形
#x2600像素	#x26平方英尺	杂项符号	#x2700像素	#x27立方英尺	丁巴茨
#x2800像素	#x28平方英尺	Braille图案	#x2E80像素	#x2EFF（x2EFF）	CJKRadicals补充
#x2F00像素	#x2英尺/平方英尺	康熙字根	#x2FF0像素	#x2英尺/平方英尺	象形字描述字符
#x3000像素	#x303英尺	CJK符号和标点符号	#x3040像素	#x309英尺	平假名
#x30A0像素	#x30平方英尺	片假名	#x3100像素	#x312英尺	汉语拼音
#x3130像素	#x318华氏度	汉古尔兼容性Jamo	#x3190像素	#x319华氏度	寛文
#x31A0像素	#x31亿立方英尺	扩展注音	#x3200个	#x32英尺	随附CJK字母和月份
#x3300像素	#x33平方英尺	CJK兼容性	#x3400像素	#4个DB5	中日韩统一象形文字扩展名A
#x4E00像素	#x9法国队	中日韩汉字	#xA000个	#xA48F型	彝语教学大纲
#xA490型	#xA4CF型	Yi字根	#xAC00型	#xD7A3型	汉古尔语教学大纲

			#xE000个	#xF8英尺	私人使用
#xF900像素	#xFAFF公司	CJK兼容性象形文字	#xFB00个	#xFB4F型	按字母顺序排列的演示表单
#xFB50像素	#xFDFF公司	阿拉伯展示形式-A	#xFE20型	#xFE2F型	组合半标记
#xFE30型	#xFE4F型	CJK兼容性表单	#xFE50型	#xFE6F型	小型形式变体
#xFE70型	#xFEFE公司	阿拉伯语表达形式-B	#xFEFF公司	#xFEFF公司	特价商品
#xFF00个	#xFFEF公司	半宽和全宽窗体	#xFFF0型	#xFFFD公司	特价商品

字符序列	等价物·字符类·
.	[^\n\r]
\秒	[#x20\t\n\r]
\S公司	[^\s]
\我	初始名称字符集·比赛·由编辑信件\| '_' \| ':'
\我	[^\i]
\c（c）	名称字符集，这些·比赛·由编辑NameChar（名称字符）
\C类	[^\c]
\d日	\p{Nd}
\D类	[^\d]
\w个	[#x0000-#x10FFFF]-[\p{p}\p{Z}\p}](除“标点符号”之外的所有字符，“分隔符”和“其他”字符)
\W公司	[^\w]