OASIS Mailing List ArchivesView the OASIS mailing list archive below
or browse/search using MarkMail.


Help: OASIS Mailing Lists Help | MarkMail Help

[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index]
Re: [xml-dev] Redundancy is an error?

The feature of being able to say that an element should not be present is not redundant, in general. You may be deriving a schema by restriction to say you don't want any foo even though the base type does.  Also, the schema shows intention: the developer adds that in for a reason: the implementation can optimize it away or warn about it, but why should it presume that there is some mistake there (in contrast to some redundant statement in a programming language)?  

(Even in that particular example where there is no type derivation, I could imagine cases where if foo was previously allowed in a schema but now obsolete the developer might want to keep a declaration at that point hoping it would show that the change was not a mistake of omission but a deliberate change.)

In the second example, that is a type error that could potentially be picked up staticly (James Clark was very clear that the first item in a list should be index = 1) which is a different case.  And it may be common enough that implementations should try to look for it as a static error rather than a dynamic one.


On Mon, Nov 21, 2016 at 6:20 AM, Costello, Roger L. <costello@mitre.org> wrote:

Hi Folks,

I am learning the Alloy modelling language. It is so cool. One interesting aspect of Alloy is this rule:

                An expression is erroneous if it can be shown
               to be redundant, using types alone.

A common and simple case of redundancy is an expression that is equal to the empty relation (set). For example, if sets A and B are disjoint, then (A intersect B) is empty and therefore redundant (and therefore erroneous).

I am trying to see if any of the XML technologies have an equivalent rule.

It seems that XSD does not. Consider: the following schema says that an XML instance document can never have a <Foo> element:

<xs:element name="Book">
<xs:element name="Title" type="xs:string"/>
<xs:element name="Author" type="xs:string"/>
<xs:element name="Date" type="xs:string"/>
<xs:element name="Foo" minOccurs="0" maxOccurs="0" type="xs:string"/>


The Foo element declaration is redundant – it declares an element that can never manifest in XML instances. Redundancy is not an error in XSD.


It also seems that redundancy is not an error in XSLT/XPath. Consider: the following XSLT has an XPath expression that can never be satisfied:


<xsl:template match="/">
<xsl:when test="name(/*[position() eq 0]) eq 'foo'">foo</xsl:when>
<xsl:when test="name(/*[position() eq 1]) eq 'bar'">bar</xsl:when>
<xsl:when test="name(/*[position() eq 1]) eq 'blah'">blah</xsl:when>


In the vast universe of XML technologies, is there anywhere a rule that requires redundancy be treated as an error?



[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index]

News | XML in Industry | Calendar | XML Registry
Marketplace | Resources | MyXML.org | Sponsors | Privacy Statement

Copyright 1993-2007 XML.org. This site is hosted by OASIS