W3C home > Mailing lists > Public > xmlschema-dev@w3.org > June 2011

Proposed standard terminology: "resolve" is the term uses to describe the determination of constraints on a simpleType

From: Costello, Roger L. <costello@mitre.org>
Date: Thu, 9 Jun 2011 09:27:49 -0400
To: "xmlschema-dev@w3.org" <xmlschema-dev@w3.org>
Message-ID: <9E51F88D5247B648908850C35A3BBB50053FA056BE@IMCMBX3.MITRE.ORG>
Hi Folks,

1. I propose that the term "resolve" be adopted as the standard term used to describe the determination of constraints on an XML Schema simpleType. See below for a brief discussion of "determining the constraints on a simpleType."

2. I propose the term "resolved" be adopted as the standard term used to describe the result after applying "resolve" on a simpleType.

3. I propose that "resolve" be a standard function in all programming libraries for processing XML Schemas. Here is its function signature:

        resolve :: simpleType -> Resolve

Read as: The function "resolve" takes an XML Schema simpleType as its argument and returns a representation of the constraints on the simpleType.

The representation of a resolved simpleType may be varied. The typeclass "Resolve" indicates that there may be varied representation.

Any comments on this proposed standardization?



Consider this simpleType:

    <simpleType name="BostonAreaSurfaceElevation">
            <restriction base="EarthSurfaceElevation">
                    <maxInclusive value="120"/>

It restricts this simpleType:

    <simpleType name="EarthSurfaceElevation">
            <restriction base="integer">
                    <minInclusive value="-1290"/>
                    <maxInclusive value="29035"/>

Analyzing this "simpleType dependency chain" we see that BostonAreaSurfaceElevation is an integer simpleType and is constrained as follows:

- The minInclusive value is -1290

- The maxInclusive value is 120

This example is very simple. In general, a simpleType dependency chain may be long (A restricts B which restricts C which restricts B etc.) and determining the constraints on a simpleType could be quite involved.
Received on Thursday, 9 June 2011 13:28:49 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 23:15:59 UTC