Jonathan, let me confirm, it seems that you are telling me that<br>this case does not violate XQuery's consistency constraints because <br>each module has its own definitions, right?<br>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><div><span class="gmail_quote">2008/1/9, Jonathan Robie <<a href="mailto:jonathan.robie@redhat.com">jonathan.robie@redhat.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;">
he harrison wrote:<br>> Here is definition of module:<br>> "A query can be assembled from one or more fragments called *modules*.<br>> [Definition: A *module* is a fragment of XQuery code that conforms to<br>
> the Module <<a href="http://www.w3.org/TR/xquery/#doc-xquery-Module">http://www.w3.org/TR/xquery/#doc-xquery-Module</a>> grammar<br>> and can independently undergo the static analysis phase<br>> <<a href="http://www.w3.org/TR/xquery/#dt-static-analysis">
http://www.w3.org/TR/xquery/#dt-static-analysis</a>> described in *2.2.3<br>> Expression Processing*<br>> <<a href="http://www.w3.org/TR/xquery/#id-expression-processing">http://www.w3.org/TR/xquery/#id-expression-processing
</a>>. Each module<br>> is either a main module <<a href="http://www.w3.org/TR/xquery/#dt-main-module">http://www.w3.org/TR/xquery/#dt-main-module</a>><br>> or a library module <<a href="http://www.w3.org/TR/xquery/#dt-library-module">
http://www.w3.org/TR/xquery/#dt-library-module</a>>.]"<br>><br>> Since modules could independetly undergo the static analysis phase, then<br>> I understand wherever it's imported, it's in-scope schema type
<br>> definition should not be<br>> 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'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's no problem here.<br><br>Jonathan
<br><br></blockquote></div><br>