[xquery-talk] Re: about "module" in XQuery spec
Jonathan Robie
jonathan.robie at redhat.com
Wed Jan 9 10:54:26 PST 2008
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
More information about the talk
mailing list