GBT25500.3-2010可扩展商业报告语言(XBRL)技术规范公式.pdf 97页

'ICS03．100．60A11a园中华人民共和国国家标准GB／T25500．3—2010可扩展商业报告语言(XBRL)技术规范第3部分：公式ExtensibleBusinessReportingLanguage(XBRL)specification--Part3：Formula2010—10—18发布2011—01—01实施宰瞀髅鬻瓣譬糌瞥星发布中国国家标准化管理委员会徼1” 标准分享网www.bzfxw.com免费下载前言⋯⋯⋯⋯⋯⋯⋯引言⋯⋯⋯⋯⋯⋯⋯l范围⋯⋯⋯⋯⋯·2规范性引用文件-3术语和定义--⋯··4命名空间及其前缀5公式部分结构说明6通用链接规范⋯·6．1通用链接⋯·6．2通用标签⋯·6．3通用参考⋯·7变量⋯⋯⋯⋯⋯7．1XPath的求值与仞始7．2办面⋯⋯⋯⋯⋯⋯·7．3变量的语法⋯⋯⋯⋯7．4变量求值⋯⋯⋯⋯⋯8过滤器⋯⋯⋯⋯⋯⋯⋯⋯8．1市尔过滤器---⋯⋯⋯8．2概念过滤器⋯⋯⋯⋯8．3维度过滤器⋯⋯⋯8．4实体过滤器⋯⋯⋯⋯8．5通用过滤器⋯⋯⋯·8．6隐式过滤器⋯⋯-⋯8．7匹配过滤器⋯⋯⋯⋯8．8期间过滤器⋯⋯⋯8．9相关过滤器⋯⋯⋯⋯8．10片段场景过滤器⋯8．11儿组过滤器⋯8．12单位过滤器⋯⋯8．13值过滤器⋯⋯⋯9公式⋯⋯⋯⋯⋯⋯⋯⋯⋯9．1语法⋯⋯⋯⋯⋯⋯⋯9．2公式处理模型⋯⋯⋯10校验规范⋯⋯⋯⋯⋯⋯10．1概述⋯⋯⋯⋯⋯⋯目次GB／T25500．3—2010ⅢⅣ●，00，，，0心"均¨趵弘曲引叭M弘∞们州侣¨幅帖弘％ GB／T25500．3—201010．2语法····⋯⋯⋯⋯⋯⋯·10．3所有断言的处理模型”11断言规范⋯⋯⋯⋯⋯···⋯··11．1概述⋯··⋯⋯⋯·⋯⋯一1i．2一致性断言规范⋯⋯一11．3存在性断言规范⋯⋯一11．4值断言规范⋯··⋯⋯⋯附录A(规范性附录)模式文件参考文献⋯⋯⋯⋯⋯·⋯⋯⋯·⋯Ⅱ575862646590 标准分享网www.bzfxw.com免费下载莉罱GB／T25500．3—2010GB／T25500《可扩展商业报告语言(XBRI，)技术规范》分为四个部分：——第1部分：基础；——第2部分：维度}——第3部分：公式；——第4部分：版本。本部分为GB／T25500的第3部分。本部分按照GB／T1．1—2009给出的规则起草。本部分技术内容与XBRI。国际组织制定的XJ{RI。公式规范1．0版(XBRI，FormulaSpecification1．0)基本一致。本部分由中华人民共和国财政部归口。本部分起草单位：中华人民共和国财政部。本部分主要起草人：应唯、王颖、李红霞、丁亮、黄敏、李敏敏、覃东、杨海峰、廖伟东、杨诚、臧梓伊、朱健鹏、徐泓、蒋小娜、童盼盼。Ⅲ Cillrr25500．3—2010引言可扩展商业报告语言(ExtensihieBusinessReportingI，anguage，XBRI．)是一种基于可扩展置标语言(ExtensibleMarkup1．anguage，XMI。)的丌放性业务报告技术标准。它通过给财务会计报肯等业务报告中的数据增加特定标记、定义相互关系，使计算机能够“读懂”这些报告，并进行符合业务逻辑的处理。XBRI。的构想最早由美国{_i=：册会计师查尔斯·霍夫曼在1998年提出。随后，在美国注册会计师协会(A1CPA)赞助下提fljr第一个XBRI，原型。XBRI。技术广泛适用于财务会计报告、上市公司年报、金融机构监管报告、税务报肯等领域，目前在美国、英围、口本、澳大利亚等很多国家中都已投入实际应用。在我阁，XBRI，已应用于上市公司信息披露和基金信息披露领域，取得良好效果。XBRI。技术的应用，可以避免报告数据的重复性录入、报送、传输、转换、比对等人工操作，减少差错率，提高数据生成、传递、使用效率和信息化水平。因此，推进XBRI。在我国的应用，有利于促进财务会计报告等、Ik务报告信息的深度分析利用，提高监管效能。XBRI，技术规范，是各项XBRL应用所需共同遵循的底层技术标准。制定XBRI。技术规范，是推进XBRI，在我国应用的基础性1二作。目前，国际l：均遵循XBRI，国际组织制定的技术规范。本部分是GB／T25500．I《町扩展商业报告语言(XBRl．)技术规范第1部分：基础》的一个扩展规范，它扩展r能在町发现分类标准集(DTS)甲可获得倍息的范围，提供r一套表述XBRI．数据结构相关复杂公式关系的语法，这些语法呵用于编制从XBRI。实例获得信息产生新XBRI。事实的规则。 标准分享网www.bzfxw.com免费下载1范围可扩展商业报告语言(XBRL)技术规范第3部分：公式GB／T25500．3—2010GB／T25500的本部分规定了公式、通用链接、变量、过滤器、校验和断言的语法，lⅡ以处理从XBRI，报告获得的信息以及支持它们的元数据，产生一个输出XBRI．实例中的XBRI．事实。本部分适用于XBRl。分类标准的制定、实例文档的编制或使t}}j，以及XBRI，相关开发与应用。2规范性引用文件下列文件对于本文件的应用是必不可少的。凡是注日期的引用文件，仪注日期的版本适用于本文件。凡是不注日期的引用文件，其最新版本(包括所有的修改单)适用于本文件。GB／T18793--2002信息技术可扩展置标语矗(XMI。)1．0GB／T25500．1可扩展商业报告语言(XBRI。)技术规范第1部分：基础GB／T25500．2可扩展商业报告语言(XBRI．)技术规范第2部分：维度3术语和定义GB／T187932002、GB／T25500．1和(；B／T25500．2中界定的以及下列术语和定义适用于本文件。3．1输入XBRI．实例inputXBRI—instance变量处理器对变量求值所使用的单独有效的XBRI。实例。3．2输出XBRL实例outputXBRLinstance由XBRI，公式处理器生成的XBRI，实例，并且包含钳对输人XBRI。实例的公式求值可能产生的其他伴随信息和事实。3．3包含元素containingelement在元素内容或者元素属性内容中包含XPath表达式的元素。3．4包装元素enclosingelementXPath表达式的包含元素或者包含元素的祖先元素。3．5开放上下文组件opencontextcomponent；OCC段或者场景。3．6方面aspectXBRI。事实附加信息的一部分。 GB／T25500．3—20103．73．83．93．103．113．123．133．143．15必备方面值requiredaspectvalue；RAV应与同一方面输出值相匹配的方面值。源方面值sourceaspectvalue；SAV输入XBRI。实例中的方面值。过滤器filter输入XBRI，实例中事实的选择标准。输入事实inputfact过滤的输入XBRI，实例中的事实。方面模型aspectmodel把事实数据相关信息细分成各个方面的方法定义。方面模型标识符aspectmodelidentifier用于标识方面模型的文本串。源序列sourcesequence通过对一般变量或者事实变量所蕴含的XPath表达式求值所得到的序列。组过滤器groupfilter通过变量一集合一过滤器关系与事实变量相关联的过滤器。最近源nearestsource表达规则或者组件元素的源。如果不存在，则指其最近的祖先元素的源。4命名空间及其前缀元素和属性的命名空间前缀使用以ns：name为例，其中as是命名空间的前缀，name是本地名称。关于命名空间前缀到实际命名空间的映射，本部分与表l保持一致。表l中的前缀列是非规范性的，命名空间URI列是规范性的。表1命名空间和命名空间前缀前缀命名空间URlformulahttp：／／xbrl．org／2008／formulaxbrlfehttp：／／xbr]．org／200S／formula／erroreghttp：／／example．corn／fnhttp：／／www．w3．org／2005／xpath—functionslinkhttpl／／wwwxbrl．。rg／2003／linkbasexbrlihttp；／／www．xbrlorg／2003／lnstancex“http：／／www．xbrlorg／2008／function／1nstance 标准分享网www.bzfxw.com免费下载表1命名空间和命名空间前缀(续)GB／T25500．3—2010前缀命名空间URIxbrldihttp：／／xbrl．org／2006／xbrldlxbrldthttp：／／xbrl．org／2005／xbrldtxlhttp：／／www．xbrlorg／2003／X1．inkxlinkhttp：／／www．w3．org／1999／xlinkhttp：／／www．w3．org／2001／XMI。Schemahttp：／／www．w3．org／200l／XMi。Schemainstancegenhttp：／／xbrl．org／2008／genericvariablehttp：／／xbrl．org／2008／varlablejs04217http：／／www．xbrl．org／2003／is042】7xbrlifehttp：／／xbrl．org／2008／filter／implicit／errorlabelhttp：／／xbrl．org／2008／labelxbrllehtt口：／／xbrl．org／2008／1abeI／error’bfhttp：／／xbrl．org／2008／filter／booleanxbrlbfehttp：／／xbd．org／2008／fIlter／boolean／errorcfhttp=／／xbrl．org／2008／filter／conceptxbrlcfehttpl／／xbrl．org／2008／filter／concept／errorvalidationhttp：／／xbrl．org／2008／validationxbrlvalidehttpi／／xbrl．org／2008／validation／errorhttp：／／xbrl．org／2008／asseftion／consistencyxbrlcaehttpl／／xbrl．org／2008／assertion／consistency／errordfhttp：／／xbrl．org／2008／fiher／dimensionxbrldfehttpl／／xbrl．org／2008／filter／dimension／errorefhttp：／／xbrl．org／2008／filter／entityxbrlefehttpl／／xbrl．org／2008／filter／entity／errorhttpl／／xbrl．org／2008／assertion／exlstcncexbrleaehttpl／／xbrl．org／2008／assertlon／exIstence／errorgfhnp：／／xbrl．org／2008／fiIter／generalxbrlgfehttp：／／xbrl．o‘g／2008／flIter／general／errorhttp：／／xbrl．org／2008／referencexbrlrehttp：／／xbrl．org／2008／reference／errorxbrlgenehttp：／／xbrl．org／2008／generic／errormfhttpl／／xbrl．org／2008／fiher／matchxbrlmfehttp；／／xbrl．org／2008／filter／match／errorpfhttp：／／xbrl．org／2008／filter／periodxbrlpfehttp：／／xbrl．。rg／2008／flltcr／perlod／errorrfhttp；／／xbrl．org／z008／mter／rclatlvexbrlrfehttpl／／xbrl．org／2008／fllter／reIative／errorssfhttp：／／xbrl．org／2008／fiher／segment—scenarioxbrlssfehttp：／／xbrt．org／2008／fiher／segment—scenario／errortfhttp：／／xbrl．org／2008／filter／tuple3 GB／T25500．3—2010表1命名空间和命名空间前缀(续)前缀命名窄间URlxbrhfehup：／／xbrl．t)rg／2008／fIl¨r／tuple／errorufhttp：／／xbrl．org／2008加ltcr^mltxbrlufehttp：／／xbrl．org／2008加lter／unll／errorhttp：／／xbrt．org／2008／assertlon／valuexbrlvaehtlp：／／xbrI．org／2008／asscrtion／vahlc／crrorvfhttp：／／xbAorg／2008／mter／valuexbrlvfeh¨p：／／xbrl．org／2008／f|ltcr／vahlc／error5公式部分结构说明公式部分主要由通用链接、变量、过滤器、公式、校验和断言六个模块构成，其结构如图l所示。变量模块引用通用链接模块，公式模块引用变量模块，过滤器模块引用变量模块，校验模块引用通用链接和变量模块，断言模块引用公式、校验、变量和通用链接模块。其中：——通用链接模块包括：通用链接、通用标签和通用参考t——过滤器模块包括13个过滤器；断言模块包括：一致性断言、存在性断言和值断言。4公式(formula)通用链接(genericlink)通用标签(Rcneric1abels)通用参考Renericrefs)一致性断言assertion)技验(va】ldalion)变量(variable)存在性断奇(existenceassertion)值断盲(vaIueassertion)布尔过滤器(booleanfilter)概念过滤器(conceptfilter)维度过滤器(dimensionfilter)寅体过滤器(enti廿filler)通用过滤器(gcncralfilter)隐式过滤器(implicitfilter)匹配过滤嚣(matchfilter)期间过滤嚣(periodfilter)相关过滤器(relativefilter)片段场景过滤器(segsceniofilter)无组过滤器(tuplefiller)单位过滤器(unitfilter)值过滤嚣(vuluefilter)图1公式部分结构图 www.bzfxw.com标准分享网www.bzfxw.com免费下载6通用链接规范6．1通用链接6．1．1概述GB／T25500．3—2010“通用链接”规范定义了一个扩展连接((gen：link>)和一个弧((gen：arc))，通过它们可以在任意XMI。元素之间建立关系。通用链接足(gen：link)元素替换组中的一个XBRI．扩展链接。(gen：link)元素的语法由A．1中的模式文件定义，所有声称与本章规定一致的处理器府执行A．1的模式文件所列示的约束。“通用链接”可以在XBRI。链接库中使用，它受到(1ink：linkbaseRef)元索中xlink：role属性规则的约束。6．1．2语法6．1．2．1通用链接的Mink：role属性“通用链接”中的xlink：role属性的属性值V应是一个绝对URI。如果V不是绝对URI，则应抛出错误代码xbrlgene：nonAbsoluteI。inkRoleURI。如果v不是标准扩展链接角色，那么“通用链接”的祖先元素(1ink：linkbese>应包含一个子元素(1ink：roleRef>，其roleURl属性的属性值为V。如果通用链接的祖先元素(1ink：linkbase>没有一个roleURl属性的值为V的子元素(1ink：roleRef)，则应抛出错误代码codexbrlgene：missingRoleRefForI。inkRole。如果指向(1ink：roleType)元素的(1ink：roleRef>元素，其roleURl属性值等于V，那么(1ink：roleType)元素应包含一个子元素子元素，该子元素的命名空间等于通用链接的命名空间，本地名称等于通用链接的本地名称，则应抛出错误代码xbrlgene：missingl。inkRoleUsedOnValue。6．1．2．2通用链接资源的xlink：role属性如果通用链接中的资源有一个Mink：role属性，则该xlink：role属性的值V应是一个绝对URI。如果v不是一个绝对URl，则应抛出错误代码xbrlgene：nonAbsoluteResourceRoleURl。该资源的祖先元素(1ink：linkbase>应有一个子元素(1ink：roleRef)，该子元素的roleURl属性值是V。如果该资源的祖先元素(1ink：linkbase)没有roleURI属性的值为v的子元素(1ink：roleRef)，则应抛出错误代码xbrlgene：missingRoleRefForResoureeRole。如果指向(1ink：roleType>元素的(1ink：roleRef)元素，其roleURI属性值等于v，那么(1ink：roleType>元素应包含一个子元素，其QName值的命名空间和本地名分别等于资源的命名空间和本地名。如果由带有roleURI属性为V的(1ink：roleRef)元素指向的(1ink：roleq、ype>元素不包含一个带有QName值的元素声明。通用参考是一个XLink资源。当通用参考包含在XBRL扩展链接中时，该通用参考为通过元素参考关系与其相关的元素确定注释。元素的语法由A．3的规范模式文件定义。6．3．2．2元素一参考关系元素参考关系是XMI。元素和通用参考之间的关系，该关系由一个XI，ink弧表示。为声明一个元素参考关系，XI．ink弧应同时满足以下条件：一一有一个弧角色值等于http：／／xbrl．org／arerole／2008／element—reference；——在弧的始端资源有一个XMI．元素；——在弧的末端资源有一个通用参考。弧角色值http：／／xbrl．org／arcr01e／2008／element—reference在通用参考的规范模式文件中声明。根据规范模式文件的弧角色声明限制，元素参考关系应由通用弧表示。7变量7．1XPath的求值与初始变量章节中，XPath表达式是通过间接关联的方式引用变量和参数的，而不是按照XPath2．0规范直接使用变量名或参数名。直接使用XPath或XQuery从XBRI．实例文档中选择数据经常会陷于复杂的关系中。变量章节提供了一个可选语法框架，用于指定从一份XBRI。实例文档中去选择需要数据的过滤器，从而使得实现变得简单。用变量章节定义的一些属性和元素中包括由XPath2．0规范表达式计算得到的值。在本章中，所有的XPath表达式都应遵从XPath2．0表达式规范。7 www.bzfxw.comGB／T25500，3—20107．2方面7．2．1概述XBRL事实不仅仅是值。它们包含了更广泛的附加信息，这些附加信息为解释XBRI，事实所包含的值提供了必要的信息。方面是指与一个XBRI。事实相关的附加信息的一部分。所有的方面定义应包括方面测试的定义，该方面测试用于为已定义的方面评估两个值的等价性。方面测试是一个XPath表达式，该表达式定义了其方面值之间的等价关系。对于一个给定的方面，如果对该方面进行方面测试的求值为真，则两个事实的值是相等的。对于两个事实，方面测试既可以用于检测两个事实的报告值是否为同一个方面，也可以用于检测两个事实的报告值是否为一个等价值。当对所有的方面测试进行求值时，上下文项是输入XBRI，实例的(xbrli：xbrl>元素。一个方面的两个值相匹配是指：当对两个变量求值时，对应于此方面的方面测试返回值为“ture”，其中：一个变量为该方面的第一个值，另外一个变量为该方面的第二个值。如果两个事实拥有完全相同的方面，并且两个事实所拥有的每个方面的值都是相匹配的，则这两个事实就是方面匹配事实。在本章中，方面测试表示为含有两个XPath变量引用的XPath表达式，一个XPath变量为$aspectTest：a，对应于比较中与第一个事实相等的变量；第二个XPath变量为$aspectTest：b，对应于比较中与第二个事实相等的变量。本章对以下所有事实的方面进行了描述：——路径方面的方面测试是：“$aspectTest：a／．．is$aspectTest：b／．．”，事实数据的路径是从XBRL实例文档的根元素((xbrli：xbrl>)到此事实数据本身元素的一个有序序列；—概念方面是用于事实数据报告值的概念。本方面的方面测试是：“(namespace—uri($aspectTest：a)eqnamespaceuri($aspectTest．b))and(10cal—name($aspectTest：a)eqlocal—name($aspectTest-b))”。本章对以下所有项的方面进行了描述，但不适用于元组：——实体标识符方面是指用于事实报告值的实体的标识符。此方面的方面测试为：(xfi：factidentifievscheme($aspectTest：a)eqxfi：factidentifier—scheme($aspectTest．b))and(xfi：fact—identifier—value($aspectTest：a)eqxfi：fact。identifiervalue($aspectTest．b))；⋯‘期间方面是指用于事实报告值的期间。此方面的方面测试为：xfi：nodes—correspond(xfi：period($aspectTest：a)，xfi：period($aspectTest．b))；——完整段方面是指段的完整内容，如果一个段包含在事实的上下文中，则不使用GB／T25500．2对其进行解释。此方面的方面测试为：xfi：nodes—correspond(xfi：segment($aspeetTest：a)，xfi：segment($aspectTest：b))；——非XDT段方面是指段的内容，如果一个段包含在事实的上下文中，则非一XDT段方面不包括由GB／T25500．2定义的内容。此方面的方面测试为：for$remainder—ainxfi：factsegmentremainder($aspectTest：a)，$remainder—binxfi：fact．segment—remainder($aspectTest：b)return((count($remaindera)eqcount($remainder—b))and(every$iin1tocount($re—mainder—a)satisfiesxfi：nodes—correspond($remainder—a[$i]，$remainder如[i])))；——完整场景方面是指场景的完整内容，如果一个场景包含在事实的上下文中，则不使用25500．2对其进行解释。此方面的方面测试为：xfi：nodes—correspond(xfi：scenario($aspectTest：a)，xfi：scenario($aspeetTest-b))；非XDT场景方面是指场景的内容，如果一个场景包含在事实的上下文中，则非XDT场景方8 www.bzfxw.com标准分享网www.bzfxw.com免费下载GB／T25500．3—2010面不包括由GB／T25500．2定义的内容。此方面的方面测试为；for$remainder—ainxfi：fact—scenarioremainder($aspectTest：a)，$remainder—binxfi：fact—scenario—remainder($aspectTest：b)return((count($remainder—a)eqcount($remainder-b))and(every$iinltocount($remainder-a)satisfiesxfi：n。des"corresp。nd($remainder_a[$i]，$remainder_b[i])))；一维度方面是指报告在事实的段或者场景中的XBRI。维度。本章对以下仅用于数值型数据项的方面进行了定义：单位方面是指事实的单位，此方面的方面测试为：xfi：nodes—correspond(xfi：unit($aspectTest：a)，xfi：unit($aspectTest：b))7．2．2维度方面测试·7．2．2．1概述维度方面测试取决于该维度是明确维度还是类型化维度，并且，如果该维度是一个类型化维度，则维度方面测试还取决于等值定义是否与类型化维度的类型化维度域定义相关联。7．2．2．2明确维度方面测试明确维度方面测试是：xfi：nodes—correspond(xfi：fact—explicit—dimension—value($aspectTestexplicit—dimension—value($aspectTest：b，#dimension))其中：#dimension是定义此方面的维度的Qname。7．2．2．3类型化维度方面测试7．2．2．3．1概述类型化维度值指XBRI。实例中类型化维度的值。在语法构成上，它是带有根元素的单独的XMI。段，此处的根元素是类型化维度的维度容器的子元素。类型化方面测试用于测试相同类型化维度的维度值之间的相等性。类型化维度域定义是指XMI，模式文件中的元素，此XMI。模式文件定义了一个类型化维度的内容模型，并且此XMI，模式文件通过声明一个类型化维度的XMI，模式文件元素中的xbrldt：typedDomainRef属性进行标识。25500．2允许多个类型化维度使用相同的类型化维度域定义。类型化维度方面测试依赖于定义维度方面的类型化维度是否拥有一个包含等值定义的类型化维度域定义。缺省类型化维度方面测试是指在进行类型化维度的类型化维度方面测试时，该类型化维度没有与其类型化维度域定义相关联的等值定义。自定义类型化维度方面测试是指在进行类型化维度的类型化维度方面测试时，该类型化维度有一个与其类型化维度域定义相关联的等值定义。7．2．2．3．2缺省类型化维度方面测试两个元素／属性节点A和B，如果满足下列任意一个条件，则A和B有相同的名称：它们都有QName名称，Aqn和Bqn，并且当空序列作为上下文项时，XPath2．0表达式(AqneqBqn)的值是～个有效的布尔值“true”；或者，它们都有未在任何命名空间中定义的名称：An和Bn，并且，当空序列作为上下文项时，XPath2．0表达式(AqneqBqn)的值是一个有效的布尔值“true”。当下列条件同时满足时，两个属性节点A和B为一致性属性：q www.bzfxw.comGB／T25500．3—2010一．一A和B有相同的名称；——通过分解A和B以及As和Bs所得到的原子值序列的长度相同；并且当空序列作为上下文项时，对于每一个项Ai，即在As中i位置上。和每个项Bi，即在Bs中i位置上，此处XPath2．0表达式(AieqBi)的求值是一个有效的布尔值“true”。注：如果属性节点A和B都分解为空序列，则这些属性节点是一致的。当下列条件同时满足时，两个元素节点A和B为一致性元素：——A和B有相同名称；——通过分解A和B以及As和Bs所得到的原子值序列的长度相同}并且当空序列作为上下文项时，对于每一个项Ai即在As中i位置上，和每一个项Bi，即在Bs中i位置上，此处XPath2．0表达式(AieqBi)的求值是一个有效的布尔值“true”；——A和B有相同数量的属性(命名空间的定义没有包含属性的数量)；——对于元素节点A的每一个属性，元素节点B上都有相应的一致性属性；——A和B拥有相同数量的子元素；——对于元素节点A和Ac的每一个子元素，元素节点B和Bc都有相应的一致性子元素，这样使Ac和Bc有相同数量的同层兄弟元素。注：对于属性节点，如果元素节点A和B都能分解为空序列，则这些元素节点是一致的。如果两个类型化维度值是对相同类型化维度的求值，并且两个类型化维度值的根元素一致，则二者为一致性类型化维度值。缺省类型化维度方面测试是：(fn：count(xfi：fact—typed—dimension—value($aspectTest：a，#dimension)／*)eq1)and(fn：count(xfi：fact—typed—dimensionvalue($aspectTest：b，#dimension)／*)eq1)and(xfi：nodes—correspond(xfi：fact—typed—dimension-value($aspeetTest：a，#dimension)／*[1]，xfi：fact—typed—dimension—value($aspectTest：b，#dimension)／*[1]))其中：#dimension是定义此方面的维度的QName。7．2．2．3．3自定义类型化维度方面测试自定义类型化维度方面测试为：(fn：count(xfi：fact—typed—dimension—value($aspectTest：a，#dimension)／*)eq1)and(fn：count(xfi：fact—typed—dimension-value($aspectTest：b，#dimension)／*)eq1)and(#custom)其中：#dimension是定义此方面的维度的QName，#custom是等值定义上的test属性所包含的XPath表达式，在自定义类型维度方面测试适用时，此等值定义应与类型化维度的域定义相关。a)类型化维度的等值定义等值定义是指类型化维度域定义中的任意两个值之间的相等关系。由(variable：equalityDefinition>元素表示。(variable：equalityDefinition)元素的语法由A．4的规范模式文件定义。一个等值定义上的test属性的内容是一个XPath表达式，此XPath表达式组合到使用类型化维度域定义的类型化维度的自定义类型化维度方面测试中。类型化维度域定义与等值定义关系的等值定义相关。当变量$aspectTest：a使用于一个由等值定义所包含的XPath表达式中时，则其与方面值比较中的第一个事实相等，同样地，当变量$aspectTest：b使用于一个由等值定义所包含的XPath表达式中时，则其与方面值比较中的第二个事实相等。当一个类型化维度域定义与等值定义的等值定义关系不唯一时，则应抛出错误代码xbrlve：multipleTypedDimensionEqualityDefinitions。10 www.bzfxw.com标准分享网www.bzfxw.com免费下载GB／T25500．3—2010b)等值定义关系等值定义关系指用XI。ink弧表示的类型化维度域定义和等值定义之间的关系。为声明一个等值定义关系，XI。ink弧应满足以下条件：——有一个弧角色值等于http：／／xbrl．org／arcrole／2008／equality—definition；——在弧的始端资源有一个类型化维度域定义；——在弧的末端资源有一个等值定义。弧角色值“http：／／xbrl．org／arcrole／2008／equality—definition”在A．4的规范标准模式文件中声明。等值定义关系应用一般弧表示，根据GB／T25500．I进行的校验可以检测出是否违反了此项规定。7．2．3方面模型可采用多种方法将与XBRI。事实相关的附加信息分成一组方面。例如：实体标识信息可以视为一个单独的方面或者视为一个实体标识模式方面和一个实体标识值方面。更重要的是．一个段或者场景的内容可以视为一个单独的方面或者可以细分为潜在的众多的方面。方面模型定义为如何把与一个事实相关的信息细分为不同的方面。方面模型标识符是可用于标识方面模型的文本串。所有的方面模型定义应为已定义的方面模型指定方面模型标识符。所有方面模型应包括以下方面：——定位方面；——概念方面；——实体标识符方面；——期间方面，一一单位方面。所有方面模型应包括足够的方面以确保上下文和事实单位中的所有内容至少与一个方面相关联。一个开放上下文组件(OCC)指一个段或者一个场景。一个段0CC指用于一个段的0CC。一个场景OCC指用于一个场景的OCC。OCC方面是指值由OCC内容报告的方面，这里的OCC是指删除所有与其他方面值相一致的内容后的剩下部分。0CC值是OCC方面的值。一个段OCC方面是指值由此段的剩余内容给定的OCC方面。一个场景OCC方面是指值有由此场景的剩余内容给定的OCC方面。由于GB／T25500．1对OCC的内容和含义限制较少，所有方面模型应包含两个方面：一个段OCC方面和一个场景OCC方面。此外．所有的方面模型定义应标识其段OCC方面和场景OCC方面。本章定义予两个方面模型：非维度方面模型和维度方面模型。除了非XDT段方面、非XDT场景方面和维度方面以外，非维度方面模型包括本章定义的所有方面。非维度方面模型有一个方面模型标识符等于“non—dimensional”。除了完整段方面、完整场景方面以外，维度方面模型包括本章定义的所有方面。维度方面模型有一个方面模型标识符等于“dimensional”。使用非维度方面模型为变量集输入．XBRI。实例仅应遵循GB／T25500．1。使用维度方面模型为变量集输入XBRL实例还应遵循GB／T25500．2。完整段方面是非维度方面模型的段OCC方面。完整场景方面是非维度方面模型的场景OCC11 www.bzfxw.comGB／T25500．3—2010方面。非XDT段方面是维度方面模型的段OCC方面。非XDT场景方面是维度方面模型的场景OCC方面。维度和非维度方面模型总结见表2。表2方面模型中包含的方面方面模型方面维度非维度位置包含概念包含实体标识符包含期间包含单位包含完整段不包含包含完整场景不包含包含非xD|l段包含不包含非xDT场景包含不包含维度包含不包含7．3变量的语法7．3．1概述当语法限制在A．4的规范模式文件中未有定义时，本章仅提供该语法限制的文字声明。当元素和属性未在其他规范中解释时，本章提供这些元素和属性的解释。除另说明，对特殊元素的引用指对该元素或对该元素所在替换组中任意元素的引用。7．3．2自定义函数签名自定义函数签名是指未在XPath、XQuery函数规范及XBRl．函数注册表中定义的XPath函数。如果一个自定义函数有命名空间“http：／／www．xbrl．org／2008／function／instance”，且该命名空间预留在XBRI，函数注册表中，则应抛出错误代码xbrlve：noProhibitedNamespaceForCustomFunetion。自定义函数标识通过(variable：function>元素来声明。元素的type属性值确定了输人参数的数据类型。自定义函数输入参数的顺序与自定义函数签名中(variable：input)子元素的文档相匹配。自定义函数的实现不包括在本章中。12 www.bzfxw.com标准分享网www.bzfxw.com免费下载7．3．3参数GB／T25500．3—2010参数通过(variable：parameter>元素来声明，并且可以指定缺省值，该缺省值可作为声明的一部分指定，也可由处理软件提供相应值。(variable：parameter>元素的语法由A．4的规范模式文件定义。参数声明的name属性包含该参数的QName。当设定该参数的值的时候，变量处理器通过参数的QName唯一标识此参数。当使用该参数时，不能通过该参数的QName来引用该参数。此QName由使用它的资源和参数的关系来指定。如果一个DTS中的两个参数所拥有的由其name属性指定的QName相同，则应抛出错误代码xbrlve：parameterNameClash。如果一个参数声明的required属性为“true”，则该参数为必选参数，其值应由处理应用给定。否则，该参数的值可由处理应用给定。如果处理应用程序未给该参数提供值，或者该参数不是必选参数，那么该参数的值可能由给定．select属性的XPi．th表达式计算得出。参数的声明可能包含as属性，该属性指定该参数所需的数据类型。如果一个由调用函数提供或由参数的select属性决定的参数的值不能转换为特定的数据类型，则应抛出错误代码xbrlve：parameteITypeMismatch。本章中定义的参数不包括序列构造器。7．3．4一般变量一般变量通过(variable：generalVarlable>元素来声明。(variable：genera!Variable>元素的语法由A．4的规范模式文件定义。一般变量隐含的XPath表达式是一般变量的select属性的内容。XPath表达式求值的上下文节点是输入XBRI。实例的(xbrli：xbrl)元素。7．3．5XBRL事实变量7．3．5．1概述事实变量通过(variable：factVtariable>元素来声明。(variable：factVariable>元素的语法由A．4的规范模式文件定义。事实变量所蕴含的XPath表达式依赖于其过滤器。如果事实变景中的nils属性缺省，或者为false，则该事实变量蕴含的XPath表达式以xfi：non—nilfacts—in—instance()开头。如果事实变量中的nils属性为true，则该事实变量蕴含的XPath表达式以xfi：factsininstance()开头。该条件由一个XPath谓词决定，该XPath谓词用于在由xfi：factsin-4nstance()函数或xfi：non—nilfactsininstance()函数生成的一组结果中过滤事实。XPath谓词中的表达式包含了每个事实变量过滤器所蕴含的一个XPath表达式。事实变量既可以使用过滤器，也可以使用过滤器补集确定其蕴含的XPath表达式。一个过滤器的补集选取了所有没有被过滤器选取的事实。过滤器补集所蕴含的XPath表达式是应用于过滤器所蕴含的XPath表达式的fn：not()函数。如果一个事实变量使用了过滤器而不是其补集，则在被纳人事实变量所蕴含的XPath表达式之前，该过滤器所蕴含的XPath表达式由圆括号“(”和“)”包括。如果事实变量使用过滤器补集而不是过滤器，则在被纳人事实变量所蕴含的XPath表达式之前，该过滤器所蕴含的XPath表达式不能修改。】3 www.bzfxw.comGB／T25500．3—2010为了在XPath谓词中获得完整的XPath表达式，可使用and标记将过滤器和过滤器补集所蕴含的XPath表达式组合成一个单独的“XPath和表达式”。＼7．3．5．2过滤器过滤器用于为输入XBR[。实例的事实定义选取标准。输人事实是指在输入XBRL实例中将要过滤的事实。过滤器表达了可用于输入事实数据的标准。此标准包含在事实变量所蕴含的XPath表达式中。过滤器被声明为XML扩展连接中的XMI．链接资源。过滤器应在(variable：filter)抽象元素的替代组里。所有的过滤器都应蕴含一个XPath表达式，该XPath表达式可以使用任何事实作为一个上下文项进行求值。每一个过滤器规范都应包括过滤器所蕴含的XPath表达式的定义。一个过滤器所蕴含的XPath表达式可以包含XPath变量引用。由过滤器所蕴含的XPath表达式中的XPath变量引用的求值不在本章范围内。此类XPath变量引用的求值，需要在本章基础之上另具规范来规定，包括如何将变量与用于XPath变量引用的Qname进行连接的规范。事实满足过滤器要求的必要条件是使用事实作为上下文项时，此过滤器所蕴含的XPath表达式的求值结果是一个有效的布尔值“true”。如果过滤器使用方面作为标准选取事实，则此过滤器可覆盖此方面。一个事实变量的未覆盖方面是指任何其他过滤器未覆盖的方面，此过滤器用于构造变量所蕴含XPath表达式。每一个过滤器规范应指明其所能覆盖的方面(如果有此方面)。覆盖过滤器是指能覆盖它所能覆盖的一个或者多个方面的过滤器。非覆盖过滤器是指不能覆盖它所能覆盖的一个或者多个方面的过滤器。无论过滤器是覆盖过滤器还是非覆盖过滤器。过滤器都指定为过滤器以及使用该过滤器的事实变量之间关系的一部分。过滤器可以通过以下三种方式与事实变量相联系：——明确的，通过变量过滤器关系；——明确的，通过变量集过滤器关系，——隐式的。所有用于联合事实变量与过滤器的方法可以识别过滤器是否覆盖了方面，以及事实变量是否使用了过滤器或者过滤器补集。7．3．5．3变量过滤器关系变量过滤器关系是指事实变量和过滤器之间的关系，该关系由一个XI。ink弧表示。为声明一个变量一过滤器关系，一个XLink弧应满足以下条件：——有一个弧角色值等于http：／／xbrl．org／arcr。le／2008／variable—filter,——在弧的始端资源有一个事实变量；——在弧的末端资源有一个过滤器。弧角色值“http：／／xbrl．org／arcrole／2008／variable．filter”由本章中的规范模式文件定义。变量过滤器关系应由变量过滤器弧表示。根据GB／T25500．1进行的校验可以检测出是否违反了该规则。补充的变量过滤器关系指由一个值为true的、带有complement属性的弧来表示的变量过滤器关系。14 www.bzfxw.com标准分享网www.bzfxw.com免费下载GB／T25500．3—2010过滤器中带有一个补充的变量过滤器关系的事实变量使用其所蕴含的XPath表达式中的过滤器补集，而不是过滤器本身。覆盖变量过滤器关系指由一个值为true的、带有cover属性的弧来表示的变量过滤器关系。如果通过变量过滤器关系使一个过滤器与一个变量相关联，则此过滤器仅覆盖由变量过滤器关系覆盖的已过滤的事实的方面。7．3．5．4变量过滤器弧变量过滤器弧由(variable：variableFiherArc)元素表示。(variable：variableFiherArc>元素的语法由A．4的规范模式文件定义。7．3．6变量集7．3．6．1概述变量所蕴含的XPath表达式可以包括XPath变量引用，这些引用需要转化为其他事实变量或一般变量。当蕴含XPath表达式的变量和引用的变量在同一个变量集中时，此引用才可以进行转化。变量集是指一组可以通过xPath变量引用进行互相引用的事实变量和／或一般变量。变量集是由具有(variable：variableSet)抽象元素的替换组中的本地XLink资源定义的。这样的资源称作变量集资源。所有与变量集资源有变量集关系的变量，都在由此资源所定义的变量集当中。变量集使用其aspeetModel属性来标识其方面模型。变量集合资源中的aspectModel属性的值是方面模型标识符，该方面模型用于在变量集资源定义的变量集中对变量进行求值。变量集的方面模型指由变量集资源上的aspectModel属性来标识的方面模型，该变量集由变量集资源来定义。如果处理软件不能识别被aspectModel属性的值所标识的方面模型，则应抛出错误代码xbrlve：unknownAspeetModel。如果同一个变量集中的两个或更多的变量或参数的名称相同，则应抛出错误代码xbrlve：duplicat—eVariableNames。如果处理软件遇到一个变量集，在该变量集中有一个或两个事实变量有可以覆盖一个方面的过滤器，但该过滤器没有在变量集的方面模型中进行定义，则应抛出错误代码xbrlve：fiherAspectModelM—ismatch。7．3．6．2变量集关系变量集关系是变量集资源与事实变量、一般变量或参数之间的关系，该关系由一个XI。ink弧表示。为声明变量集关系，XI，ink弧应满足以下条件：——有一个弧角色值等于“http：／／xbrl．org／arcrole／2008／variable—set”；——在弧的始端资源有一个变量集资源；——在弧的末端资源有一个参数或一个事实变量或一个一般变量。弧角色值“http：／／xbrl．org／arcrole／2008／variable—set”由A．4的规范模式文件声明。变量一集合关系应使用变量弧表示。根据GB／T25500．1进行的校验可以检测出是否违反了此项规定。变量或参数的QName通过与一个变量集有关系的变量弧中的name属性指定。如果QName没有命名空间前缀，则无论包含元素的缺省命名空间为何值，该QName都没有命名空间。否则，QName会遵循NAMEsPACES规范，使用包含name属性的变量弧范围的命名空间声明。当对一个变量集进行变量求值时，此QName的XPath变量引用是对变量或参数的引用。对于参15 www.bzfxw.comGB／T25500．3—2010数，此QName可以与参数声明中给出的QName不I司。7．3．6．3变量弧变量弧由元素表示。元素的语法由A．4的规范模式文件定义。7．3．6．6隐式过滤器变量集中的事实变量可以与本节中定义的隐式过滤相关联，也可以通过变量过滤器关系和变量集过滤器关系与过滤器明确地相关联。如果一个变量集的事实变量有隐式过滤器，则此变量集应具有一个值为“true”的implieitFiltering属性。如果implicitFihering属性为“false”，则在此变量集里的事实变量与隐式过滤器没有关系。如果变量集的implicitFiltering属性为“true”，则变量集使用隐式过滤器。如果变量集的implicitFiltering属性为“false”，则变量集不使用隐式过滤器。与变量集中的事实变量相关联的隐式过滤器(如果有)依赖于变量集的方面模型。如果变量集含有维度方面模型，则变量集中的事实变量与维度隐式过滤器相关联。如果变量集含有非维度方面模型，则变量集中的事实变量与非维度隐式过滤器相关联。】6 www.bzfxw.com标准分享网www.bzfxw.com免费下载GB／T25500．3—2010过滤器中带有一个补充的变量过滤器关系的事实变量使用其所蕴含的XPath表达式中的过滤器补集，而不是过滤器本身。覆盖变量过滤器关系指由一个值为true的、带有cover属性的弧来表示的变量过滤器关系。如果通过变量过滤器关系使一个过滤器与一个变量相关联，则此过滤器仅覆盖由变量过滤器关系覆盖的已过滤的事实的方面。7．3．5．4变量过滤器弧变量过滤器弧由元素的语法由A．4的规范模式文件定义。7．3．6变量集7．3．6．1概述变量所蕴含的XPath表达式可以包括XPath变量引用，这些引用需要转化为其他事实变量或一般变量。当蕴含XPath表达式的变量和引用的变量在同一个变量集中时，此引用才可以进行转化。变量集是指一组可以通过xhth变量引用进行互相引用的事实变量和／或一般变量。变量集是由具有(variable：variableSeO抽象元素的替换组中的本地XI．ink资源定义的。这样的资源称作变量集资源。所有与变量集资源有变量集关系的变量，都在由此资源所定义的变量集当中。变量集使用其aspectModel属性来标识其方面模型。变量集合资源中的aspectModel属性的值是方面模型标识符，该方面模型用于在变量集资源定义的变量集中对变量进行求值。变量集的方面模型指由变量集资源上的aspeetModel属性来标识的方面模型，该变量集由变量集资源来定义。如果处理软件不能识别被aspeetModel属性的值所标识的方面模型，则应抛出错误代码xbrlve：unknownAspeetModel。如果同一个变量集中的两个或更多的变量或参数的名称相同，则应抛出错误代码xbrlve：duplicat—eVariableNames。如果处理软件遇到一个变量集，在该变量集中有一个或两个事实变量有可以覆盖一个方面的过滤器，但该过滤器没有在变量集的方面模型中进行定义，则应抛出错误代码xbrlve：fiherAspectModelM—ismatch。7．3．6．2变量集关系变量集关系是变量集资源与事实变量、一般变量或参数之间的关系，该关系由一个XI。ink弧表示。为声明变量集关系，XI。ink弧应满足以下条件：——有一个弧角色值等于“http：／／xbrl．org／arcrole／2008／variable—set”；——在弧的始端资源有一个变量集资源；——在弧的末端资源有一个参数或一个事实变量或一个一般变量。弧角色值“http；／／xbrl．org／arcrole／2008／variable—set”由A．4的规范模式文件声明。变量一集合关系应使用变量弧表示。根据GB／T25500．1进行的校验可以检测出是否违反了此项规定。变量或参数的QName通过与一个变量集有关系的变量弧中的name属性指定。如果QName没有命名空间前缀，则无论包含元素的缺省命名空间为何值，该QName都没有命名空间。否则，QName会遵循NAMEsPAcEs规范，使用包含name属性的变量弧范围的命名空间声明。当对一个变量集进行变量求值时，此QName的XPath变量引用是对变量或参数的引用。对于参15 www.bzfxw.comGB／T25500．3—2010数，此QName可以与参数声明中给出的QName不同。7．3．6．3变量弧变量弧由(variable：variableAre>元素表示。(variable：variableArc>元素的语法由A．4的规范模式文件定义。7．3．6．4变量集过滤器关系变量集过滤器关系是变量集资源和过滤器之间的关系，该关系由xI。ink弧表示。为声明一个变量集过滤器关系，xI．ink弧应满足以下关系：一一有一个弧角色值等于http：／／xbrl．org／arcrole／2008／va“ableset—filter；——在弧的始端资源定义一个变量集的XLink资源；——在弧的末端资源有一个过滤器。弧角色值“http：／／xbrl．org／arcr01e／2008／variableset—filter”由A．4的规范模式文件声明。变量集过滤器关系应通过变量集过滤器弧表示。根据GB／T26500．1进行的校验可以检测出是否违反了此项规定。根据定义，参与变量集过滤器关系的过滤器与变量集当中的每～个事实变量相关联，该变量集由其相关资源定义。组过滤器是指一个过滤器通过变量集过滤器关系与事实变量相关联。变量集过滤器补集关系指由一个值为true、带有complement属性的弧所表示的变量集过滤器关系。在一个由资源定义的变量集中，与一个过滤器拥有变量集过滤器关系的事实变量，使用其所蕴含的XPath表达式中的过滤器补集，而不是过滤器本身。根据定义，通过变量集过滤器关系与事实变量相关联的所有过滤器都不能覆盖任何方面。通过变量集过滤器关系与事实变量相关联的过滤器所蕴含的XPath表达式不应包括对一般变量或事实变量的XPath变量的引用。如果通过变量集过滤器关系与事实变量相关联的过滤器所蕴含的XPath表达式中包含对一般变量或事实变量的XPath变量引用，则应抛出错误代码xbrlve：factVariableReferenceNotAliowed。7．3．6．5变量集过滤器弧变量集过滤器弧由(variable：variableSetFiherAre)元素表示。(variable：variableSetFiherArc)元素的语法由A．4的规范模式文件定义。7．3．6．6隐式过滤器变量集中的事实变量可以与本节中定义的隐式过滤相关联，也可以通过变量过滤器关系和变量集过滤器关系与过滤器明确地相关联。如果一个变量集的事实变量有隐式过滤器，则此变量集应具有一个值为“true”的impllcitFiltertng属性。如果implicitFihering属性为“false”．则在此变量集里的事实变量与隐式过滤器没有关系。如果变量集的implicitFihering属性为“true”，则变量集使用隐式过滤器。如果变量集的implicitFiltering属性为“false”，则变量集不使用隐式过滤器。与变量集中的事实变量相关联的隐式过滤器(如果有)依赖于变量集的方面模型。如果变量集含有维度方面模型，则变量集中的事实变量与维度隐式过滤器相关联。如果变量集含有非维度方面模型，则变量集中的事实变量与非维度隐式过滤器相关联。6 www.bzfxw.com标准分享网www.bzfxw.com免费下载GB／T25500．3—20107．3．6．7前提条件变量集资源可以通过变量集前提条件关系与前提条件相关联。前提条件定义了进行变量集求值前所应满足的条件。前提条件通过(variable：precondition)元素表示。(variable：precondition)元素的语法由A．4的规范模式文件定义。前提条件中的test属性中包含一个XPath表达式。其内容称为前提条件表达式。给定与前提条件相关联的变量集中的变量值，已满足的前提条件是指前提条件表达式的求值为一个有效的布尔值为“true”。前提条件表达式求值的上下文节点是输入XBRI。实例中的(xbrli：xbrl)元素。7．3．6．8变量集前提条件关系变量集前提条件关系指变量集资源和前提条件之问的关系，该关系由一个XLink弧表示。为声明一个变量集前提条件关系，XI，ink弧应满足以下条件：——有一个弧角色值等于http：／／xbrl．org／arcrole／2008／va“ableset—precondition；～在弧的始端资源有一个变量集资源；——在弧的末端资源有一个前提条件。弧角色值“http：／／xbrl．org／arcrole／2008／va“able—set—precondition”由A．4的规范标准模式文件来声明。变量集前提条件关系应通过一般弧表示。根据GB／T25500．1进行的校验可以检测出是否违反了此项规定。7．4变量求值7，4．1概述一般变量求值指对输入XBRI。实例中的一般变量进行求值。事实变量求值指对输入XBRI．实例中的事实变量进行求值。变量求值指一般变量求值或者事实变量求值。除了以下三种特殊情况以外，如果已经对变量集中所有变量进行求值，并且在对给定变量集中的变量求值时，所有与变量集相关联的前提条件已满足，则变量集求值视为已发生。三种特殊情况列示如下：——如果变量集中无变量，则当与变量集相关的所有前提条件已满足时，变量集求值视为已发生；——如果变量集包含事实变量，但所有的事实变量的求值均为候补值，则变量集求值视为未发生；一一如果变量集包含一个事实变量v，该事实变量的求值为候补值，但在不改变变量集中其他任一事实变量的值的情况下，该事实变量的求值也可以为非候补值，此变量集本身没有候补值·并且也不依赖于事实变量v，则变量集求值视为未发生。根据给定变量集的方面模型求值后，如果输入XBRI，实铡中包含的事实的方面不能唯一确定，则应抛出错误代码xbrlve：ambiguousAspects。根据给定的待求值的变量集的方面模型，如果输人XBRI。实例中包含事实的一个或者多个方面的值不能唯一确定，则应抛出错误代码：xbrlve：ambiguousAspectValues。如果一个变量集求值中的每一个变量求值与其他变量集求值中同一事实变量的求值相同，则对于给定输入的一个变量集的两个求值是同一变量一集合求值。如果两次求值不同，则对于给定输入的一个变量集的两个求值是不同变量集求值。17 www.bzfxw.comGB／T25500．3—2010如果两个求值是相同长度的序列，对于一个序列中的每一项在其他序列中均有对应的相同项，则一个事实变量的两个求值是同一事实变量求值。所有变量求值都从变量所蕴含的XPath表达式的求值开始。如果XPath表达式包含XPath变量引用，则此XPath表达式拥有一个变量依赖。应用程序负责确定一个变量集中变量的求值顺序，以此来确保变量集中每一个变量和已经求值的变量的变量依赖。如果一个已求值的XPath表达式无法与变量或参数建立变量依赖。则应抛出错误代码xbrlve：un—res。lvedDependency。如果变量集中的变量问的引用存在循环依赖，则应抛出错误代码xbrlve：cyclicDependencies。示例：循环变量引用事实变量$a蕴含一个XPath表达式．该XPath表达式包含对一般变量$b的XPath变量引用。一般变量$b蕴含一个XPath表达式，该XPath表达式包含对一般变量$c的一个XPath变量引用。一般变量$c蕴含一个XPath表达式，该XPath表达式包含对一般变量$a的一个XPath变量引用。XPath的变量应用的循环集可包括事实变量和一般变量。源序列指通过对一般变量或者事实变量所蕴含的XPath表达式求值所得到的序列。7．4．2绑定成一个序列如果变量有bindAssequence属性，且为true，则此变量可绑定成一个序列。变量求值的结果依赖于变量是否绑定成了一个序列。对于未绑定成序列的一般变量，其求值结果是其源序列中任意一项。对于绑定成序列的一般变量，其求值结果是源序列。对于一个事实变量，如果源序列非空并且未绑定成一个序列，则其求值结果是该序列的候选值，或者是其源序列中的任意一个事实。对于一个事实变量，如果源序列非空并且绑定成一个序列，则其求值结果是它的候选值，或者是其源序列中的任意～个满足下列条件的事实一——求值结果中的所有事实数据同时在事实变量的源序列中；——在求值结果中，事实仅发生一次；——求值结果序列中每个事实数据的每一个未覆盖方面应拥有一个在求值结果中与所有其他事实等效的方面值；——求值结果中的所有事实应拥有相同的方面集；——如果事实变量的matches属性缺省或者为false，则求值结果不应包含任何方面匹配事实；——求值结果应包含来源于符合前提条件的源序列的所有可能的事实。事实变量的求值结果中的事实顺序依赖于应用程序。仅在其所包含的事实的顺序方面存在不同的求值结果视为相同的求值结果。7．4．3绑定成一个空序列如果一个源序列为空，则事实变量的求值结果同样依赖于此事实变量的fallbackValue属性。如果一个事实变量拥有fallbaekValue属性，则其可以绑定成一个空序列。否则，当源序列为空时，一个事实变量不能绑定成一个空序列，则对该事实变量进行求值。如果一个事实变量可以绑定成一个空序列，并且源序列为空，则变量求值的结果取决于fallbackValue属性。具体来说，事实变量求值的结果通过输入XBRL实例的(xbrl；xbrli>元素作为上下文节点，由fallbackValue属性所包含的XPath表达式的求值给定。变量集中的参数在上下文中用于18 www.bzfxw.com标准分享网www.bzfxw.com免费下载GB／T25500．3—2010fallbackValue属性中的XPath表达式的求值，但变量集中的事实变量和一般变量则不能在上下文中用于fallbackValue属性中的XPath表达式的求值，因此不能在XPath表达式内被引用。候补值是指在fallbackValue属性的内容基础上所确定的事实变量的值。非候补值是指在源序列的基础上而非fallbaekValue属性内容的基础上所确定的事实变量的值。8过滤器8．1布尔过滤器8．1．1概述本章对AND过滤器和OR过滤器进行了XMI。语法定义，其中AND过滤器要求数据应满足的所有子过滤器的条件，OR过滤器则要求数据仅需满足其中任一子过滤器的条件。子过滤器是指因布尔过滤器关系而与布尔过滤器相关联的过滤器。在本章中所定义的所有过滤器均称为布尔过滤器。8．1．2语法8．1．2．1AND过滤器AND过滤器是由(bf：andFihernil)元素来声明的，本章的模式文件定义了(bftandfilter)元素的语法。AND过滤器以所有子过滤器所表达的条件来匹配事实。由AND过滤器表示的XPath表达式，均包含关于每一个子过滤器或是子过滤器补充物的一个条件。关于子过滤器或子过滤器补充物的条件，即为由该子过滤器或子过滤器补足物表示的XPath公式。这些条件合起来组成单一的XPathand—expression表达式，并用“和”将其分隔。AND过滤器可以涵盖其子过滤器涵盖的所有方面。AND过滤器见示例。示例：AND过滤器子过滤器暗含的约束条件·用于匹配含有被命名为(egtassets)的概念的事实的概念名称过滤器通过AND过滤器所匹配到的事实应以《eg：assets)来命·用于匹配含有模式文件httpl／／www．example．com／名。且其上下文中有一个http；／／www．example．corn／entity／identification中的一个实体标识符的事实的entity／identification模式文件中的实体识别符特定实体模式文件过滤器·用于匹配具有(xbrli：xbrl)父项的事实的父项过滤器用于匹配上下文期间为“永久”的事实的永久过滤器事实不应包含在元组中．而且应在“永久”期间内报告8．1．2．2OR过滤器OR过滤器是由(bf：orFiher)元素来声明的。A．5的模式文件定义了(bf：orFilter)元素的语法。OR过滤器是以任一子过滤器所表达的条件来匹配事实。由OR过滤器表示的XPath公式，均包含关于每个子过滤器或是子过滤器补充物的一个条件。关于子过滤器或是子过滤器补充物的条件，即是由该子过滤器或是子过滤器补充物表示的XPath公式。19 www.bzfxw.comGB／T25500．3—2010这些条件合起来组成单一的XPathor—expression，并用“或”将其分隔。一个OR过滤器可以涵盖其子过滤器涵盖的所有方面。OR过滤器见示例。示例：OR过滤器子过滤器晴含的约束条件用于匹配含有被命名为(eg：assets)的概念的事实的概念名称过滤器所匹配到的事实应以均含有一个项，这些项通过XPath的OR运算符相结合。概念名称过滤器所蕴含的XPath表达式中的每个条件为以下两种形式中的任一种：——如果元素包含一个元素，则条件为：(fn：node—name(．)eq#qnameExpression)其中：#qnameExpression是cf：qnameExpression元素所包含的XPath表达式。——如果元素，则条件为：(fn：node—name(．)eqfn：QName(#namespace，#name))其中：#namespace是作为(cf：qname)元素内容的QName的命名空间，#name是作为(cf：qname>元素内容的QName的本地名称。概念名称过滤器见示例。示例：概念名称过滤器过滤器选择标准(ef；concept>(cf：qname>eg：asset8概念名称应为eg：assets<／ef：qname>(／ef；concept>(／cflconceptName>‘c{：eoneeptName)(cf：concept>(cf：qname>eg：assets(／cf：qname>(／eflconcept>概念名称应为eg：assets或者eg：liabilities(cf：qnameExpression>fn￡QName(7http：／／example．tom／’，’eg：liabilities’)‘／d：qnameExpression>(／of；concept>(／el：conceptName>(ef：conceptName>概念名称应与由XPath变量引用$a存取的节点的概念名(cflconcept>称相同注：XI．ink属性被省略8．2．2．2概念期间类型过滤器概念期间类型过滤器由(cf：conceptPeriodType)元素声明。(cf：conceptPeriodType)元素的语法由A．6的规范模式文件定义。概念期间类型过滤器可以根据报告值是时间段类型还是时点类型来匹配事实，事实报告值的类型由xbrli：periodType属性决定。21 www.bzfxw.comGB／T25500．3—2010概念期间类型过滤器所蕴含的XPath表达式为：xfi：concept—period—type(fn：node-name(．))eq7#periodType’其中；#periodType是概念期间类型过滤器中periodType属性的值。概念期间类型过滤器见示例。示例：概念期间类型过滤器过滤器选择标准l《cf,conceptPeFi。dTyp。peri。dType=”instant"／>报告事实中应含有时点期间『(cf：conceptPeri。dTyp8peri。dType一“duration"／)报告事实中应含有时间段期间注：XI。ink属性被省略。8．2．2．3概念余额过滤器概念余额过滤器由(cf：conceptBalance>元素声明。(cf：conceptBalance)元素的语法由A．6的规范模式文件定义。概念余额过滤器可以匹配含有xbrlitbalance属性，且当该属性是否有借方或贷方值的事实。概念余额过滤器所蕴含的XPath表达式为：if(’#balance’eq’none’)then(xfilcOncept—balance(fn：node-name(．))eq”)else(xfi：concept—balance(fn：node—name(．))eq’#balance7)其中：#balance是概念余额过滤器中balance属性的值。概念余额过滤器见示例。示倒：概念余额过滤器过滤器选择标准(cf：conceptBalancebalance=“credit“／>事实的概念应被分类为贷方余额概念事实的概念不应被分类为借方或贷方余额概念注：XLink属性被省略。8．2．2．4概念自定义属性过滤器概念自定义属性过滤器由(cf：conceptCustomAttribute>元素声明。元素内容的QName的命名空间，#name是(cf：qname)元素内22 www.bzfxw.com标准分享网www.bzfxw.com免费下载GB／T25500．3—2010容的QName的本地名称。自定义属性所需的值由概念自定义属性过滤器@value属性中的XPath表达式提供。如果不存在value属性，且(cf：attribute)元素包含一个(cf：qnameExpression)元素，则概念自定义属性过滤器所蕴含的XPath表达式为：xfi：concept—custom—attribute(fn：node—name(．)，#qnameExpression)其中：#qnameExpression是(of：qnameExpression)元素所包含的XPath表达式。如果不存在value属性，且(cf：attribute)元素包含一个(cf：qnameExpression)fnlQName(’httpl／／example．com／’，’custom’)事实的概念应有一个@eg；custom属性。并且该属性的布(／cfIqnameExpression)尔值为false(／cffattribute)(／cflconceptCustomAttribute)注：XLink属性被省略。8．2．2．5概念数据类型过滤静概念数据类型过滤器由(cflconceptDataType)元素声明。(cf：conceptDataType)的语法由A．6的规范模式文件定义。概念数据类型过滤器可以根据事实的XMI，模式文件中的数据类型来匹配事实。如果(cf：type)元素包含一个(cf：qnameExpression>元素，且(cf：conceptDataType)元素的@strict23 www.bzfxw.comGB／T25500．3—2010属性值为true，则概念数据类型过滤器所蕴含的XPath表达式为：xfi：conceptdata—type(fn：node—name(．))eq#qnameExpression其中：#qnameExpression是(ef：qnameExpression)元素所包含的XPath表达式。如果(cf：type)元素包含一个(cf：qnameExpression>元素，且(cf：conceptDataType)元素的@strict属性值为false，则概念数据类型过滤器所蕴含的XPath表达式为：xfi：concept—data—type—derived—from(fn：node—name(．)，#qnameExpression)其中：#qnameExpression是元素的@strict属性值为true，则概念数据类型过滤器所蕴含的XPath表达式为：xfi：concept—data—type(fn：node—name(．))eqfn：QName(#namespace，#name))其中：#nflmespace是(cf：qname)元素内容的QName的命名空间，#name是(cf：qname)元素内容的QName的本地名称。如果(ef：type)元素包含一个(cf；qname)元素，且(cf：c。nceptDataType)元素的@strict属性值为false，则概念数据类型过滤器所蕴含的XPath表达式为：xfi：concept—data—type—derived—from(fn：node—name(．)，fn：QName(#namespace，#name))其中：#namespace是作为(efltype)(cflqname)事实的概念的数据类型应是@xbrli：monetary—xbrli：monetaryltemTypehemType(／el：qname)(／cf：type)(／cf：conceptDataType>(cf!conceptDataTypestrict=”false”)(cf：type)(cf：qname)事实的概念的数据类型应被限定为@xbrli：pu—xbrlilpurehemTyperehemType(／el：qname)<／cf：type)<／ofIconceptDataType>(cficoneeptDataTypestrict=”false”)假设自定义函数注：XLink属性被省略24 www.bzfxw.com标准分享网www.bzfxw.com免费下载8．2．2．6概念替换组过滤器GB／T25500．3—2010概念替换组过滤器由(cf：c。nceptsubstitutionGroup)元素声明。(cf：conceptSubstitutionGroup)元素的语法由A．6的规范模式文件定义。概念替换组过滤器可以根据事实的XMI。模式文件中的替换组来匹配事实如果元素内容的QName的命名空间，#name是作为(cf：qname>元素内容的QName的命名空间。如果(cf：substitutionGroup)元素包含一个(cf；qname)元素，且(cf：conceptsubstitutionGroup)元素的@strict属性值为false，则概念替换组过滤器所蕴含的XPath表达式为：op：intersect((fn：QName(#namespace，#name))，xfi：concept—substitutions(fn：node—name(．)))其中；#namespace是作为(cf：qname)元素内容的QName的命名空间，#name是作为元素内容的QName的本地名称。概念替换组过滤器见示例。示倒：概念替换组过滤器过滤器选择标准(cf：conceptSubst；tutIonGroupstrict=”true”>(cflsubstitutionGroup)元素有一个子元素(df：variable>，#member是成员的QName，该成员为事实的过滤器维度的值，而该事实与(df：variable)元素的QName值命名的变量绑定。如果明确维度过滤器没有过滤器成员，则明确维度域中的所有域成员都满足过滤器标准。所蕴含的XPath表达式为：xfi：fact—has—explicit—dimension(．，#dimension)否则，当明确维度过滤器有一个或多个过滤器成员时，明确维度过滤器的每个过滤器成员蕴含一个允许作为过滤器维度值的域成员的集合。对于此类明确维度过滤器，其所蕴含的XPath表达式是使用通过XPath或运算符合并一组条件(每个过滤器成员一个条件)来构建的。一个过滤器成员的过滤器成员集是指由该过滤器成员允许的、作为过滤器维度的值域成员的集合。过滤器成员链接角色是指过滤器成员的(df：linkrole)子元素的值。过滤器成员弧角色是指过滤器成员的元素声明。(ef：identifier>元素的语法由A．8的规范模式文什定义。实体标识符过滤器可以根据实体识别模式文件和／或实体标识值的特征来匹配事实。实体标识符过滤器所蕴含的XPath表达式如下所示：xfi：identifier(，)[#test]，其中：#test足实体标识符过滤器L}Itest属性的值。实体标识符过滤器见示例。示例：实体标识符过滤器过滤test属性选择标准stringlength(xfi；identifiervalue(．))8个事实的实体标谚{符值应足8位字符8．4．2．2特定实体方案过滤器特定实体模式文件过滤器由(ef：specificScheme)元索声明，元素的语法由A．8的规范模式文件定义。特定实体模式文件过滤器町以用于匹配具有以下特征的事实：即该事实足否报告由过滤器识别的方案的值。特定实体方案过滤器所蕴含的Xt’ath表达式如下所示：xfi：factidentifierscheme(，)eq#scheme，其巾：#scheme是特定的实体力‘案过滤器scheme属性的值。特定实体模式文什过滤器见示例。示例：特定实体模式文件过滤器 www.bzfxw.comGB／T25500．3—2010过滤scheme属性选择标准一个事实的实体识别模式文件应该是http：／／xbrl．my．eom／’http；／／xbrl．my．corn／entity／identification／schemeentity／identification／scheme。注意属性中要求使用引号．这是因为scheme属性的内容被解释为XI’ath表达式一个事实的实体识别模式文件应与使用变最vadableB求值的xfi：fact-identifier_seheme($eg：variaNeB)事实的实体识别模式文件相同8．4．2．3正则表达式实体模式文件过滤器正则表达式实体模式文件过滤器由(ef：regexpScheme>元素声明，(ef：regexpScheme>元素的语法由A．8的规范模式文件定义。正则表达式实体模式文件过滤器可以根据实体模式文件中文本的常见模式匹配事实。正则表达式实体模式文件过滤器所蕴含的XPath表达式如下所示：fn：matches(xfi：fact．identifier—scheme(．)，’#pattern’)，其中：#pattern是正则表达式实体模式文件过滤器的pattern属性的值。正则表达公式实体模式文件过滤器见示例。示例；正则表达式模式文件方案过滤器过滤pattern属性选择标准‘http．+实体识别模式文件应以http开头，并且其后至少有一位字符8．4．2．4特定实体标识符过滤器特定实体标识符过滤器由(ef：specificIdentifier)元素声明。(ef：specificIdentifier>元素的语法由A．8的规范模式文件定义。特定实体标识符过滤器可以匹配是否使用由过滤器给定的实体标识符的值来报告值的事实。特定实体标识符过滤器所蕴含的XPath表达式如下所示：(xfi：fact—identifiervalue(．)eq#valueandxfi：fact—identifierscheme(．)eq#scheme)，其中：#valuei是特定的实体标识符过滤器的value属性的值，#scheme是特定实体标识符过滤器的scheme属性的值。特定实体标识符过滤器见示例。。示例：特定实体标识符过滤器过滤scheme属性过滤value属性选择标准实体标识符模式文件应为http：／／my．eom／entity／idenhttp：／／my,corn／entity／identification／scheme1234ASDFtification／seheme．并且实体识别值应为1234ASDF8．4．2．5正则表达式的实体标识符过滤器正则表达式实体标识符过滤器由元素的语法由A．10的模式文件定义。实体标识符匹配过滤器可用于选取拥有相同实体标识符的事实。34 www.bzfxw.com标准分享网www.bzfxw.com免费下载GB／T25500．3—2010实体标识符匹配过滤器包括实体标识符方面。8．7．2．5期间匹配过滤器期间匹配过滤器}l_i(mf：matchPeriod>元素定义。(mf：matchPeriod)元素的语法由A．10的模式文件定义。期间匹配过滤器可用于选取拥有相同期间的事实。期间匹配过滤器包括期间方面。8．7．2．6维度匹配过滤器维度匹配过滤器由元素定义。元素的语法由A．10的模式文件定义。完整段匹配过滤器可用于选取拥有相同段的事实，此处段的内容与XBRI。维度规范中段的内容不同。完整段匹配过滤器包括完整段方面。8．7．2．8非XDT段匹配过滤器非XDT段匹配过滤器由(mf：matchNonXDTSegment)元素定义。(mf：matchNonXDTSegment>元素的语法由A．10的模式文件定义。非XDT段匹配过滤器可用于选取拥有相同段的事实，此处的段排除了XBRL维度规范的内容。非XDT段匹配过滤器包括非XDT段方面。8．7．2．9完整场景匹配过滤器完整场景匹配过滤器由(mf：matchNonXDTSegment)元素定义。(mf：matchNonXDTSegment)元素的语法由A．10的模式文件定义。完整场景匹配过滤器可用于选取拥有相同场景的事实，此处场景的内容与XBRI。维度规范中场景的内容不同。完整场景匹配过滤器包括完整场景方面。8．7．2．10非XDT场景匹配过滤器非XDT场景匹配过滤器由元素的语法由A．11的规范模式文件定义。期间一时点过滤器用于根据事实的度量时点来匹配事实。如果期间时点过滤器拥有time属性，那么期间时点过滤器默认的XPath表达式为：if(fn：QName(”http：／／www．xbrl．org／2003／instance”，”tuple”)intersect37 www.bzfxw.comGB／T25500．3—2010xfi：conceptsnbstitutions(fn：node—name(．)))then(false())else(xfi：period(．)[if(xfi：is—instantperiod(．))then(xfi：periodinstant(．)eqfn：dateTime(#date，#time))elsefn：false()])其中：#date是期间一时点过滤器中date属性的值，#time是期间一时点过滤器中time属性的值。如果期间一时点过滤器没有time属性，那么期间一时点过滤器默认的XPath表达式为：if(fn：QName(”http：／／www．xbrl．org／2003／instance”，”tuple”)intersectxfi：conceptsubstitutions(fn：node—name(．)))then(false())else(xfi：period(．)[if(xfi：is—instantperiod(．))then(xfi：period—instant(．)eq(fn：dateTime(#date，XS：time(’00：00：00’))十XS：dayTimeDuration(’P1D’)))elsefn：false()])其中：#date是期间时点过滤器中date属性的值。期间一Itt点过滤器见示例。示倒：期间时点过滤器date属性值lime属性值隐含的限制xH：daIe(72008Ol01‘)忽略选取的事实应是在2006年1月1日当天结束的时候报告的事实xs：date(‘200701—01’)xs：time(’00：00t00’)选取的事实应是在2007年1月1日当天开始的时候报告的事实8．8．2．5无穷过滤器无穷过滤器由(pf：forever)元素申明。(pf：forever)元素的语法由A．11的规范模式文件定义。无穷过滤器可用于匹配报告的带有无穷期间的事实。无穷过滤器默认的XPath表达式为：if(fn：QName(”http：／／www．xbrl．org／2003／instance”·”tuple”)intersectxfi：concept．substitutions(fn：node-name(．)))then(false())else(xfi：period(．)[xfi：is—forever．period(．)])8．8．2．6时点一时间段过滤器时点时间段过滤器由(ph：instantDuration)元素申明。元素的语法由A．11的规范模式文件定义。时点时间段过滤器用于匹配报告的时点与另一个报告的事实所属时间段的起点或终点相匹配的事实。当boundary属性等于start时，时点一时间段过滤器默认的XPath表达式为：if(fn：QName(”http：／／www．xbrl．org／2003／instance”，”tuple”)intersectxfi：conceptsubstitutions(fn：node-name(．)))then(false())else(xfi：period(．)[if(xfi：is—instant—period(．)andxfi：isstart—end—period(xfi；period($#variable)))then(xfi：periodinstant(．)eqxfi；period—start(xfi：period($#variable)))elsefn：false()])其中：#variable为时点一时间段过滤器中variable属性所包含的QName。当boundary属性等于end时，时点时间段过滤器默认的XPath表达式为：if(fn：QName(”http：／／www．xbrl．org／2003／instance”，”tuple”)intersectxfi：concept—substitutions(fn：node—name(．)))then(false())else(xfi：period(．)[jf(xfi：is—instantperiod(．)andxfi：is—start—endperiod(xfi：period($#variable)))then38 www.bzfxw.com标准分享网www.bzfxw.com免费下载GB／T25500．3—2010(xfi：period—instant(．)eqxfi：periodend(xfi：period($#variable)))elsefn：false()])其中：#variable为时点一时间段过滤器中variable属性所包含的QName。时点一时间段过滤器见示例。示例；时点一时间段过滤器boundary属性值variable属性值隐含的限制starteg；variableA选取的事实应是时点等于对变量eg：variableA求值后的事实的时间段的起点8．9相关过滤器8．9．1概述本章对以下过滤器进行了定义：该过滤器u丁将一个事实的所有未覆盖方面的值与其他事实的相应方面进行匹配。相关对过滤器可以识别方面相可匹配的事实变量。相关过滤器中的一个事实变量的未覆盖方面的值的确定与由相关对过滤器所识别出的、与变量相匹配的事实的未覆盖方面的值有关。8．9．2语法相关对过滤器由(rf：relativeFilter)元素的声明。(rf：relativeFilter)元素的语法由A．12提供的规范模式文件来定义。相关对过滤器覆盖了所有的其他过滤器未覆涵盖的方面。如果一个相关过滤器包含了所有方面，则那么与该相关过滤器相关联的事实变量没有是与非未覆盖的方面相关。相关对过滤器可用于选取事实，该事实的方面由被相关对过滤器覆盖，并且值与另一个事实的相对应的方面相等。相关对过滤器所匹配的事实应必须是另一个事实变量的求值结果，该求值结果处于待求值的变量集中。如果相关对过滤器中由variable变量属性所确定的事实变量的求值为候补fallbaek值，则那么相关对过滤器所蕴含的XPath表达式为：fn：false()如果由variable变量属性所确定的事实变量的求值不是fallback候补值，则此相关过滤器所蕴含的XPath表达式将在本章的后面章节中进行陈述。相关对过滤器所匹配的方面是由变量集的方面模型决定的。相关对过滤器所蕴含的XPath表达式是由“和一表达”构成的，“和一表达”来源于匹配过滤器的XPath表达式，匹配过滤器可匹配变量集的方面模型中的每个方面。每个匹配过滤器的variable属性的值与相关对过滤器中的variable属性的值相等。对于方面模型(包括维度方面)，每个维度匹配过滤器的维度dimension属性的值与相匹配的维度的QName相等。示例1列示了小部分需要定义变量用于计算股票流量的过滤器。相关对过滤器将为两个变量匹配除了概念、期间和重编15期以外的所有方面的类型化维度。与相比定义在隐式过滤器规范所定义中的隐式过滤器相比，相关对过滤器可以从更多方面对进行值进行匹配。示例1：用于计算期末股票的变量39 www.bzfxw.comGB／T25500．3—2010Variables111thevariableset变量集的变量VariableFilters变量过滤器eg：flow覆盖的概念名称过滤器要求报告与eg：flow概念匹配的事实的值——覆盖的概念名称过滤器要求报告与eg：stock概念匹配的事实的值覆盖的时间点时间段过滤器要求报告满足匹配条件的事实的值，事实的报告值满足条件：时间点等于根据eg：flow变量匹配的事实的时间段的起点eg：startingSlock——覆盖的类型化维度过滤器要求匹配事实，事实的报告值满足条件：重编日期等于根据eg：flow变量匹配的事实的结束日期覆盖的相关过滤器匹配根据变量eg：flow求值的其他未覆盖方面的事实根据给定eg：restatementDate类型化维度的过滤器的需求。不适用于此变量集不能使用非维度方面模型的使用对此变量集。示例2列示了小部分需要定义变量用于根据资产总额和负债总额计算所有者权益的过滤器。相关对过滤器将为两个变量匹配除了概念以外的所有方面。与相比定义在隐式过滤器规范中所定义的隐式过滤器相比，相关对过滤器可以从更多方面对进行值进行匹配。示例2：用于计算会计恒等式的变量Variableslnthevariableset变量集的变量VariableFIllers变量过滤器eg：assets覆盖的概念名称过滤器要求报告与eg：assets概念匹配的事实的值覆盖的概念名称过滤器要求报告与eg：liabilities概念匹配的事实的值eg：liabilities——覆盖的相关过滤器匹配事实的其他未覆盖的方面。该事实为eg：assets变量的求值由于段过滤器和场景过滤器的匹配未考虑XBRI。维度值的比较差异，因此，在XBRI．实例中使用XBRI．维度时，变量集在非维度方面模型中小适用。8．10片段·场景过滤器8．10．1概述本章定义了以段和场景的内容作为条件的过滤器的XML语法。本章中定义的、可根据段和场景的内容选取事实的过滤器并不以GB／T25500．2中定义的明确维度和类型化维度为基础。非XDT内容并不受GB／T25500．1的严格限制。本章所定义的过滤器不宜与维度方面模型中的变量求值相联系。8．10．2语法8．10．2，1片段过滤器片段过滤器由(ssf：segment>元素定义。(ssf：segment>元素的语法由A．13的模式文件定义。40 www.bzfxw.com标准分享网www.bzfxw.com免费下载片段过滤器可用于匹配内容含有满足特定限制条件的非XTD内容的事实。当片段过滤器中含有“测试”属性时，片段过滤器的XPath公式为：xfi：segment(．)#test其中：“#test”是片段过滤器中“测试”属性的属性值。当片段过滤器中不存在“测试”t属性时，片段过滤器的XPath公式为：fn：true()片段过滤器涵盖r完整段方面。片段过滤器见示例。示例：片段过滤器GB／T25500．3—2010FiIIerte虬叭trlbuk选取标准xs：boolCall(’true7)一个事实的上下文应包含元素eg：mlrang一个事实的上F文应包含(xbrli：segment)元素．且该元素拥有(eg：mining)子元素8．10．2．2场景过滤器场景过滤由元素定义。元素由A．13的规范模式文件定义。场景过滤器可用于匹配内容含有满足特定限制条件的非XTD内容的事实。当场景过滤器中含有“测试”属性时，场景过滤器的XPath公式为：xfi：scenario(．)[#test]其中：#test是场景过滤器中“测试”属性的属性值。当场景过滤器中不存在“测试”t属性时．场景过滤器的XPath公式为：fn：true()场景过滤器涵盖r完整场景方面。场景过滤器见示例。示例：场景过滤器Flltertestat⋯bute选取标准xs：boolean(7[ruc‘)一个事实的卜下文应包含(xbrli：scenario>元素eg；audited一个事实的上下文臆包含(xbr[i：scenario)元素，且该元素拥有(eg：audited)于元素B．11元组过滤器8．11．1概述本章定义了根据XBRI。实例中与元组结构相关的事实位置选取事实的过滤器的语法。以下信息类型町以使用本章所定义的过滤器选取事实：⋯～父亲元组的名称；祖先Ji组的名称{——一个事实是否与另一个事实变量的求值处于同级兄弟节点；一个事实是否与另一个事实变量的求值在日标XBRI。实例中处于指定的位置。本章所定义的所有过滤器均覆盖了位置方面。8．11．2语法8．11．2．1父亲过滤器父亲过滤器由(tf：parentFiltcr)丸素声明，“fparentFilter)元素的语法由A，ld的规范模式文件4l www.bzfxw.comGB／T25500．3—2010定义。父亲过滤器可根据指定的父亲元素选取事实。当(tf：parent)元素包含一个(cf：qnameExpression>元素时，父亲过滤器所蕴含的XI’ath表达式为：(fn：node—name(．．)eq#qnameExpression)，其中：#qnameExpression是包含在tf：qnameExpression元索中的XPath表达式。当元素包含一个(tf：qname>元素时，父亲过滤器所蕴含的XPath表达式为：(fn：node—name(．．)eqfn：QName(#namespace，#name))，其中：#namespaee是作为(uf：qname>元素内容的QName的命名空间，#name是作为(uf：qname>元素内容的QName的本地名称。父亲过滤器见示例。示例：父亲过滤器父亲QName隐含的限制xbr；i：xbrI元组中不应包含事实eg：mytuple选取的事实应是一个带有QName的元组的子元素8．”．2．2祖先过滤器祖先过滤器由(tf：aneestorFiher>元素声明，祖先过滤器可根据指定的祖先元素选取事实。(tf：an—cestorFiher>元素的语法由A．14的规范模式文件定义，当(tf：ancestor)元素包含一个(cf：qnameExpression>元素时，祖先过滤器所蕴含的XPath表达式为；fn：not(fn：empty(ancestor：："X-[fn：node—name(．)eq#qnameExpression]))，其中：#qnameExpreasion是包含在tf：qnameExpression元素中的XPath表达式。当(tf：ancestor)元素包含一个(tf：qname)元素时，祖先过滤器所蕴含的XPath表达式为：fn：not(fn：empty(ancestor：：*Un：node—name(．)eqfn：QName(#namespace，#name)]))，其中：#namespaee是作为(uf：qname)元素内容的QName的命名空间，#name是作为(uI：qname)元素内容的QName的本地名称。祖先过滤器见示例。示例：祖先过滤器l祖先QName臆含的限制xbrli：xbrl一个XBRI．实例中应包台事实。(注：由于XBRI。实例中应包含实例．因此这是一个多余限制。)eg：myluple选取的事实应由带有QName(egtmytuple)的元组所包含，但该事实不必是该元素的子项目8．11．2．3兄弟过滤器兄弟过滤器由(tf：siblingFiher>元素声明，兄弟过滤器可根据与另一个事实的同级兄弟关系选取事实。(tf：siblingFiher>元素由A．14的规范模式文件定义。兄弟过滤器所蕴含的XPath表达式为：．．is$#variable[I]／．．其中：#variable是兄弟过滤器中variable属性的值。兄弟过滤器见示例。示例：兄弟过滤器42 www.bzfxw.com标准分享网www.bzfxw.com免费下载GB／T25500．3—2010变量QName隐含的限制eg：variableA选取的事实应是对变量(cg：variableA)求值后的事实的同级兄弟。如果变量(eg：variableA)的求值为一个事实序列．则选取的事实应是该事实序列中任一个事实的同级兄弟8．11．2．4位置过滤器位置过滤器由(tf：locationFilter>元素声明，位置过滤器可将另一个事实的位置作为指定位置来选取事实。(tf：locationFilter>元素由A．14的模式文件定义。位置过滤器的所蕴含的XPath表达式为：(some$filter：candidatein#location，$filter：factin$#variablesatisfies$filter：candidateis$filter：fact)，其中：#variable是位置过滤器中variable属性的值，#location是位置过滤器中location属性的值。位置过滤器见示例。示例：位置过滤器变量QName位置臆含的限制eg：variablcA．．／+针对变量(egtvariableA)求值的事实应是选取的事实的父亲的一个子元素针对变量(eg：variablcA)求值的事实应是r·个元组元素的子，eg：variableA．．／eg：aTuple／*该元组元素是选取的事实的同级兄弟8．12单位过滤器8．12．1概述本章定义了以度量单位作为过滤条件从XBRI。实例中选取事实的过滤器的语法，本章中定义的所有过滤器均涵盖了单位方面。8．12．2语法8．12．2．1单一度量单位过滤器单一度量单位过滤器是由(uf：singleMeasure>元素来声明，(uf：singleMeasure>元素的语法由A．15的规范模式文件来定义。单一度量单位过滤器可根据指定的单一度量单位来匹配报告值。单一度量单位过滤器的XPath公式为：xfi：is—numeric(fn：nodename(．))andcount(xfi：unitnumerator(xfi：unit(．)))eq1andcount(xfi：unit—denominator(xfi：unit(．)))eq0andxfi：measure．name(xfi：unit，numerator(xfi：unit(．))[1])eq#measure，其中：当(uf：qnameExpression)元素包含在元素内容的QName的本地名称。单一度量单位过滤器见示例。43 www.bzfxw.comGBJT25500．3—2010示例：单度量单位过滤器过滤器选择标准(Ilf：singleMcasure>(1lf!measul-e>(／UfsingleM(一asllre>8．12．2．2通用单位过滤器通用单位过滤器}“(uf：generalMeasures)元索定义，实：既含有分f也含有分母的事实(uf：generalMeasurestest--“count(xbrli：divide／xbrli：numerator／xbrli：nleasurt")eel1andxbrli：divide／xbrli：rl／irn(，rator／xbrtl：m*2asureeq过滤器将选取符台以F度量单位的事fn：QName(‘http：／／xbrl．org／formula／conformance／example，，’eg：kilometers‘)实：分f的QNanu、为eg：kilometers，分andcount(xbrli：divide／xbrli：denuminator／xbrli：nll+ftsfir(、)eq1and母的QName为eg：hoursxbr[i：divide／xbrli：denominator／xbrli：iTle；lsuree‘lfn：QName(7http：／／xbrt．org／formula／confi)rnlance／exanlple‘，’eg：huurs+)”／)8．13值过滤器8．13．1概述本章定义了在拱取XBRI。实例中的事实时，用于过滤相艾事实值的标准所用的语法。8．13．2语法8．13．2．1零值过滤零值过滤是由《vf：nil)元素来定义，A，16的模式文件定义了元素(vf：nil)的语法。零值过滤用于匹配报告值为零(nil)的事实，其过滤的XPath公式为：fn：nilled(．)。44 www.bzfxw.com标准分享网www.bzfxw.com免费下载8．13．2．2精度过滤GB／T25500．3—2010精度过滤是由(v{：precision}元素来定义。A．16的规范模式文件定义了元素的语法。精度过滤可用于根据实际的或推定的最小精度来匹配事实。精度可以根据decimal属性进行推定而获得。精度过滤蕴含的XPath表示式如下：if(fn：string(#minimum)eq’INF’)thenfn：false()elseif(fn：nilled(．))thenfn：false()elseif(xfi：isnonnumeric(．)))thenfn：false()elseif(xfi：is—fraction(．))thenfn：true()elseif(fn：string(xfi：precision(．))eq‘INF’)thenfn：true()else(xfi：precision(．)gexs：nonNegativeInteger(#minimum十0．0))其中：#minimum为精度过滤中根据minimum属性所确定的最小值。注：当事实值无限小，或事实值为非数值，或事实值为零时．精度过滤无法进行事实的匹配和过滤。当事实值不属于卜段所述的类型时，精度过滤将选取数据类型为xhrli：fractIonIten汀y雌或来源于xbrli：fractionltemType数据类型的事实。另外，如果推定的精度大于或等于指定的最小值，精度过滤还会获取数据类埠!为其他数值犁的事实。精度过滤见示例。示例：精度过滤#mlnil"11um隐含的限制ThefactmuslbenumericandtheinferredprecisionmusthegrealerthanorequalIoOill2．1事实应为数值型，并且推定的精度应大于或等十1。Thefactmustbenumericandthcinferredprecisionmusthcgreaterthanorequaltofour．4事实应为数值型．并日推定的精度应人于或等于4。9公式9．1语法9．1．1概述A．17的规范模式文件叶1未包括的语法约束由本章的文本声明进行约束。本章仅解释其他部分没有解释的几素和属性。除另规定，否则一个具体元素的引用应理解为那个元素或者它的替代组中任何元素的引用。公式声明为元素。A．17提供了的一个关于公式的XMI。模式文件。公式表达了一组规则，该规则用于将变量集合的变量值通过求值公式构造一个输出XBRI。事实。这砦变量值从“输入XBRL实例”及支持它的可发现分类集或者从公式的应用处理中得到。公式变量是这个公式变量集中的变量；公式事实变量是这个公式变量集中的事实变量；输出事实是公式求值产生的事实。公式中涉及结构的规则包括：输出事实的值；数字输出事实的精度；输出事实的方面。公式不提供任何用于上下文或者输出事实引用单位的id属性值指引。这些值都足取决于应用程序的。 www.bzfxw.comGB／T25500．3—2010输出值是输出事实的值；输出方面是输出事实的方面的值；输出概念是输出事实所报告的值的概念；输出上下文是输出事实的I=_下文；输出单位是输出事实度量的单位。9．1．2值规则9．1．2．1值表达式公式表达式是(formula：formula)元素中value属性的内容。公式表达式是XPath表达式。当其求值正确，将产生单个的XBRI。项的值。如果值表达式的求值产牛一个空序列，则输出事实应报告成一个空事实(nilfact)，置XMI。模式实例属性xsi：nil为true值。如果一个值表达式的求值产生一个包含多于一项的序列，则应需抛出错误代码xbrlfe：nonSingleton()utputValue。公式表达式用作为上下文项的输入XBRl．实例的(xbrli：xbrl)元素进行求值。值表达式的见示例。示倒：值表达式输出事实值备注1．2’Hclioworld’Helloworld在值表达式中单引号所引的文本应识别为·个XPath串$eg：variableAgt$eg：variableB此结果假定变量eg：variableA的值大丁变量eg：variableB的值()xsi：nil等于true因为值表达式产生恒为空的序列，因此输出事实为李$eg：factVariableAintersectxsi；nil等于true假设变量eg：factVariableA和变罱eg：factVariablcB都没包含$eg：factVariableB事实．输出事实为空(nil)$eg：factVariableAintersect假设变量eg：faetVariableA和变量eg：factVariabieB都包含了13$eg：factVariableB同一个事实．则输出事实为13$eg：factVariableAintersect抛出一个错误变量eg：factVariableA和变量eg：faclVariableB共同包含的事$eg：factVariableB实不止一个，则抛出·个错误此结果假设变量eg：factVariableA求得了一个值为12．3的单$eg：factVariableA12．3个事变此结果假设变量eg：variableA求值的加和结粜为10000的事fn：sum($eg：variableA)10000实序列9．1．2．2精度规则在XBRI。中，非分数数值事实以precision或者decimals属性形式的精度信息来报告。公式町包含决定输出事实精度的规则。精度规则是决定数值输出事实的精度(表示为精确度或者小数部分位数)规则。所有的公式都有一条缺省的精度规则。公式可以有指定的精度规则，其中可以由子元素或者由子元素，则非分数数值输出项应当用decimals属性报告它们的属性。此属性的值应通过应用作为背景项的“输入XBRI。实例”的(xbrli：xbrl)元素对46 www.bzfxw.com标准分享网www.bzfxw.com免费下载GB／T25500．3—2010(formula：decimals>子元素中的XPath表达式进行求值而获得。否则，非分数数值输出项应用precision属性来报告。如果此公式包含一个(formula：precision>子元素，则作为数值输出项precision属性的值应通过应用作为背景项的“输入XBRI，实例”的(xbrli：xbrl>元素对(formula：precision)子元素中的XPath表达式进行求值而获得，否则，precision属性值的默认值应为⋯0’。．精度规则见示例。示例：精度规则XPath表达式的小数规则XPath表达式的精度规则输出事实值输出精度省略1000precision=0—6省略1000declma[s=一6省略1l0009．1．3方面规则9．1．3．1概述公式语法规范不仅提供确定输出事实数据值及其精度的规则，还为解释输出值的输出方面的值提供规定或蕴含规定。方面规则指用于确定一个输出方面值的规则。确定输出概念、输出上下文和度量(对于数据事实)的输出单位等规则都是众多方面的不同类型。XBRL变量规范支持新方面的定义。通过定义新方面模型去扩展变量规范的能力，公式规范支持由新方面规则定义到支持新方面定义。如果方面规则能确定由包含的方面规则实例的公式产生的输出事实数据的方面的值，则方面规则描述该方面。每个方面规则都应说明其能描述的方面及在何种情况下能描述这些方面。一些方面规则能完全指定一个方面的输出值作出组合。此类方面规则的规范应解释这些规则如何和其他规则组合去获得一个单独的输出方面值。一个从公式可输出的方面应与公式的方面模型一致。如果一个公式包含了没有在方面模型的公式中定义其方面规则，则应抛出错误代码：xbrlfe：uu—recognisedAspectRule。公式应包含产生输出事实必备的所有方面规则。所有的方面模型都应包含在变量章节定义的具体方面里。如果一个公式遗漏了概念方面的方面规则，则应抛出错误代码：xbrlfe：missing(：onceptRule。如果一个公式遗漏了此实体标识方面的方面规则，则应抛出错误代码：xbrlfe：missi“gEntityIdentifierRule。如果一个公式遗漏了期间方面的方面规则，则应抛出错误代码：xbrlfe：missingPe“odRule。如果一个公式产生了数值项El，但是却遗漏了单位方面的方面规则，则应抛出错误代码：xbrlfe：missingUnitRule。如果一个公式在输出方面值施加冲突要求的方面规则，则应抛出错误代码：xbrlfe：conflictin—gAspectRules。一个公式资源允许任何在(formula：abstract．aspect)元素的替代组里方面规则及其联合，因此在XMI。模式有效的公式资源里存在冲突的方面规则。作为一个冲突方面的例子，一个XMI。模式文件有效公式可包含不止一条概念规则。尽管所有的公式概念规则总是指定与之相应的相同输出概念的值，它们仍然构成冲突方面规则。47 www.bzfxw.comGB／T25500．3—20109．1．3．2必备方面值和源所有方面规则都为输出方面指定一个与之相匹配的方面值。“必备方面值(RAV)”是一个应与相同方面的输出值相匹配的方面值。方面规则可以直接，或按一个或多个输入XBRI，实例中的方面值指定它们的“必备方面值”。源方面值(SAV)是输入XBRI，实例中的值。如果一个方面规则为一个或多个SAV指定了RAV，则应提供确认使用哪个SAV的方法。公式的source属性及其子元素支持方面规则的一个SAV识别系统。“源”是公式或其任意一个子元素的source属性。方面规则可依赖由源标识的SAV。“公式源”指(formula：formula)元素里的“源”。QName值“formula：uncovered”，指的是未覆盖的OName。“源”包含的QName应当是未覆盖的QName，或是公式事实变量的QName。“蕴含的SAV”是与未覆盖的QName相等的源所蕴含的SAV。给定一个方面规则，与未覆盖QName相等的源所蕴含的SAV可由如下三条决定：a)选掸任意一个公式的事实变量，这些变量不含覆盖以下方面的过滤器：1)覆盖了由方面规则所描述的方面；2)覆盖了通过求值得到非空序列的方面。l，)选择仟意一个事实，该事实在对选定事实变量求值的事实序列中。c)如果定义厂蕴含的SAV，则它是方面规则所褒述的选定事实的方面值。如果一个源不能蕴含SAV所依赖的方面规则，则应抛出错误代码：xbrlfe：undefinedSAV。如果一个源蕴含未覆盖的QName但是其公式没有用隐式的过滤器，则应抛出错误代码：xbrlfe：：illegalUseOfUncoveredQName。通过隐式过滤的未覆盖方面的匹配来确保蕴含SAV与实际事实选择无关。给定一条方面规则，与公式事实变_鳝之一的QName相等的源所蕴含的SAV决定于：a)选择QName与源所包含的QName相等的事实变量。b)选择由选定事实变量求值的事实序列中的任何～个事实。c)如果定义了蕴含SAV，则它是方面规则所表述的选定事实的方面值。一个公式可以有不止一个源，但是一条方面规则或者其中一部分只涉及其最近源。方面规则或者其组件的最近源，指表达规则或者组件元素的源，如果不存在此元素，则源是指其最近的父亲元素的源。最近源见示例。示例：最近源(formula：formulaxlink：type一”resource”xlink：label一“formula”implichFiltering一’。true“aspectModel一“dimensional”solArcc一”eg：variableA“)(formula；aspects>(formula：enlityIdemifierv“Jc一’’‘ABCD-1234’’。／)(／formula：a5pects)(formula：aspectssoMrcem”eg：variableB”)(formula：period／)(formula：unitsource一”eg：variableC”)(formula：muhiplyBysource一”eg：variableD”／)(／formula：unit)(／formula：aspects)<／formula：formula>48 www.bzfxw.com标准分享网www.bzfxw.com免费下载GB／T25500．3—2010方面规则最近源实体标识符eg：varial)leA期间eg：variablelj单位eg：variableC单位乘法eg：variableD公式中所有的方面规则都是由此公式的(formula：aspects)尤素的子元素表达。一个单独源可被一个公式中的一些或者所有的方面规则使用。为了支持公式通过多重方面规则来使用一个源的这种用法，允许一个源由此公式自身的一个source属性来指定。公式同样允许源由公式的元素的子元素。如果公式有一个公式源，则它们仅对其他方面有缺省规则。如果公式有一个公式源，就此公式源而言，除了位置方面外，它定义r方面的缺省方面规则。如果公式源等于未覆盖的QName，则公式有一个缺省方面规则作用于每个方面，这些方面是至少一个未覆盖的公式事实变量。每一个方面的缺省方面规则需要与此方面的输出值去匹配此方面的SAV作为公式源中的定义。如果公式源等于一个公式事实变量的序列的QName，则应抛出错误代码：xbrlfe：defaultA，spectValueConflicts“缺省事实变量”指其QName等于公式源的事实变量。“缺省事实数据”指对缺省事实变量求值而产生的序列中的单独事实数据。公式有一个缺省方面规则对应每一个缺省事实的方面。每一个这样的缺省方面规则需要处理该方面的输出方面并匹配缺省事实的方面值。如果输出事实是数值项，则仅提供缺省单位方面规则。9．1．3．4概念规则概念规则是描述概念方面的方面规则，用(formula：concept)元素来表达。概念规则表明rRAV的以下三种情况之一：a)如果概念规则没有子元素，则其RAV便是其SAV。b)如果概念规则有子子元素，则其RAV有一个瞬时值，该瞬时值与通过对(formula：instant>元素的value属性包含的XPath表达式求值『ffi得到的值相等。如果期间规则有一个(formula：duration>子元素，则其RAV有一个有限时间段值，该有限时间段50 www.bzfxw.com标准分享网www.bzfxw.com免费下载GB／T25500．3—2010值的初始值与(formula：duration)元素的start属性包含的XPath表达式的求值结果相等，同时该有限时间段值结束值与元素包含了一个子元素，则由明确维度规则标识的维度应不能有一个输出事实的值。明确维度规则见示例。5l www.bzfxw.comGB／T25500．3—2010示例明确维度规则解释(formu|a：explicitDimensiondimension--”eg：ProdoctDim“)(formula：member>(formula：qname)eg：Cars把eg；Cars值加到明确维度eg：ProductDim卜(／formula：qname>(／formula：member)(／formula：explicitDimension)(formula：explicitDimensiondimension=”eg：ProductDim”／)由SAV提供维度的值加到维度eg：ProductDim上(formula：explieitDimensiondimension=”eg；dCustomer”)(brmula!omit／>不要对输出事实的eg：dCustomer维度的值报告(／formula：explicitDimension)9．1．3．7．3类型化维度值类型化维度规则是用于类型化维度方面的方面规则，用(formula：typedDimension>元素来表达。类型化维度规则指定了类型化维度方面的RAV。类型化维度规则指定了一个明确的RAV或者是引用SAV的RAV。类型化维度规则作用的维度是由此维度规则上的dimension属性中的QName指定。如果dimension属性在维度规则包含QName而不识别类型化的维度，则应抛出错误代码：xbrlfe：badUsageOfTypedDimensionRule。如果一条类型化维度规则没有子元素，则类型化维度规则指定的是输出事实应包含由类型化维度规则标识的维度的一个维度方面值。同时也指定维度方面值应是对应于此维度方面的SAV。如果类型化的维度规则没有任何一个子元素和没有一个维度被dimension属性识别的SAV，则应抛出错误代码：xbrlfe：missingSAVForTypedDimensionRule。如果一条类型化的维度规则有一个子元素，则它将是(formula：xpath>，(formula：value)或者(formula：omit)三种不同子元素之一。如果一个类型化维度规则包含一个(formula：xpath)元素，则此元素包含一个XPath表达式，当此表达式求值时，应产生一个包含单个元素节点的序列。此元素节点(以及其子所有元素)是输出事实数据的类型化维度值的根元索内容。XPath表达式求值的r下文项是由类型化维度规则中获得，其类型化维度规则是输入XBRI。实例的(xbrli：xbrl>元素。如果求值结果在类型化的维度规则不是一个序列包含一个元素节点时，则应抛出错误代码：xbrlfe：wrongXpathResultForTypedDimensionRule。如果一条类型化维度规则包含一个(formula：value>元素，则此元素有一个单独的子元素。此(formula：value>元素的单独的子元素和输H{事实中类型化维度值的子元素应是一致性元素。如果一条类型化维度规则包含一个(formula：omit>元素，则由类型化维度规则标识的维度应不会输出事实的值。类型化维度规则见示例。52 www.bzfxw.com标准分享网www.bzfxw.com免费下载示例类型化维度规则GB／T25500．3—2010类型化维度规则解释(formula：typcdDlnlcnsi。ndimension=”eg：statusDIm”)(eg：confidential，／)(eg：confidential／)(eg：audited／)存在于替换组中。10．2．3断言关系由于断言在替换组中作为元素(validation：variableSetAssertion>存在，所以断言也是元素(variable：variableSet>。因此，此类断言可以为那些要求使用变量集作为初始资源的关系启动资源。以下关系符合此类要求：——变量集关系；——变量集过滤关系；一变量集先决条件关系。断言规范可以使用其他资源定义新的关系。10．2．4断言集断言集的资源表达为元素(validation：assertionSet)。断言集可用于定义断言的集合。如果一个断青属于由一个断言集定义的断言集合，那么该断言应与该断言集拥有“断言一集”关系。“断言集”关系是指由XLink孤表达的断言和断言集之间的关系。表示一个断言集关系时，XLink弧应：——拥有一个等于http：／／xbrl．org／arcrole／2008／assertion—set的孤角色值；——在弧的开始资源处有一个断言集；——在弧的结束资源处有一个断言弧角色值，http：／／xbrl．org／arcrole／2008／assertionset，在本章的模式文件中陈述。根据A．18中规范模式文件部分孤角色说明中的限制．断言集关系应表达为通用弧。XBRI。基础规范将会对此项要求的违反情况进行检查。10．3所有断言的处理模型本节定义了所有断言的处理模型的主要特征。断寿规范可以扩展处理模型的主要特征。所有断言将根据断言输入进行测试。断言输入是指输入XBRI，实例，以及输入的XBRI，实例中的参数值。断言数据集是指针对一个断言可进行测试的断言输入的信息或来源于断言输人的信息的一个子集。57 www.bzfxw.comGB／T25500．3—2010断占求值是指针对一个断言数据集测试一个断言时产生的结果。给定一个断言，断言输入可以包含多个断言数据集。给定一个断言输入，断言可以针对断占输入巾的每个断言数据集求值一次。断占测试是断言求值生成的有效布尔值。当断古测试结果为真时，断j求值满足。当断言测试结果为假时，断言求值不满足。断言规范应为指定的断言定义断言数据集。断言规范还应指明如何使用断言数据集对已定义的断言进行求值。11断言规范11．1概述断言是对XBRI，实例内容和该实例中的参数值的可测试声明，是XML扩展链接中的XMI，链接资源。断言元素应在断吉元素替代组或变量集断言元素替代组中。11．2一致性断言规范11．2．1概述本章定义了一个通过公式来对XBRI。商业报告测试进行定义的断言。此类断言可以测试根据公式求值产生的事实和XBRI。商、lk报告中方面匹配的事实的一致性。这种设计可以使一个公式资源用于生成新的事实，也可以检查已存在的事实和其所包含的XBRI．商业报告中的其他事实的一致性。监管机构可以使用此断言来测试接收数据的质量，而商业报告的制作者可以使用一般公式来选取符合监控机构报送要求的事实。此类断占使示例中所示的用于执行检查的商业规则的定义更为便利。示例：一致性断言考虑到报告的收益总额和基于市场部门报告的累计收益总额的准确性．一家公司的报告的收益总额等于每个市场部门报告的收益累计之和。根据收益总额减去经营费用而计算得出的净收益与报告的净收益之间的差额应小于计算得出的净收益的百分之十。根据期间发生额和期初余额而计算得出的期末余额与报告的期末余额之间的差额应小于由外部参数定义的金额。本章节中许多的语法限制在附录A中列示。为避免潜在的冲突，本章节仅阐述在规范模式文件中未表述的语法特征。11．2．2语法11．2．2．1概述一致性断言是一个关于与输入XBRI．实例中的事实的一致性相关的期望的声明，输入XBRL实例中的事实的值可以通过公式处理从相同的XBRI．实例中得到。一致性断言由A．19的规范模式文件中的(ca：consistencyAssertion)元素表达。一致性断言与公式的关系由XI。ink弧定义。衍生事实是在给定断占输入的情况下，对一致性断言公式集合中的一个公式求值所得到的事实中的任一事实。衍生事实的方面匹配输人事实是指在断言输入中用于生成衍生事实的事实，该事实与衍生事实方面匹配。58 www.bzfxw.com标准分享网www.bzfxw.com免费下载GB／T25500．3—2010相关方面模型由公式的aspectModel属性识别，该公式用于生成衍生事实。在一致性断言输入中，一致性断苦的测试是通过比较衍牛事实的值和方面匹配事实的值的一致1叶：来实现的。一致性断言的strict属性将影响哪些衍生事实可以用于测试一致性断占。当strict属性值为true时，一致性断言要求精确一致；否则，一致性断古不要求精确一致。如果一致性断言不要求精确一致，则其不应对没有方面匹配输入事实的衍生事实进行求值。如果一致性断言要求精确一致，则，即使衍生事实没有方面匹配的输人事实，其仍可以对衍生事实进行求值。此类断言既可用于测试方面匹配事实的存在，也可用于测试方面匹配事实的值的一致性。strict属性用法见示例1。示例1：strict属性用法@strk：t属性输入实例中的事实断言公式能否被求值?FaIsea，b．c是，Iruea．b．ca—b’c是FalseI)．Ca=b’c否Trtleb．ca等b”c是(但是从未满足)一致性断言的接受半径是一个数值，此数值是被认为一致的两个事实的数值的最大差异。接受半径可以被定义成一个绝对值。在这种情况下，一致性断言包含一个absoluteAcceptanceI妇dius属性。接受半径也可以被定义为衍生事实值的一部分。在这种情况下，一致性断言包含一个proportionalAcceptanceRadius属性。如果接受半径是一个绝对值，则接受半径是对XPath表达式中abs。luteAcceptanceItadius属性求值的结果。如果接受半径是衍生事实值的一部分，则接受半径是对以下XPath表达式求值的结果：*(#proportionalAcceptanceRadius)其中：#proportionalAcceptanceRadius是proportionalAeeeptanceR．adius属性中的XPath表达式。对以上两个XPath表达式求值时，上下文应同时满足以下两个条件：⋯有一个作为上下文项的原子值，该原子值等于衍生事实的数值；包括一致性断言参数和变量集中的变量，该变量由用于在范围内变量中进行求值的公式来定义。如果一致性断言同时包含absoluteAcceptanceRadius属性和proportionalAcceptanceRadius属性，则应报错xbrlcae：acceptanceRadiusConflict。接受半径用法见示例2。示例2：接受半径属性／值衍生事实值接受半径设有定义属性任何未定义@absoluteAeceptanceRadius=100任何】00@absoluteAcceptatieeRadius=$margin任何参数margin的值@proportionalAcceptaneeRadius#0．5500250@proportionalAcceptanceRadius一0．5，任何错误：接受半径定义冲突@absoluteAcceptanceRadius=500 www.bzfxw.comGB／T25500．3—201011．2．2．2一致性断官关系11．2．2．2．1一致性一断盲-公式关系一致性断言公式关系是一致性断言和公式之间的关系，由Xl。ink弧表示。为声明一致性一断言一公式关系，XI。ink弧应『司时满足以下条件：——有一个弧角色值等于!!1211盔!!!：!!g!!坚竺11丝!!!』塑!!堕!塑!!二!!!!!!i!!二!!!里!!!在弧的始端资源有一个一致性断言；在弧的末端资源有一个公式。弧角色值http：／／xbrl．org／arcrole／2008／eonsistency-assertion-formula在‘敛性断言的规范模式文件中声明。根据规范模式文件中弧角色声明中的限制，一致性一断志一公式关系应由通用弧表示。根据25500．1进行的校验会检测出是否违反了此项要求。通过一致性断言公式关系与一致性断言相关联的公式集合被称为一致性一断?i公式组。一个一致性断言公式是一致性断言公式组中的任何一个公式。一致性断言在独立的基础|_-gz测所报告的事实与该一致性断言的每个一致性断占公式所生成的事实的一致性。因此，关于与两个公式相关联的一个一致性断言所可能进行的测试，与以下两个一致性断言所蕴含的测试是相同的：一个一敛性断葺与一个公式相关，另一个一致性断言与另一个公式相关。11．2．2．2．2一致性断言参数关系一致性断言参数关系是一致性断言和参数之间的关系，由XI。ink弧表示。为声明一致性一断言一参数关系，XI。ink弧应同时满足以下条什：——有一个弧角色值等于http：／／xbrl．org／arcrok／2008／consistency—assertionparameter；——在弧的始端资源有一个一致性断言；——在弧的末端资源有一个参数。弧角色值http：／／xbrl．。rg／arcr01e／2008／consistency—assertion—parameter在一致性断育的规范模式文件中声明。根据规范模式文件中弧角色声明中的限制，一致性断言参数关系应由变量弧表示。根据25500．1所进行的校验会检测出是否违反了此项要求。与变量集关系相同，一个变量弧的name属性的值是由弧表示的一致性一断占一参数关系中的参数的QName。当计算一个一致性断言的接受半径时，带有该OName的XPath变黾引用就是对该参数的引用。注意此参数名称可以与参数声明中的名称不同。所有的一致性断言参数的求值应在一致性断言的接受半径求值之前进行。一致性断言可以通过一致性断占参数父系与参数相关联。如果一致性断言与一个事实变量或普通变量有一致件断青参数关系，则一定会出现错误代码xbrlcae：variablesNotAllowed。一致性断言参数是与该一致性断言参数有一致性一断言参数关系的仃何参数，该一致性断言参数关系来源于一致性断青。这些参数是对接受半径表达式求值后的范围内变量的一部分，但是这些参数不应被看作是一致性断寄公式组的变量集的一部分。11．2．3一致性断言的处理模式除了本章下文中提到的两个例外情况以外，每一个不同的一致性断言公式求值都定义了一个不同的断占数据集，该断言数据集可用于一致性断言的测试。一致性断吉的断。i数据集由两部分组成：一部60 www.bzfxw.com标准分享网www.bzfxw.com免费下载GB／T25500．3—2010分是对一个一致性断言公式进行求值而生成的衍生事实；另一部分是输入XBRI。实例中不含有nil值的所有的方面匹配输入事实。输入XBRI。实例中可能没有满足可包含在由衍生事实定义的数据集内的条件的方面匹配输人事实。此规则的第一个例外情况是：如果同时满足以下条件，则衍生事实不能定义一个断言数据集：——一致性断言不要求精确一致；——衍生事实没有方面匹配输入事实。此规则的第二个例外情况是：如果同时满足以下条件，则衍生事实不能定义一个断言数据集：——衍生事实为数值型；——衍生事实不为nil；——衍生事实既没有xbrli：fractionltemType数据类型，也没有从该数据类型中衍生出的数据类型；——一致性断言没有定义接受半径；——衍生事实或该衍生事实的任何方面匹配输入事实的隐含精度为0。根据GB／T25500．1，如果衍生事实不是有效的，则不管断言数据集的方面匹配输入事实如何．断言都将被视为无法满足。如果断言数据集包含方面匹配输入事实，则衍生事实应与方面匹配输入事实一致，以满足该断言数据集中的一致性断言。否则，该断言数据集中的一致性断言将不被满足。如果两个事实拥有一致的值，则这两个事实是一致的。两个事实是否拥有一致的值取决于这两个事实的数据类型。如果两个事实的数据类型不是数值型的，则这两个事实只有在其值为s—equal2时才一致。如果两个事实的数据类型是数值型的，并且这两个事实的数据类型既不是xbrli：fractionltemType，也不是从xbrli：fraetionltemType衍生出的数据类型，并且没有定义接受半径，则这两个事实只有在以下情况下是一致的：即数值A和B是x—equal，其中A是通过对第一个事实的值保留N个有效数字得到的，B是对第二个事实的值保留N个有效数字得到的；注意N取以下两个精确度的较低者：第一个事实指定或推定的精确度和第二个事实指定或推定的精确度。如果两个事实拥有数值型的数据类型．并且这两个事实的数据类型既不是xbrli：fractionltemType，也不是从xbrli：fractionhemType衍生出的数据类型，并且没有定义接受半径，则只有当以下XPath表达式求值为一个有效的布尔值true时，这两个事实才是一致的：fn：abs(#A一#B)lefn：abs(#acceptance)其中：#A是第一个事实的数值，#B是第二个事实的数值，#acceptance是接受半径的值。正如公式章节所定义的，公式组不能生成既不拥有xbrli：fractionltemType数据类型，也不拥有由xbrli：fractionltemType衍生出的数据类型的事实。因此，一致性断言不能对此类事实进行断言，故而，本章未定义此类事实的值一致性。如果这些一致性中的任何一个条件未得到满足，则衍生事实和用于比较的方面匹配输人事实是不一致的。一致值见示例1。示例1：致值衍生事实方面匹配输入事实接受半径断言求值推断的精度值推断的精度值foo任何满足foobar任何不满足 www.bzfxw.comGB／T25500．3—2010表(续)衍生事实方面匹配输入事实接受半径断言求值推断的精度值推断的精度值INF315．5INF315．5未定义满足lNF315．51NF315．50001未定义不满足3155INF1000000未定义不满足210210．4未定义满足2103104未定义满足2103105未定义不满足Anv10．0000001Any10．0000001O满足Any10Any10．00000010不满足Any25A由305满足Any25Alay30．0000015不满足如果一个断占数据集不包含任何方面匹配输入事实，则为满足此断占数据集的一致性断育，衍生事实应有一个n“值。否则，陵断言数据集中的一致性断言将不被满足。包含n“值的一致性断言的示例，参见示例2。示例2：包含n·I值的一致性断言@strict属性衍生事实方面匹配输人事实断言求值falseNil无未求值falseNotnil无未求值falseNil仅为非nil未求值NiI无满足Notnil无未求值Nll仅为非nil未求值11．3存在性断言规范11．3．1概述本章节详细说明了便于测试符合特定标准的事实的存在性的断言的语法。断言可以通过对给定输入XBRI，实例可能的给定变量集的不同求值进行测试而得到，这使得存在性断言相较一致性断言，在其所能测试的数据类型方面更具灵活性。商业报告(例如子公司将其财务报表报送至其控股公司)最基本的要求之一就是商业报告使用者能在商业报告生成器上使用规则。商业报告中的关于数据的存在性断言与值断言拥有相似的语法结构。二者主要的区别在于：存在性断青的test属性中的XPath表达式的上下文项是数值型值，该数值型值表示对变量集进行不同求值后的数字，该变量集由一个可能的断言输入定义。断言结果是有效的布尔值，是属性测试中对XPath表达式的求值。62 www.bzfxw.com标准分享网www.bzfxw.com免费下载这种断言使得在制定下例所示的用于检验商业规则的定义上更为便捷。示例：数据存在性断言a)报表中仅包古～个总资产值；b)报表中包含至少10个“最大股东”元组}c)报表中不包含任何国际财务报告准则所要求报告的事实。报表中不包含任何国际财务报告准则所不要求报告的事实。本章节所使用的许多语法限制列示在A．20规范模式文件中。11．3．2语法11．3．2．1概述GB／T25500．3—2010当语法限制在A．20中的规范模式文件部分未有定义时，本章节仅提供该语法限制的文字声明。元素和属性的解释仅在该解释未在其他部分中定义时适用。除另说明，一个特定元素的引用应理解为对该元素或者该元素所在替换组中的其他元素的引用。11．3．2．2存在性断言存在性断言是断言的变量集针对输入XBRI。实例求值的次数的声明。存在性断言由本章节提供的规范模式文件中的(ea：existenceAssertion)元素表达。如果存在性断言包含test属性，则存在性断言表达式是该属性所包含的XPath表达式。如果存在性断言不包含test属性，则存在性断言表达式等于上下文项表达式。断言表达式可以与变量集中的参数拥有变量依赖，但是不可以与一般变量或事实变量有变量依赖。如果存在性断言表达式与一般变景或事实变量存在变量依赖，则会报错xbrIeae：variahIeReferen—ceNotAllowed。11．3．2．3包括存在性断言的关系对(validation：variablesetAssertion)元素而言，存在性断言在替换组中，因此，可以为那些需要变量集作为启动资源的关系启动资源。11．3．3存在性断言的处理模式存在性断言测试是通过对存在性断言求值而产生的有效布尔值。当上下文项的单元值与断言变量集的所有可能的不同求值结果集合的基数相等时，存在性断言求值含有对存在性断言表达式的求值，该求值使用了上下文求值。范围内的变量应包括所有与断言相关的变量参数，但不应包括任何事实变量或一般变量。存在性断言表达式，参见下例。示例：存在性断言表达式tesl属性值被验证的断言的变量集的求值次数Omitted至少一次求值至少．一次求值．gt5至少六次求值．eq0无求值．ge$numberOfhems等f或大于参数中由名为$numberOfltems的变量所指定的数值 www.bzfxw.comGB／T25500．3—2010存在性断言对给定的断言输入至少进行一次求值。这是因为存在性断言测试与作为一个整体的断言变量集的求值次数相关联。因此，存在性断言的数据集是整体的断言输入。一个存在性断言根据任何有效的断言输入进行求值。测试存在性断言要求获取断言的变量集所有可能的不同求值结果，以确定存在性断言的上下文项。11．4值断言规范11．4．1概述本章定义了断言的XMI。语法。断言指测试根据给定变量集进行求值获取的变量值。断言的构想与公式资源的构想相类似，但其输出结果不是～项完整的XBRI。事实，而是一个布尔值。布尔值是对断言中的XPath表达式求值而获得的。这种类型的断言可以对下例中所示的业务规则进行检查。示例：值断言a)资产应等于负债加所有者权益。b)公司的总收入应等于或小于其子公司的总收入的增加值。c)公司资产负债表每个科目的余额应等于按市场部门划分的资产负债表的每个科目的余额之和。d)本期和上期流动资产的差额应低于某一特定界限。e)期初余额和期末余额的差额应与该期间的发生额相等。本章规定的语法限制在A．2l的模式文件中列示。为防止潜在的冲突，本章仅叙述了未在部分模式文件中描述过的语法。11．4．2语法值断言是指由输入断言提供的，或来源于输入断言的语句。定义值断言由A．21的规范模式文件中的(va：valueAssertion)属性来表达。值断言的表达式是包含在值断青的@test属性中的XPath表达式。11．4．3值断言处理模型值断言的断言数据集是对值断言定义的变量集的求值。不同的值断言变数集的求值组成了不同的值断言数据集。值断言的表达式可能依赖于由值断言定义的变量集中的任一变量和参数。因此，只有在组成数据集的变量集可以求值时，值断言才能进行求值。值断言的表达式是通过使用输入XBRI。实例的元素作为上下文项而进行求值的。数据集中的变量和参数在值断言表达式的求值范围内。值断言测试是在给定适当的数据集时，根据值断言表达式求值而获得的有效的布尔值。 www.bzfxw.com标准分享网www.bzfxw.com免费下载A．1通用链接附录A(规范性附录)模式文件GB／T25500．3—2010(1ink：usedOn)gen：1ink(／iink：usedOn)《／link：roleType>(／appinfo>(／annotation>(extensionbase=”xliarcType”)(attributename=”id”type=”ID”／)<／extension>(／complexContent>(／complexType>(complexTyper*cⅫe=”linkType”)(complexContemt>(restrictionbase2”xl：extendedType”)fchoiceminOccurs2’’0”maxOccurs=’’unbounded”、(elementref=”gen：arc”／>(elementref=”xl：resource”／)<／choice>(anyAttributenamespace=”http!／／wwww3org／XML／1998／nⅫespace”processContents=”lax”／)<／restriction>(／complexContent)(／complexType)(complexTypename=”linkTypeWithopenAttrs”)(co“plexcontent)(／complexContent)<／complexType>(el钟entid=”姗l-g曲一lir】】c”咖e=”link”substitutio螨roupt”xl：extended”type=”gen：lin啪WithopenAttrs”／)65 www.bzfxw.comGB／T25500．3—2010<／schema>A．2通用标签(schemaxmlns：label=”http：／／xbrlorg／2008／label”xmlns：link=”http：／／wwwabrlorg／2003／linkbase”xmlns=”http：／／ww．w3．org／2001／XMLSchema”xmlns：xl=”http：／／ww．xbrlorg／2003／XLink”xmlns：gen=”http：／／xbrlorg／2008／generic”targetNamespace=”http：／／xbrlorg／2008／label”elementFormDefault；”qualified”)(annotation>(1ink：roleTyperoleURI2<1ink：usedOn)label：label(／1ink：usedOn)(／1ink：roleType)(1ink：roleTyperoleURl=(1ink：usedOn)label：label(／1ink：usedOn)<／1ink：roleType)<1ink：roleTyperoleURl=(1ink：usedOn>label：label<／1ink：usedon><／1ink：roleType)<1ink：roleTyperoleURl2(1ink；usedOn>label；label(／1ink：usedon>”httpI／／wwxbrlorg／2008／role／label”id=”standard-label””http±／／wwwxbrlorg／200B／role／verboseLabel”id=”verbose-label”)”http：／／www．abrl，org／200B／role／terseLabel”id=”terse-label””http：／／wwwxbrlorg／200B／role／documentation”id=”documentation”)(／iink：roleType)<／appinfo)(／annotation><／mportIla螗space=”http：／／wwMxbrlor∥2003／札h赴”sck帕kcatl∞=”Wctp：／／删xbrlorg／2003／xl-2003-12—31xsd”／)(annotation)(1ink：usedOn>gem：arc(／1ink：usedOn>(／1ink：arcroleType>(／appinfo>(／annotation)(elementid=”xml—generic-label”name=”label”substitutionGroup2”xl：resource”)(complexContentmixed=”true”)(extensionbase=”xl：resourceType”)(sequence>66 www.bzfxw.com标准分享网www.bzfxw.com免费下载(／extension><／complexContent>(／complexType><／element)／schema)A．3通用参考GB／T25500．3～2010reference：reference<／Zink：usedOn)(／link：roleType>(iink-definjtion>elementhasreference(／link：definition>(1ink：usedOn)gen·arc<／link：usedon>(／link：arcroleType>(／appinfo>(／annotation>‘≯“唧82”}l!!t9l／／⋯xbrl．org／2003／)(Link“schehasoeation=”http：／／㈣zbrl，org／2003／心2003-12_31剥·／)‘1“portnednespace2”http：／／wwwxbrlorg／2003／llnkbase”schemaLocation2”http：／／wwwxbrlorg／2003／xbrl．1inkbase_2003—12—31x8d·’／)(8l蜘。“tid2”xml—generlc-reference”n硼e=”reference”substitutlonGroup：”xI：resource”)fcomplexTypemixed=”true’’、(complexContentmixed=”true”、(／element><／schema>A．4变量¨ch8ma．?加8：vanable一’ht‘p：／／1brlorg／2008／variable“xmlns：qen=”http：／／xbrl。‘g／200819eneric”锄1“82http}／／wwww3org／2001／X>LLSchema”xmlns：link=”http：／／7www．xbrlorg／2003／linkbase”跏1“82。1。“‘tp：／／”州xbrlorg／2003／XLink”targetNamespace=”http：／／xbrlo‘口／2008／varlable”elementFormDefault=”qualified’’、‘Ⅱp呲n鲫le窜p蛾2“h呻：／／㈣栅lorg／2003／札埘。schanaLocation=”http：／／洲xbrlorg／2003／小20珏1；31x对·／)(importnamespace2”http2／／wwww3．org／1999／xiink”67 www.bzfxw.comGB／T25500．3—2010SChemaLocation=”http．／／www．xbrlorg／2003／xlinj[-2003—12-31xsd”／)(importrlamespace=”http：／／abrlorg／2008／generic”schemaLocation=”generic一1inkxsd”／)flink．arcroleTypeid=”equality-definition”cyclesAllowed=’’undirected’’arcroleURI=”http：／／xbrlorg／arcrole／2008／equality-definition”>(iink：definition>typed-dimensiondomaindefinitionhasequalitydefinition<／1ink：definition)(1ink：usedOn>gen：arc(／1ink：usedOn>(／link：arcroleType)f]ink-arcroleTypeid=”variable-set”cyclesAllowed=”undirected”arcroleURI=”http：／／xbrlorg／arcrole／2008／variable-set”)<1ink：definition)variablesethasvariable(／1ink：definition>(1inklusedon>variable：variableArc{／iinkfusedOn>(／link：arcroleType>(ilnk：arcroleTypeid=”variable-filter”cyclesAllowed=”undirected”arcroleURI=”httpl／／xbrlorg／arcrole／2008／variable-filter”)(1ink：definitiun>variablehasfilter(／1ink：definition>vatiable：variableFilterArc(／1ink：usedOn)<／1ink：arcroleType)flink-arcroleTypeidt”variable-set-filter”cyclesAllowed=’’undirected”arcroleURI=”http：／／xbrlorg／arcrole／2008／variable-set-filter’’)(1ink!definltlon)factvariablesinvariablesethavefilter(／iink：definition)(1ink：usedOn)variable：variableSetFilterArc(／1ink：usedOn>(／link：arcroleType)(1ink·arcroleTypeid=”variable-set-precondition”cyclesAllowed=”undirected”arcroleURl；”http，．I／xbrlorg／arcrole／2008／variable-set—precondition”)(1ink：deflnltion)variablesethasprecondition<／1ink：definition)(1ink：usedOn>gen；arc<／1ink：usedOn><／iinkjarcroleType>《／appinfo)(／annotatlon)(simpleTypename5”expression”)(restrictionbase2”string”)(patternvalue=”[＼s]*[＼s]+[＼s＼s]*”／)(／restriction)f／slmpleType>68 www.bzfxw.com标准分享网www.bzfxw.com免费下载GB／T25500．3—2010(simpleTypename=”QName”)frestrictionbase=”Name’’、(patternvalue=”([‘：]+；)?[‘：]+”／)(／restriction)(／simpleType)(sequencemlnOccurs2’。0”maxOccurs=。’uabounded”、《elementr1∞e2”input”>‘compl镪四Ype)(／sequence>(attributeI】ame=“name”type·’’gName“use=”required’’／、(attributeⅨme=”OUtput”type=”string”use=”required’’／、《／extension)(／complexContent><／complex啪e>(／element)(／complexType>(／element)<／complexContent>(／complexType)(／element><／complexType>(／complexType5<／element)(complexType)<／complexType>(／element)(extensionbase=”gen：genericArcType”5(complexContent)70 www.bzfxw.com标准分享网www.bzfxw.com免费下载GB／T25500．3—2010(extensionbase2’’gen：genericArcType’’、(8lementid2”xal—Precondition”name=”precondition”substitutionGro“p2”variable：re8。urce·’)(／complexContent5(／complexType)<／element：>(／schema)A．5布尔过滤器(8。h”8“l“s：bf2”http：／／xbrlorg／2008／filter／boolean“xmlns：variable=”http：／／xbrl．org／2008／varlable”】Ⅱnl“82”h‘‘P：／／硼ww3tol。g／2001／XMLSchema”xmlns：link=”httpI／／www．abrlorg／2003／11nkbase”ta‘getN锄espace2”httpj／／xbrlorg／200B／filter／boolean”elementFormDefauitc”qualified-·)(坤呲啪space2”httpl／／删曲d．嘲，2003／Ⅱ触”schsmLocaticm=1httpl／／咖xhrl。rg_／2003／心2003-12-31】【搴d-·／>(1ink,arcroleTFpeid-”boolean-filter”cyclesAllowed-”undirected”arcroleURl2”http：／／xbrlorg／arcrole／2008／boolean-filter’’)(1inkldefinition)boolean-filterhassub-filter(／1ink：definition)variable：variableFilterArc(／HnkfusedOn><／linklarcroleType5(／appinfo)‘／annotatlon5(eL邬哪tid2”mL甜filt口”name2”anc噼ilter”s11bstltutj脚‰驴=”vatLable；f=Llt盯”type=”Mariablel弛雠e．type”／24LSchema”targetNamespace=”http：／／abrlorq／200S／filter／conceDt-一elementFormDefault=”qualified”、(1盯p。rt嘲唣孵。”http：／／w嘲xbrlorg／2003／XLinlc”scl蛐日【oa址i∞=’’h∞：／／wwwxbrlo吲2003／小20略1斗3l，xgd|·／)(1“portnamespace。”http：／／xhrlorg／2008／variable”schemaLocation=”variable．xsd”／)(elementnaJe；’’qname”type=”OName”／5(elementD￡tme2”gnameExpression”type=”variable：expre船ion”／)(／choice>(／complexType>71 www.bzfxw.comGB／T25500．3—-2010(complexTypemixed=”true”’(／sequence>(／extension>(／complexContent><／complexType)(／element)(restrictionbase=”token”)(enumerationvalue=”instant“／、(enumerationvalue=”duration”／、‘／restriction>(／simpleType)(／attribute><／extension>《／complexContent>(／complexType>(／element)(elementid2”xml-concept—balance-filter”naIne=’’conceptBalance”sabstitutionGroup2”varlable：filter’’)(／extension)(／complexContent>(／complexType>(／element)(／sequence>(／complexContent>(／complexType>72 www.bzfxw.com标准分享网www.bzfxw.com免费下载GB／T25500．3—2010(／element>(elementid2”xml—concept-data-type-filter”nalne=。。conceptDataType”substitutionGroup=”variable!lilter¨)(／complexContent><／complexType)<／element>(elementid2”册l。concept-substitution-group-fiiter”name=’’conceptSub8tltutlonGr。up”gubstitutionGr。up=”variable：filter”)(complexTypemixed=’’true”、fcomplexContentmixed=”truel。、(extensionbase2”variable：resourcetype”)(sequence>(elementname=”substltutionGroup”type。”cf：qnamemodel”／)(／sequence>(／complexType>(／element)(／schema>A．7维度过滤器(schemaxmlns：df2”http：／／xbrlorg／2008／filter／dimension”xmlns：variable=”http：／／xbrlorg／2008／varlable”xmlns2”http：／／wWw帕．org／2001／EMLSchema”targetNamespace=”http：llxbrlorg／2008／filter／dlmensl。n”element—FormDefault=1’qualifled’’、(=】portnamespace2”http：／／㈣xbrlorg／2003／ru缺”schemalocation=”http：／／wwwxhrlorg／2003／x1-2003-i7．31划。／)(importnamespace=”http：／／xbrlo。g／2008／variable”schemaLocation=”variablexsd”／)(complexTypeid=”xml—dimension-model”name=”dimensionmodel¨)(choice)felementniime=”quame”type2’’QName”／、(complexTypen鲫e=”membermodel”)(sequence>(choice>(elementname=”variable”type=”variable．QName”／)oelementDa／ne=”qname”type=’’QName”／、(elementnalne2”qnameExpression”type=”variable：expression’’／)(／choice>fsequenceminOccurs=”0”ma】【Occurs=”1”、。elementname=”linkrole”type=”anyURl’’／、(elementnalne=”arcrole”type=”anyURI”／)(elementname=’’axis’’、(simpleType)frestrictionbase=”token”、(enumerationvalue2”child-or-self”／、73 www.bzfxw.comGB／T25500．3—2010(／simpleType)(／element>(／sequence><／complexType)‘sequence>《elementname=”dimension”type=”df：dimensionmodel’’／)(elementik3me=”meflmer”type2”df：membermodel”minOccurs=”0”mcurs2”unbounded”／)(／sequence)(／extension>(／complexContent>(／complexType)(／element>(／sequence>(attributenaIne=”test”type=”variable：expression”use；”optional’’／)(／extension)(／complexContent>(／complexType>(／element)《／schema>A．8实体过滤器(／complexType)<／element>(elementid=”ml∞pecifi。．∞titpsc船fllter”Ⅻ=”speclficScheme”substitutionGroup=”var／able：filter”)(complexTypemixed=’。true’’、(complexContentmixed=”true”)74 www.bzfxw.com标准分享网www.bzfxw.com免费下载GB／T25500．3—2010(／complexContent)(／complexType>(／element)(extensionbase2”variable：resourcetype”>‘attributename=’’pattern”type=”string”use=’’required’’／、(／extension><／complexcontent><／complexType)(／element>(el脚哪tid=”蕊l-gp∞if珏entltpld朗tlfj艇一filt盯”name=’’specificldertifier”gub搴titutl衄Gr口中=”variable：filtef’’)(／complexContent>(／complexType>(／element>(／complexType><／element><／schema>A．9通用过滤器(schemaxmlns：gf=”http：／／xbrlorg／2008／filter／general”xmlns：variable=”http：／／xbrlorg／200B／variable”xmlns2”http：／／www们org／2001／XMLSchema”targetNamespace=”http：／／abrlo。g／2008／filter／general¨elementFormDefault=”qualified”、(h驴ort∞m明p配e=”httpz／／wwwxbrlorg／2003／XLink”sch锄a蛔ti∞=”http：／／wⅦwxbrlorg／2003／xi-2003-12-31xsd”／(importnamespace=”bttp：／／xbrlorg／200B／variable”schemaLocation=”variablexsd”／>(／element)(／schemat www.bzfxw.comGB／T25500．3—2010A．10匹配过滤器(schemaxmlns：mf=”http：I／xbrlorg／200B／filter／match”xmlns：variable=”http：／／xbrlorg／2008／variable”xmlns=”http：／／wWw3org／2001／XMLSchema”targetNamespace=”http：／／xbrlorg／2008／filter／match”elementFormDefault=”qualifled”、<却ort田艇印a。e=”http：／，7w洲xbrlo嘞720∞／皿由出”schesaiocation=”http：／／／W协Wxbrlorg／2003／xl-2003-12,-31x划”／7(importnamespace=”http：／／xbrlorg／2008／variable”sehemaLocation=”variablexsd”／)(complexTypename。”matchmodel”mixed=”true”、fcomplexContentmixed=’’true”、(extensionbase=”variable：resourcetype”)fattributename。”variable”type=”variable．QName”use=”required’’／、(／extension)(／complexContent)(／complexType>(elementid=”xml—match-period-filter”name=”matchPeriod”type=”mf：match．model”substitutionGr。up=”variable：filter”／)(elementid=“xml—match-complete-segment—filter”name=”matchSegment”type=”mf．matchmodel”sabstitutionGroup=”variable：filter”／)(elementid=”xml-match-complete-scenaric-filter”name=”matchScenario”type2”mf．matchmodel”substitutionGroup=”variable：filter”／>(／schema)A，II期间过滤器(schemaxmlns：pf=”http；／／xbrlorg／2008／filter／period”xmlns：variable=”http：／／xbrlorg／2008／variable”mnins=”http：／／wwww3org／2001／)Ⅱ4LSchema”targetNamespace=”http：／／xbrlorg／2008／filter／period’’elementFormDefault=”qualifiod’’、(importna鹏space=”http：／／w州xbrlorg／2003／XL曲k”schemaLocaticm=”ht七p：／／wwwxbrlorg／2003／xl-2003-12-31xsd”／)(importnamespace；”http：／／abrlorg／2008／variable”schemaLocation=”variablexsd”／>(elementid=”xml—period-filter”name=”period”substitutionGroup=”variable!filter”)(complexTypemixed=”true”)(complexContentmixed=”true”)(extensjonbase=”variable：resourcetype”)76 www.bzfxw.com标准分享网www.bzfxw.com免费下载GB／T25500．3—2010(attributen∞e=”test”type。”variable．expression”use=”required”／)(／extension}<／co“plexContent>(／complexType)(／element>(extensionbase=”variable：resourcetype”>(／complexType>(elementid=”xml-period-start-filter”name=”periedStart”type=”pf：date_timemodel”substitutionGroup=”variable：filter”／)(el肌印tid=”瑚l-perl硅er蚌fllter”name=”perio血md”type=”pf：由te．til【Iemodel”substitutionGroup=”variablefilter”／)(elementid=”xml—instant-duration-filter”Dame=”instantDuration”substltutlonGroup=”variable：filter”><／simpleType}(／attribute)(／extension>(／complexContent>(／complexType)(／element}(／SChema)A．12相关过滤器(schemaxmlns：rf=”http{／／xbrlorq／2008／fllter／relatlve”xmlns：variablet”http：／／xbrlorg／2008／variable”xmlns=”http：／／www．w3．org／2001／XMLSche。ma”targetNamespace=”http：／／xbrlo‘g／2008／filter／relative”elementFormDefault=’’qualified”、(importnmnespace=”址tp：／／w洲xbrlor9／2003／)江山止”schesaLocaticln=”h七tp；／／帆xbrlorg／2003／xi-2003-12-31xsd”／(importnamespace=”http：／／xbrlorg／2008／variable”schemaLocation=”variablexsd”／>A．13片段场景过滤器(／complexContent>(／complexType)(／schema>A．14元组过滤器<／choice)(／complexType>(／sequence)<／extension)(／complexContent>(／complexType)‘／element>(elementid=”xml-ancestor-filter”name2”ancestorFilter”substitutlonGroup=”variable：filter”>(／extension>(／complexContent>78 www.bzfxw.com标准分享网www.bzfxw.com免费下载GB／T25500．3—2010<／complexType>(／element)(attributename2”variable”type=”variable：QName”use21。required”／)<／extension>(／complexContent>‘／complexType)<／element)(／element)(／schema>A．15单位过滤器(complexTypemixed；”true’’、fcomplexContentmixed=”true”、(extensionbase=”variable：resourcetype”)(sequence>(elementnaive=”measure”type=”uflqnamemodel”／)<／sequence)<／extension>(／complexContent><／complexType>(／element)(／complexContent)《／complexType>79 www.bzfxw.comGB／T25500．3—2010(／element)<／schema)A．16值过滤器(sche哺xmlns：vf。”http：／／xbrlorg／2008／filter／value”xmlns：variable；”http：／／xbrlorg／2008／variable-，xmlns2”http：／／www．w3org／2001／XMLSchema”targetNamespace=”http：／／xbrl。。g／2008／filter／value”elementFormDefault=。’qualified”、(枷埘艏舱8pace2”http：／／w嘲xbrlorg／2003／轧i血”sch日咖ti∞=”h七tp；／／删曲rlorlg／2003／x／-2003-12-31xsd·-／)(importnamespace5”http：／／xbrlorg／200B／variable”schemaLocation=”variablex“··／)<8l劬entid2”xml-nil-filter”∞驰2”nil”sabstitutionGroup=”Varl曲le：filter”type=”varlable：resourcetype”／(eiementid2”xml。precision-filter”nalne。”precision”substitutionGroup=”varlable：filter’’)(colllpl“船mixed=”true”)(complexContentmixed=”true“、(attributename2”minimum”type=”variable：expression”use=”required”／)<／extension)(／complexContent>(／complexType>(／element)(／schema)公式<／complexType>(choiceminOccurs=1。0”、(elementname。”precision”type2”variable：expression”／>(elementnBme=”decimals”type2”variable：expressi。n’’／)<／choice)(attributename=”value”type=”variable：expression”use=”r。quiredl。／)(attributen醐e2”source”type2”variable：QName”use=”optional’’／)(／extension>(／complexContent><／complexType><／element)(elementid2”xml-aspects”name2”aspects”)(complexType>‘sequence)(elementref2”formula：abstractaspect”minOccurs=⋯1’maxoccurs=1‘咄unded”／)80 www.bzfxw.com标准分享网www.bzfxw.com免费下载GB／T25500．3—2010(／sequence)(attributename2”source”type=”variable：QName”use=”optional”／)(／complexType)(／element>(complexTypename=”abstractaspecttype”)(attributename=”source”type=”variable：OName”use=”optional”／>(／complexType)(elementid=”xml-abstract-aspect”name=”abstractaspect”abstract=”true”type=”formula：abstractaspecttype”／>(element1d=”xml—concept”nalne=”concept”substitutionGroup=”formula．abstractaspect”)(complexType)(complexContent)(extensionbase=”formula：abstractaspecttype”>，choiceminOccurs=’’0’’、。elementname4’1qname’’type=’’QName”／、(elementname=”qnameExpression”type=”variable!expression”／)(／choice><／extension)(／complexContent>(／complexType>(／element>(elementid=”姗l_entit卜id鲫tifler”n鲫e=”entityldentifier”substitutionGroup=”formula：abstractaspect”)(complexContent><／complexcontent)<／complexType)(／element>(elementid=”xml—period”name=”period”substitutionGroup=”formula!abstractaspect”)(complexType)(comDlexContent>《extensionbase=”formula：abstractaspecttype”)(choiceminOccurs=”0”)，elementid=”xml．forever”name2’’forever”、(complexType／)(／element>felementid=”xml—instant”name=”instant”、(attributen醐e=”value”type=”variable!expression”use=”optional”／)(／complexType)(／element>(／element)(／choice)(／extension>(／complexContent><／complexType><／element>(elementid=”xml—unit”nalne2”unit”substitutionGroup=”formula：abstractaspect”>(extensionbase=”formula：abstractaspecttype”)(sequence>(attributen醐e=”measure”type2”variable!expression’’use2”optional”／)(attributen锄e=”source”type=”variable：QN鲫e”use2”optional”／>(／complexType>(／element>felementid=”xml—divideBy”Dame=”divideBy”minOccurs=”0’’maxOccurs=”unbounded’’、(／element)(／sequence>(／complexContent><／complexType>(／element>(complexTypename5”abstractocc．aspect．type”)(complexContent>(extensionbase2”formulalabstraetaspecttype”)(attributen锄e。”occ”use=”required’’、(simpleType>(restrlctionbase=”token”)(enumerationvalue=”segment”／)oenumerationvalue=。’scenario’’／、(／restriction>(／slmpleType><／attribute><／extension)(／complexContent>(／complexType>(elementid=”xml—abstract-occ-aspect”name=”abstractoccaspect”abstract=”true¨substitbtionGrouD=”formula：abstractaspect”type2”formula：abstract．occaspecttype”／)(elementid2”xml—occ·empty”name2”occEmpty”type=”formulajabstractOCC．aspecttype”substJtutlonGroup=”formula：abstract．OCCaspect”／>(complexContent>(extensionbase2”formula：abstractoccaspecttype’’>‘sequence>fanyminOccurs=”0”maxOccurs2”unbounded’’／、(／sequence><／extension)(／complexContent><／complexngpe)(／element>(elementid=”xml-occ—xpath”na巾e=”occXpath”substitutlonGroup4”formula：abstractoccaspect”)(complexType)(co”PlexContent>(extensionbase=”formula：abstractoccaspecttype’’)82 www.bzfxw.com标准分享网www.bzfxw.com免费下载GB／T25500．3—2010(／complexType><／element>，elementid=’’xml-abstract-dimension-aspect”n日tme=”abstractdimensionaspect’’substitutionGroup=”formula．abstractaspect”type=”formula：abstractdimension．aspect．type”abstract=，elementid=”xml-explicit—dimension”name=”explicitDimension”substitutionGroup=”formula：abstractdimensionaspect”)(complexType>(complexContent)(extensionbase=”formula：abstract．dimension．aspecttype”)(choice>(elementname=”member”type2”formulalqnamemodel”minOccurs=”0”／)(elementn鲫e=’’omit”minOccurs=”0”)(complexType／)<／element><／ch。ice>(／extension)(／complexContent><／complexType>(／element)(elementid=”Ⅻl—typed-dimension”name=”typedDimension”substitutionGroup=”formula：abstract．dimensionaspect”)(complexType5(comple妃ontent)，choiceminOccurs=⋯0’maxOccurs=⋯1’、(／complexType)(／element>，elementname2”omit”、(complexType／5(／element)<／choice>(／extension>(／complexContent5(／complexType>(／element><／schema>A．17公式<／complexType)Celementid。”xml—formula”n∞e。”formula”substitutlonGroup。”variable：variableSet’’)(choiceminOccur8=”0”、(elementn鲫e=”precision”type=”variable：expression”／>(elementn∞e=”decimals”type=”variable：expression”／)(／choice)(elementref=”formula：aspects”minoccurs=⋯0’maxOccurs=”unbounded”／)(／sequence>{attributenaae2”value’’type=”variable：expression”u5e。”required”／)(／complexType><／element>(elementref=”formulaIabstractaspect”minoccurs=⋯1’maxOccurs=”unbounded”／)(／sequence)<／element)(complexTypename=”abstractaspecttype”)(complexContent)‘elementname=”qname”type2”OName”／、(／complexContent><／complexType><／element)(elementid2”Ⅻl-entity_identifier”name=”entityldentifier”substitutionGroup=”formula：abstractaspect’’)(complexType>(complexContent>(extensionbase=”formula：abstract，aspecttype”>(attributename2”scheme”type2”variable：expression”use=”optional”／)84 www.bzfxw.com标准分享网www.bzfxw.com免费下载GB／T25500．3—2010(attributename=”value”type=”variable：expression”use。”optional”／>(／extension)<／co“plexcontent)(／complexType>(／element>(elementid=”】Ⅱnl—period”ns／se=”period”substitutionGroup=”formula：abstract．aspectl。)(complexType>(／element>(elementid=”跏l—duration”name=”duration”)(complexType)(attributename=”start”type=”variable：expression”use=”optional”／)(attributena；fle=”end”type=”variable：expression”use=”optional”／)(／complexType)<／element>(／choice>(／extension>(／complexContent>(／complexType)<／element>(／element)(elementid=”xml—divideBy”name=”divideBy”minOccurs=”0”maxOccurs=”unbounded”、‘complexType)(attributename=”measure”type=”variable．expression”use=”optional”／(attributen鲫e=”source”type=”variable：QName”use=’’optional’’／)(／complexType>(／element)<／sequence)(／complexContent)(／complexType)(／element>(complexContent)(／simpleType>(／attribute)(／extension)<／complexContent>(／complexType>(elementid=”xml—abstract-occ-aspect”name=”abstractoccaspect”abstract=”true’’substitutionGroup=”formula：abstractaspect”type=”formula：abstractOCC．aspect．type’’／>(elementid=”Ⅻl—OCC—empty”name2”occEmpty”type=”formula．abstractOCCaspecttype’’substitutionGroup=”formulalabstractOCCaspect”／>(elementid2”xml—OCC—fragments”name2”occFragments”substitutionGroup=”formula-abstractOCC．aspect’’)(complexContent)《extensionbase=”formula：abstract．occaspecttype”)(／extension)(／complexContent>(／complexType)(／element>(elementid=”xml-oco．xpath”name2”occXpath”substitutionGroup2”formula．abstractOCCaspect”)(complexType>(complexContent>(extensionbase2”formulaIabstractOCCaspecttype”)(attributeDame=”select”type=”variable}expression”use=”optional”／)(／extension>(／complexContent)(／complexType>(／element>(elementid=”xml—abstract-dimension-aspect”name2”abstractdimensionaspect”substitutionGroup=”formula：abstractaspect”type=”formula：abstractdlInensl∞aspecttype”abstract=”true’．／)(complexTypename2”abstractdimensionaspecttype”)(complexContent>(attributen醐e=”dimension”type=”OName”use2”required”／)‘／extension)(／complexContent)(／complexType>，elementid=”xml—explicit—dimension”name=”explicitDimension”substitutionGroup=”formula：abstractdimensionaspect”>(complexType>(complexContent)(extensionbase=”formula：abstractdimensionaspecttype”)(choice>(elementDame=”member”type=”formula：qnamemodel”minOccurs=”O”／)，elementDame=”omit”minOccurs=’’0’’、(complexType／><／element)(／choice>f／extension>86 www.bzfxw.com标准分享网www.bzfxw.com免费下载<／co“plexContent>(／complexType>(／element>felementid=”xml-typed-dimension”name=”type∞imension”substitutionGroup2“formula!abstractdimensionaspect”><／complexType)(／element)(elementname。”omit”)(complexType／>(／element>(／choice)(／extension><／complexContent>(／complexType)(／element)(／schema>A．18校验GB／T25500．3—2010(schemaxmlns：validation=”httpl／／xbrl．org／2008／validation”xmlns：variable=”http!／／xbrlorg／2008／variable”xmlns=”http：／／wwww3．org／2001／XMLSchema”xmlns：gen=”http：／／xbrlorg／2008／generic’’xmlns；link2”http：／／w．．．xbrlorg／2003／linkbase”targetNamespace=”http!I／xbrlorg／2008／validation”elementFormDefault=”qualified”、(importnamespace=”httpz／／wwwxbrlorg／2003／XLink”schemaLocation=”http：／／ww．xbrl．org／2003／xl-2003-12—31xsd”／>(importnamespace=”http：／／xbrlorg／2008／variable”schemaLocation=”variablexsd”／)(1ink：arcroleTypeid=”assertlorhset”cyclesAllowed=”undirected”arcroleURl=”http：／／xbrlorg／arcrole／2008／assertion_set”>(1ink：deflnltion)assertionsetcontainsassertion<／link：definition)(1ink：USedOn>gen：arc(／iink：usedon>(／linklarcroleType>(／appinfo)(／annotation>(!一Assertionresourceabstractelementsdefinition一)(complexTypename=”assertion．type”)，complexContentmixed；”true”、87 www.bzfxw.comGB／T25500．3—2010(extensionbase=”variable：resourcetype”／>《，／complexContent>(／complexType)(elementid=”xml．abstract-variable_set-assertion”name2”vatiableSetA98ertion”abstract=”true”type2”validation：assertionvatiableSettype”substitutionGroup=”variable：variableSet”／)(complexTypenalne=”assertionvariableSettype”)fcomplexContentmixed=’。true’’、(extensionbase=”variable：variab]eSettype”／)‘／eomplexContent>．(／complexType>《compiexTypename=”assettionSettype”>fcomplexContentmixed=”true”、(extensionbase2”variable!resourcetype”／)(／complexContent)(／complexType>(／schema)A．19一致性断言(importnamespace=”http：／／wwwxbrlorg／2003／XLink”schemalDcation=”http：／／wwwxbrl．org／2003／xl一2003—12—31xsd”／)(importnamespace=”http．／／xbrlorg／2008／variable”schemaLocation=”variablexsd”／)(appinfo>《linkjarcroleTypeid；”consistency-assertion-formula”cyclesAllowed=”undirected”areroleURI=”http：／／xbrlorg／arcrole／2008／consistency-assertiorhformula“)<1ink：definition>assertionbasedonformula(／1ink：definition>(1ink：usedOn>gen：arc<／iink：usedOn><／link：arcroleType)(1ink：arcroleTypeid=”c。nsister记y-asserti。mparameter’’cyclesAllo"ed=”undirected”arcroleURI=”bttp：，Ilxbrlorq，／arcrole／200S／consistency-assertion-parameter”)(】ink：definition>acceptanceradiusdependsonparameter(／1ink：definition><1ink：usedOn>vatiable：variableArc(／1ink：usedOn>(／1ink：arcroleType)(／appinfo)f／annotation)(elementname=”conslstencFAssertion”substitutionGroup=”validation．assertion”id=”Ⅺnl—consistency-assertion”>(complexTypemixed=”true”)8R www.bzfxw.com标准分享网www.bzfxw.com免费下载GB／T25500．3～2010(complexContentmixed=”true”)(extensionbase。“validation：assertiontype”)(attributename=”strict”type=”boolean”use5’’required”／、(／element)(／schema>A．20存在性断言(／schema>A．21值断言<／complexContent>(／complexType)(／element>(／schema> www.bzfxw.comGB／T25500．3～2010参考文献[1]http：／／www．w3．org／TR／REC—xml—names／[2]http：／／www．iet{．org／rfc／rfc3986．txt[3]http：／／www．w3．org／TR／xmlschemao／[4]http：／／www．w3．org／TR／xmlschema一1／[5]http：／／www．w3．org／TR／xmlschema一2／[6]http；／／www．w3．org／TR／xpath[7]http：／／www．xbrl．org／speci“cation／impIicitFiIters／REc一2009．06—22／implicitFihers-REC2009—06—22．html'