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

> The Last Call draft of XSD 1.1 says that 
> the 'available documents' property of the dynamic context for 
> XPath evaluation on assertions is the empty set.  That should 
> mean, if I understand correctly, that the subexpression 
> doc('countries.xml') returns the empty node sequence.

On a technicality, no: it means it throws an error, which has the same
effect as when the assertion evaluates to false. But this doesn't affect the
rest of your argument.

Michael Kay
http://www.saxonica.com/