Proposed standard terminology: "resolve" is the term uses to describe the determination of constraints on a simpleType
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?
EXAMPLE OF DETERMINING THE CONSTRAINTS ON A SIMPLETYPE
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.