I mean, the reason why implementation will throw an error is <span style="font-weight: bold; color: rgb(255, 0, 0);">not due to consistency constraints violation</span>, but due to<br><span style="font-weight: bold; color: rgb(255, 0, 0);">
not providing subtype substitution for static unknown schema type</span>(spec. allow this). If implementation does provide<br>subtype substitution for static unknown schema type, the answer will be "false".<br><br>
According to Jonathan Robie's opinion, the "redefine" here did not violate the consistency constraints.<br>(whether I misunderstand Jonathan's word needs his confirmation)<br><br><div><span class="gmail_quote">
2008/1/14, Michael Kay <<a href="mailto:mike@saxonica.com">mike@saxonica.com</a>>:</span><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
<div><span class="q">
<div dir="ltr" align="left">Then according to module's "independently undergo the
static analysis phase" <br>definition, the answer will be "false" if
implementation provide mechanism<br>to dynamically detect static unknow type(in
order to fully support subtype substitution),<br>and will throw an error if
implementation did not provide such mechanism, right? <br><br><span><font color="#0000ff" face="Arial" size="2"> </font></span></div></span>
<div dir="ltr" align="left"><span><font color="#0000ff" face="Arial" size="2">The specification doesn't say that implementations are
obliged to throw an error if the consistency constraints are violated. It says
that the results are undefined in these circumstances.</font></span></div><span class="q">
<div dir="ltr" align="left"><span></span> </div>
<div dir="ltr" align="left"><span><font color="#0000ff" face="Arial" size="2">Michael Kay</font></span></div>
<div dir="ltr" align="left"><span><font color="#0000ff" face="Arial" size="2"><a href="http://www.saxonica.com/" target="_blank" onclick="return top.js.OpenExtLink(window,event,this)">http://www.saxonica.com/</a></font>
</span></div></span></div>
</blockquote></div><br>