Re: More surprises (ID, ENTITY, NOTATION, ...)

Ross Thompson <rthompson@contivo.com> writes:

>     [Definition:] pattern is a constraint on the value space of a
>     datatype which is achieved by constraining the lexical space to
>     literals which match a specific pattern. The value of pattern must
>     be a regular expression.
> 
> So, I dispute your claim.

Not sure how you think this affects my claim (that whether an
attribute value or element content is among the members of a
lexical space is determined by the post-whitespace-processing version
thereof), but here's how it goes:

The fundamental rule wrt datatype validity is [1], which starts
 
 "A string is datatype-valid with respect to a datatype definition if: 
    1 it matches a literal in the lexical space of the datatype. . ."

And the connection to this from validation as a whole comes from [2],
which says:

 "Validation Rule: String Valid 
     A string is locally valid with respect to a simple type
     definition if it is schema-valid with respect to that definition
     as defined by Datatype Valid in [XML Schemas: Datatypes]."

and one further step back is [3] which says

  "Validation Rule: Attribute Locally Valid 

      For an attribute information item to be locally valid with
      respect to an attribute declaration all of the following must be
      true:
         . . .
         3 The item's *normalized value*  must be locally
           valid with respect to that {type definition} as per String 
           Valid (3.14.4). 

and finally *normalized value* is defined at [4], to whit:

  "[Definition:] The normalized value of an element or attribute
  information item is an initial value whose white space, if any, has
  been normalized according to the value of the whiteSpace facet of
  the simple type definition used in its validation. . .

Similarly for elements.

Q.E.D.

ht

[1] http://www.w3.org/TR/xmlschema-2/#defn-validation-rules
[2] http://www.w3.org/TR/xmlschema-1/#section-Simple-Type-Definition-Validation-Rules
[3] http://www.w3.org/TR/xmlschema-1/#section-Attribute-Declaration-Validation-Rules
[4] http://www.w3.org/TR/xmlschema-1/#key-nv
-- 
  Henry S. Thompson, HCRC Language Technology Group, University of Edinburgh
          W3C Fellow 1999--2001, part-time member of W3C Team
     2 Buccleuch Place, Edinburgh EH8 9LW, SCOTLAND -- (44) 131 650-4440
	    Fax: (44) 131 650-4587, e-mail: ht@cogsci.ed.ac.uk
		     URL: http://www.ltg.ed.ac.uk/~ht/

Received on Monday, 22 October 2001 17:30:24 UTC