RE: [XML Schema 1.1] Using doc() in xs:assert ... the referenced document needs a schema?

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 informed 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 implement 1.1 schema validators. Validators are built once, but used many times. Disallowing doc() seems to sacrifice XSD 1.1 usability in favor of ease of validator implementations.

/Roger