Thank you Jonathan,<br>So you mean, in my first example, the result of b.xq will be either<br>&quot;false&quot; or throw an error, but can never be &quot;true&quot;(even if &quot;myType&quot; still <br>have same definition content after redefine)?
<br><br><div><span class="gmail_quote">2008/1/9, Jonathan Robie &lt;<a href="mailto:jonathan.robie@redhat.com">jonathan.robie@redhat.com</a>&gt;:</span><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
he harrison wrote:<br>&gt; Here is definition of module:<br>&gt; &quot;A query can be assembled from one or more fragments called *modules*.<br>&gt; [Definition: A *module* is a fragment of XQuery code that conforms to<br>
&gt; the Module &lt;<a href="http://www.w3.org/TR/xquery/#doc-xquery-Module">http://www.w3.org/TR/xquery/#doc-xquery-Module</a>&gt; grammar<br>&gt; and can independently undergo the static analysis phase<br>&gt; &lt;<a href="http://www.w3.org/TR/xquery/#dt-static-analysis">
http://www.w3.org/TR/xquery/#dt-static-analysis</a>&gt; described in *2.2.3<br>&gt; Expression Processing*<br>&gt; &lt;<a href="http://www.w3.org/TR/xquery/#id-expression-processing">http://www.w3.org/TR/xquery/#id-expression-processing
</a>&gt;. Each module<br>&gt; is either a main module &lt;<a href="http://www.w3.org/TR/xquery/#dt-main-module">http://www.w3.org/TR/xquery/#dt-main-module</a>&gt;<br>&gt; or a library module &lt;<a href="http://www.w3.org/TR/xquery/#dt-library-module">
http://www.w3.org/TR/xquery/#dt-library-module</a>&gt;.]&quot;<br>&gt;<br>&gt; Since modules could independetly undergo the static analysis phase, then<br>&gt; I understand wherever it&#39;s imported, it&#39;s in-scope schema type
<br>&gt; definition should not be<br>&gt; redefined by importing module.<br><br>This is true.<br><br>Also, note that if you do import definitions that differ into a given<br>context, that would violate XQuery&#39;s consistency constraints
<br>(<a href="http://www.w3.org/TR/xquery/#id-consistency-constraints">http://www.w3.org/TR/xquery/#id-consistency-constraints</a>). Since each<br>module has its own definitions, there&#39;s no problem here.<br><br>Jonathan
<br><br></blockquote></div><br>