ISO Schematron 是解决您问题的工具。只需使用允许数据类型的 XPath 2.0 实现。然后你只需要测试一个断言。就像是<assert test="@from < @to"/>
请参阅:http ://www.schematron.com/implementation.html
关于重叠:您可以编写一个 XSLT 函数,该函数在您的 schematron 模式中返回一个布尔值,并从您的测试属性中调用它。
嵌入 XSLT 功能的 Schematron:
<?xml version="1.0" encoding="UTF-8"?>
<schema xmlns="http://purl.oclc.org/dsdl/schematron" xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
xmlns:fct="localFunctions" queryBinding="xslt2"
xmlns:xs="http://www.w3.org/2001/XMLSchema" >
<ns prefix="fct" uri="localFunctions"/>
<pattern>
<rule context="intervals">
<assert test="fct:checkOverlaping((),range)" >OVERLAPING</assert>
</rule>
</pattern>
<xsl:function name="fct:checkOverlaping" as="xs:boolean">
<xsl:param name="currentEndDate" as="xs:dateTime?"/>
<xsl:param name="ranges" as="node()*"/>
<xsl:choose>
<xsl:when test="not(exists($currentEndDate))">
<xsl:variable name="orderedRanges" as="node()*">
<xsl:for-each select="$ranges">
<xsl:sort select="@from"/>
<xsl:copy-of select="."/>
</xsl:for-each>
</xsl:variable>
<xsl:value-of select="fct:checkOverlaping(xs:dateTime($orderedRanges[position()=1]/@to),$orderedRanges[position()>1])"/>
</xsl:when>
<xsl:otherwise>
<xsl:value-of select="
if (not(exists($ranges))) then true() else
if ($currentEndDate > $ranges[position()=1]/@from) then false() else
fct:checkOverlaping($ranges[position()=1]/@to,$ranges[position()>1])
"/>
</xsl:otherwise>
</xsl:choose>
</xsl:function>
</schema>
使用以下实现:http ://www.schematron.com/tmp/iso-schematron-xslt2.zip实现allow-foreign
并使用 XPath 2.0。当此参数allow-foreign
设置为 true 时,实现将嵌入上面的函数。
该函数如何工作:第一个循环(currentEndDate 未设置)range
元素按from
日期排序。其他递归循环(排序后):测试to
第一个范围的日期是否在第二个日期的起始日期之前,如果为真则继续下一个(否则为假并停止)。