Re: about "module" in XQuery spec

[Jonathan Robie]

he harrison wrote:
> Here is definition of module:
> "A query can be assembled from one or more fragments called *modules*. 
> [Definition: A *module* is a fragment of XQuery code that conforms to 
> the Module <http://www.w3.org/TR/xquery/#doc-xquery-Module> grammar 
> and can independently undergo the static analysis phase 
> <http://www.w3.org/TR/xquery/#dt-static-analysis> described in *2.2.3 
> Expression Processing* 
> <http://www.w3.org/TR/xquery/#id-expression-processing>. Each module 
> is either a main module <http://www.w3.org/TR/xquery/#dt-main-module> 
> or a library module <http://www.w3.org/TR/xquery/#dt-library-module>.]"
>
> Since modules could independetly undergo the static analysis phase, then
> I understand wherever it's imported, it's in-scope schema type 
> definition should not be
> redefined by importing module.

This is true.

Also, note that if you do import definitions that differ into a given 
context, that would violate XQuery's consistency constraints 
(http://www.w3.org/TR/xquery/#id-consistency-constraints). Since each 
module has its own definitions, there's no problem here.

Jonathan