Re: SV: What's a valid instance...James Clark

Yes, Michael is right on all counts below.  Thanks for the clarification.

--------------------------------------
Noah Mendelsohn 
IBM Corporation
One Rogers Street
Cambridge, MA 02142
1-617-693-4036
--------------------------------------








"C. M. Sperberg-McQueen" <cmsmcq@acm.org>
03/22/2007 11:31 AM
 
        To:     noah_mendelsohn@us.ibm.com
        cc:     "C. M. Sperberg-McQueen" <cmsmcq@acm.org>, "Bryan 
Rasmussen" <BRS@itst.dk>, "Pete Cordell" <petexmldev@tech-know-ware.com>, 
xmlschema-dev@w3.org
        Subject:        Re: SV: What's a valid instance...James Clark


On 22 Mar 2007, at 08:50 , noah_mendelsohn@us.ibm.com wrote:

> I believe that in your example, the <bar/> is not valid, because 
> there's
> no global declaration for it.

That will be valid (with [validation attempted] = none) if
validation is initiated in 'lax' mode (third bullet item in
the list of ways to initiate schema validity assessment in
section 5.2 of XSD 1.0, called 'lax wildcard validation' in
the drafts of 1.1).  Only if you specify what 1.1 calls
'strict wildcard validation' will the processor know that
you want an error raised because 'bar' has no declaration.
And even then the PSVI on the element will say [validity]=valid;
the difference between lax and strict wildcard validation is
visible only from the point of view of the caller, not from
the PSVI.


> This has been discussed many times.  In my mind, it was a tradeoff....

In addition to the rationales you mention, I'd also mention
that specifying a required root tends to make reuse of
schema modules in other contexts harder.

--C. M. Sperberg-McQueen

Received on Thursday, 22 March 2007 20:12:03 UTC