Hi Michael,

> Can you provide a little more information?  Where did you discover
> these requirements?  

I discovered these "requirement" upon using SAXON. Michael Kay has since in=
formed me that this is unique to SAXON, and is not in the specification.

> Making the 'available documents' property be the empty set helps
> ensure (a) better interoperability between validators, and (b) the
> context-independence of schema-validity assessment of an element
> or attribute against a declaration or type definition.  The
> context-independence of validation against a type is important to
> many users of XSD (although not, I suspect, to all).

I'm not clear on (b) but (a) certainly sounds like the decision to disallow=
 doc() for cross-document validation was done to make it easier to implemen=
t 1.1 schema validators. Validators are built once, but used many times. Di=
sallowing doc() seems to sacrifice XSD 1.1 usability in favor of ease of va=
lidator implementations.

/Roger =

From mike@s... Mon Apr 27 16:08:27 2009
Received: from bart.w3