RE: Determinization in case of ambiguity or Should XML validators report on schemas that violate the UPA constraint?

Thanks.

Shlomo.

-----Original Message-----
From: Michael Kay [mailto:mike@saxonica.com] 
Sent: ג 17 אפריל 2007 14:11
To: Shlomo Yona; 'Henry S. Thompson'
Cc: xmlschema-dev@w3.org
Subject: RE: Determinization in case of ambiguity or Should XML validators report on schemas that violate the UPA constraint?

> 
> I had another example where an xsd:sequence with an implied 
> minOccurs="1" and maxOccurs="1" contains particles with minOccurs="0".
> What is the expected behavior when none of these particles 
> appear in an XML instance?

It's quite valid to have a sequence with minOccurs="1" that contains an
element with minOccurs="0". Conceptually it means that the sequence must
occur, but if all the elements within the sequence are optional, then the
sequence is allowed to be empty. Of course in an instance document you can't
tell the difference between an empty sequence and an absent sequence, so you
might as well have written minOccurs="0" on the whole sequence, but in the
grammar they are subtly different.

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

Received on Tuesday, 17 April 2007 13:59:26 UTC