Quiz: what's the value space of the <Publisher> element?

["Costello, Roger L." <costello@mitre.org>]

Hi Folks,

Consider this element declaration:

    <xs:element name="Publisher" type="xs:string"/>

What is Publisher's value space? That is, what values can the <Publisher> element have in an XML instance document:


    <Publisher>_________</Publisher>


The Publisher element is being used by Book:


    <xs:element name="Book">
        <xs:complexType>
            <xs:sequence>
                <xs:element name="Title" type="xs:string"/>
                <xs:element name="Author" type="xs:string"/>
                <xs:element name="Date" type="xs:gYear"/>
                <xs:element name="ISBN" type="xs:string"/>
                <xs:element ref="Publisher" />
            </xs:sequence>
        </xs:complexType>
    </xs:element>


Okay, what is Publisher's value space?

Scroll down for the answer ...























































VALUE SPACE

Did you answer:

   The value space of Publisher 
   is an unbounded string.


If you're using XML Schema 1.1 then your answer may be wrong.

XML Schema 1.1 has a new element, the <assert> element. It can impose additional constraints on the Publisher element. For example, the <Book> element is nested within a <BarnesAndNoble> element, which has an <assert> element that constrains the Publisher element to a maximum string length of 140 characters:


    <xs:element name="BarnesAndNoble">
        <xs:complexType>
            <xs:sequence>
                <xs:element ref="Book" maxOccurs="unbounded" />
            </xs:sequence>
            <xs:assert test="not(Book[string-length(Publisher) gt 140])" />
        </xs:complexType>
    </xs:element>


The <Book> element is also nested within a <Borders> element, which has an <assert> element that constrains the Publisher element to either 'McMillin Publishing', 'Dell Publishing Co.', 'Harper &amp; Row', or 'Wrox Press':


    <xs:element name="Borders">
        <xs:complexType>
            <xs:sequence>
                <xs:element ref="Book" maxOccurs="unbounded" />
            </xs:sequence>
            <xs:assert test="not(Book[not(Publisher = ('McMillin Publishing',
                                 'Dell Publishing Co.','Harper &amp; Row',
                                 'Wrox Press'))])" />
        </xs:complexType>
    </xs:element>


What's the value space of Publisher?

  - It could be an unbounded string, or

  - It could be a string of max length 140, or

  - It could be an enumeration list, 'McMillin Publishing', 
    'Dell Publishing Co.', 'Harper &amp; Row', or 'Wrox Press'

  - Or, it could be something else.


That's interesting, but so what?

Scroll down to see the "so what" ...


















































SO WHAT?

What this means is that an element declaration cannot be understood on its own, in isolation. 

To understand an element you must understand all possible ancestors of the element. 

Want to create a tool that automatically generates sample instance values for each element declared in the schema? That's relatively straightforward in XML Schema 1.0 because you can understand each element declaration in isolation. In XML Schema 1.1, as the above example illustrates, an element's value cannot be determined in isolation. So, instance-document-generator tools become impossible. (If not impossible, it will certainly be extraordinarily difficult) 

Want to create a tool that does automated analysis of element declarations? That's intractable.  (If not intractable, it will certainly be extraordinarily difficult)


Comments?

/Roger