<html xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns="http://www.w3.org/TR/REC-html40">
<head>
<meta http-equiv=Content-Type content="text/html; charset=us-ascii">
<meta name=Generator content="Microsoft Word 11 (filtered medium)">
<style>
<!--
/* Font Definitions */
@font-face
{font-family:SimSun;
panose-1:2 1 6 0 3 1 1 1 1 1;}
@font-face
{font-family:SimSun;
panose-1:2 1 6 0 3 1 1 1 1 1;}
@font-face
{font-family:Verdana;
panose-1:2 11 6 4 3 5 4 4 2 4;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0cm;
margin-bottom:.0001pt;
text-align:justify;
text-justify:inter-ideograph;
font-size:10.5pt;
font-family:"Times New Roman";}
a:link, span.MsoHyperlink
{color:blue;
text-decoration:underline;}
a:visited, span.MsoHyperlinkFollowed
{color:purple;
text-decoration:underline;}
code
{font-family:SimSun;}
span.EmailStyle17
{mso-style-type:personal-compose;
font-family:Arial;
color:windowtext;}
/* Page Definitions */
@page Section1
{size:595.3pt 841.9pt;
margin:72.0pt 90.0pt 72.0pt 90.0pt;
layout-grid:15.6pt;}
div.Section1
{page:Section1;}
/* List Definitions */
@list l0
{mso-list-id:738014220;
mso-list-type:hybrid;
mso-list-template-ids:488392222 -120683762 67698713 67698715 67698703 67698713 67698715 67698703 67698713 67698715;}
@list l0:level1
{mso-level-tab-stop:18.0pt;
mso-level-number-position:left;
margin-left:18.0pt;
text-indent:-18.0pt;}
ol
{margin-bottom:0cm;}
ul
{margin-bottom:0cm;}
-->
</style>
</head>
<body lang=ZH-CN link=blue vlink=purple style='text-justify-trim:punctuation'>
<div class=Section1 style='layout-grid:15.6pt'>
<p class=MsoNormal><font size=1 face=Arial><span lang=EN-US style='font-size:
9.0pt;font-family:Arial'>Hi all,<o:p></o:p></span></font></p>
<p class=MsoNormal><font size=1 face=Arial><span lang=EN-US style='font-size:
9.0pt;font-family:Arial'><o:p> </o:p></span></font></p>
<p class=MsoNormal><font size=1 face=Arial><span lang=EN-US style='font-size:
9.0pt;font-family:Arial'>We are now trying to implement an XQuery processor. However,
now, we have a problem about the type system. <o:p></o:p></span></font></p>
<p class=MsoNormal><font size=1 face=Arial><span lang=EN-US style='font-size:
9.0pt;font-family:Arial'><o:p> </o:p></span></font></p>
<p class=MsoNormal><font size=1 face=Arial><span lang=EN-US style='font-size:
9.0pt;font-family:Arial'>The case is: <o:p></o:p></span></font></p>
<p class=MsoNormal style='margin-left:18.0pt;text-indent:-18.0pt;mso-list:l0 level1 lfo1'><![if !supportLists]><font
size=1 face=Arial><span lang=EN-US style='font-size:9.0pt;font-family:Arial'><span
style='mso-list:Ignore'>1.<font size=1 face="Times New Roman"><span
style='font:7.0pt "Times New Roman"'> </span></font></span></span></font><![endif]><font
size=1 face=Arial><span lang=EN-US style='font-size:9.0pt;font-family:Arial'>Module
A import schema file schemaA.<o:p></o:p></span></font></p>
<p class=MsoNormal style='margin-left:18.0pt;text-indent:-18.0pt;mso-list:l0 level1 lfo1'><![if !supportLists]><font
size=1 face=Arial><span lang=EN-US style='font-size:9.0pt;font-family:Arial'><span
style='mso-list:Ignore'>2.<font size=1 face="Times New Roman"><span
style='font:7.0pt "Times New Roman"'> </span></font></span></span></font><![endif]><font
size=1 face=Arial><span lang=EN-US style='font-size:9.0pt;font-family:Arial'>Module
B import schema file schemaB.<o:p></o:p></span></font></p>
<p class=MsoNormal style='margin-left:18.0pt;text-indent:-18.0pt;mso-list:l0 level1 lfo1'><![if !supportLists]><font
size=1 face=Arial><span lang=EN-US style='font-size:9.0pt;font-family:Arial'><span
style='mso-list:Ignore'>3.<font size=1 face="Times New Roman"><span
style='font:7.0pt "Times New Roman"'> </span></font></span></span></font><![endif]><font
size=1 face=Arial><span lang=EN-US style='font-size:9.0pt;font-family:Arial'>schemaA
and schemaB define a same-name (same namespace and same local name) schema type.<o:p></o:p></span></font></p>
<p class=MsoNormal style='margin-left:18.0pt;text-indent:-18.0pt;mso-list:l0 level1 lfo1'><![if !supportLists]><font
size=1 face=Arial><span lang=EN-US style='font-size:9.0pt;font-family:Arial'><span
style='mso-list:Ignore'>4.<font size=1 face="Times New Roman"><span
style='font:7.0pt "Times New Roman"'> </span></font></span></span></font><![endif]><font
size=1 face=Arial><span lang=EN-US style='font-size:9.0pt;font-family:Arial'>Module
A import module B. <o:p></o:p></span></font></p>
<p class=MsoNormal><font size=1 face=Arial><span lang=EN-US style='font-size:
9.0pt;font-family:Arial'>Will this schema type name conflict cause err:XQST0035
or not? Though, in module A, it doesn’t import schemaB, err:XQST0035 is
so strong that it says:<o:p></o:p></span></font></p>
<p class=MsoNormal><font size=2 face="Times New Roman"><span lang=EN-US
style='font-size:10.5pt'>It is a <a
href="http://www.w3.org/TR/xquery/#dt-static-error" title="static error">static
error</a> [<a href="http://www.w3.org/TR/xquery/#ERRXQST0035"
title="err:XQST0035">err:XQST0035</a>] if multiple imported schemas, or
multiple physical resources within one schema, contain definitions for the same
name in the same symbol space (for example, two definitions for the same
element name, even if the definitions are consistent). However, it is not an
error to import the schema with target namespace </span></font><code><font
size=3 face=宋体><span lang=EN-US style='font-size:12.0pt'>http://www.w3.org/2001/XMLSchema</span></font></code><span
lang=EN-US> (predeclared prefix </span><code><font size=3 face=宋体><span
lang=EN-US style='font-size:12.0pt'>xs</span></font></code><span lang=EN-US>),
even though the built-in types defined in this schema are implicitly included
in the <a href="http://www.w3.org/TR/xquery/#dt-is-types"
title="in-scope schema type">in-scope schema types.</a><o:p></o:p></span></p>
<p class=MsoNormal><font size=2 face="Times New Roman"><span lang=EN-US><o:p> </o:p></span></font></p>
<p class=MsoNormal><font size=1 face=Arial><span lang=EN-US style='font-size:
9.0pt;font-family:Arial'>It doesn’t say the multiple imported schemas
shall be in the same prolog. So, it seems the above case shall report
err:XQST0035. If so, then no type name conflict can appear at global level
(i.e. all the imported types, except built-in types, in all modules shall be unique).
<o:p></o:p></span></font></p>
<p class=MsoNormal><font size=1 face=Arial><span lang=EN-US style='font-size:
9.0pt;font-family:Arial'><o:p> </o:p></span></font></p>
<p class=MsoNormal><font size=1 face=Arial><span lang=EN-US style='font-size:
9.0pt;font-family:Arial'>Or more precise question is: does err:XQST0035 ensure
the type systems used in </span></font><span lang=EN-US>dynamic evaluation
phase has no name conflict? <o:p></o:p></span></p>
<p class=MsoNormal><font size=2 face="Times New Roman"><span lang=EN-US><o:p> </o:p></span></font></p>
<p class=MsoNormal><font size=2 face="Times New Roman"><span lang=EN-US
style='font-size:10.5pt'>Thanks<o:p></o:p></span></font></p>
<p class=MsoNormal><font size=2 face="Times New Roman"><span lang=EN-US
style='font-size:10.5pt'>Weihua<o:p></o:p></span></font></p>
<p class=MsoNormal><font size=2 face="Times New Roman"><span lang=EN-US><o:p> </o:p></span></font></p>
<p class=MsoNormal><font size=2 face="Times New Roman"><span lang=EN-US
style='font-size:10.5pt'>The case code is:<o:p></o:p></span></font></p>
<p class=MsoNormal style='text-indent:21.0pt;layout-grid-mode:char'><font
size=2 face=Verdana><span lang=EN-US style='font-size:11.0pt;font-family:Verdana'>//schemaA.xsd<o:p></o:p></span></font></p>
<p class=MsoNormal style='text-indent:21.0pt;layout-grid-mode:char'><font
size=2 face=Verdana><span lang=EN-US style='font-size:11.0pt;font-family:Verdana'><?xml
version="1.0" encoding="UTF-8"?><o:p></o:p></span></font></p>
<p class=MsoNormal style='text-indent:21.0pt;layout-grid-mode:char'><font
size=2 face=Verdana><span lang=EN-US style='font-size:11.0pt;font-family:Verdana'><xs:schema
xmlns:xs="http://www.w3.org/2001/XMLSchema"<o:p></o:p></span></font></p>
<p class=MsoNormal style='text-indent:21.0pt;layout-grid-mode:char'><font
size=2 face=Verdana><span lang=EN-US style='font-size:11.0pt;font-family:Verdana'>targetNamespace="http://www.hats.com/hats"><o:p></o:p></span></font></p>
<p class=MsoNormal style='text-indent:21.0pt;layout-grid-mode:char'><font
size=2 face=Verdana><span lang=EN-US style='font-size:11.0pt;font-family:Verdana'><o:p> </o:p></span></font></p>
<p class=MsoNormal style='text-indent:21.0pt;layout-grid-mode:char'><font
size=2 face=Verdana><span lang=EN-US style='font-size:11.0pt;font-family:Verdana'><xs:simpleType
name="HatSize"><o:p></o:p></span></font></p>
<p class=MsoNormal style='text-indent:21.0pt;layout-grid-mode:char'><font
size=2 face=Verdana><span lang=EN-US style='font-size:11.0pt;font-family:Verdana'>
<xs:restriction base="xs:integer"><o:p></o:p></span></font></p>
<p class=MsoNormal style='text-indent:21.0pt;layout-grid-mode:char'><font
size=2 face=Verdana><span lang=EN-US style='font-size:11.0pt;font-family:Verdana'>
<xs:minInclusive
value="1"/><o:p></o:p></span></font></p>
<p class=MsoNormal style='text-indent:21.0pt;layout-grid-mode:char'><font
size=2 face=Verdana><span lang=EN-US style='font-size:11.0pt;font-family:Verdana'>
<xs:maxInclusive value="10"/><o:p></o:p></span></font></p>
<p class=MsoNormal style='text-indent:21.0pt;layout-grid-mode:char'><font
size=2 face=Verdana><span lang=EN-US style='font-size:11.0pt;font-family:Verdana'>
</xs:restriction><o:p></o:p></span></font></p>
<p class=MsoNormal style='text-indent:21.0pt;layout-grid-mode:char'><font
size=2 face=Verdana><span lang=EN-US style='font-size:11.0pt;font-family:Verdana'></xs:simpleType><o:p></o:p></span></font></p>
<p class=MsoNormal style='text-indent:21.0pt;layout-grid-mode:char'><font
size=2 face=Verdana><span lang=EN-US style='font-size:11.0pt;font-family:Verdana'><o:p> </o:p></span></font></p>
<p class=MsoNormal style='text-indent:21.0pt;layout-grid-mode:char'><font
size=2 face=Verdana><span lang=EN-US style='font-size:11.0pt;font-family:Verdana'></xs:schema><o:p></o:p></span></font></p>
<p class=MsoNormal style='text-indent:21.0pt;layout-grid-mode:char'><font
size=2 face=Verdana><span lang=EN-US style='font-size:11.0pt;font-family:Verdana'><o:p> </o:p></span></font></p>
<p class=MsoNormal style='text-indent:21.0pt;layout-grid-mode:char'><font
size=2 face=Verdana><span lang=EN-US style='font-size:11.0pt;font-family:Verdana'>//schemaB.xsd<o:p></o:p></span></font></p>
<p class=MsoNormal style='text-indent:21.0pt;layout-grid-mode:char'><font
size=2 face=Verdana><span lang=EN-US style='font-size:11.0pt;font-family:Verdana'><?xml
version="1.0" encoding="UTF-8"?><o:p></o:p></span></font></p>
<p class=MsoNormal style='text-indent:21.0pt;layout-grid-mode:char'><font
size=2 face=Verdana><span lang=EN-US style='font-size:11.0pt;font-family:Verdana'><xs:schema
xmlns:xs="http://www.w3.org/2001/XMLSchema"<o:p></o:p></span></font></p>
<p class=MsoNormal style='text-indent:21.0pt;layout-grid-mode:char'><font
size=2 face=Verdana><span lang=EN-US style='font-size:11.0pt;font-family:Verdana'>targetNamespace="http://www.hats.com/hats"><o:p></o:p></span></font></p>
<p class=MsoNormal style='text-indent:21.0pt;layout-grid-mode:char'><font
size=2 face=Verdana><span lang=EN-US style='font-size:11.0pt;font-family:Verdana'><o:p> </o:p></span></font></p>
<p class=MsoNormal style='text-indent:21.0pt;layout-grid-mode:char'><font
size=2 face=Verdana><span lang=EN-US style='font-size:11.0pt;font-family:Verdana'><xs:simpleType
name="HatSize"><o:p></o:p></span></font></p>
<p class=MsoNormal style='text-indent:21.0pt;layout-grid-mode:char'><font
size=2 face=Verdana><span lang=EN-US style='font-size:11.0pt;font-family:Verdana'>
<xs:restriction base="xs:integer"><o:p></o:p></span></font></p>
<p class=MsoNormal style='text-indent:21.0pt;layout-grid-mode:char'><font
size=2 face=Verdana><span lang=EN-US style='font-size:11.0pt;font-family:Verdana'>
<xs:minInclusive value="1"/><o:p></o:p></span></font></p>
<p class=MsoNormal style='text-indent:21.0pt;layout-grid-mode:char'><font
size=2 face=Verdana><span lang=EN-US style='font-size:11.0pt;font-family:Verdana'>
<xs:maxInclusive value="20"/><o:p></o:p></span></font></p>
<p class=MsoNormal style='text-indent:21.0pt;layout-grid-mode:char'><font
size=2 face=Verdana><span lang=EN-US style='font-size:11.0pt;font-family:Verdana'>
</xs:restriction><o:p></o:p></span></font></p>
<p class=MsoNormal style='text-indent:21.0pt;layout-grid-mode:char'><font
size=2 face=Verdana><span lang=EN-US style='font-size:11.0pt;font-family:Verdana'></xs:simpleType><o:p></o:p></span></font></p>
<p class=MsoNormal style='text-indent:21.0pt;layout-grid-mode:char'><font
size=2 face=Verdana><span lang=EN-US style='font-size:11.0pt;font-family:Verdana'><o:p> </o:p></span></font></p>
<p class=MsoNormal style='text-indent:21.0pt;layout-grid-mode:char'><font
size=2 face=Verdana><span lang=EN-US style='font-size:11.0pt;font-family:Verdana'></xs:schema><o:p></o:p></span></font></p>
<p class=MsoNormal style='layout-grid-mode:char'><font size=2 face=Verdana><span
lang=EN-US style='font-size:11.0pt;font-family:Verdana'><o:p> </o:p></span></font></p>
<p class=MsoNormal style='layout-grid-mode:char'><font size=2 face=Verdana><span
lang=EN-US style='font-size:11.0pt;font-family:Verdana'><o:p> </o:p></span></font></p>
<p class=MsoNormal style='layout-grid-mode:char'><font size=2 face=Verdana><span
lang=EN-US style='font-size:11.0pt;font-family:Verdana'>
//B.xq<o:p></o:p></span></font></p>
<p class=MsoNormal style='layout-grid-mode:char'><font size=2 face=Verdana><span
lang=EN-US style='font-size:11.0pt;font-family:Verdana'>
module namespace module1="http://www.hats.com/module1";<o:p></o:p></span></font></p>
<p class=MsoNormal style='text-indent:21.0pt;layout-grid-mode:char'><font
size=2 face=Verdana><span lang=EN-US style='font-size:11.0pt;font-family:Verdana'>import
schema namespace hats="http://www.hats.com/hats" at "schemaB.xsd";<o:p></o:p></span></font></p>
<p class=MsoNormal style='layout-grid-mode:char'><font size=2 face=Verdana><span
lang=EN-US style='font-size:11.0pt;font-family:Verdana'><o:p> </o:p></span></font></p>
<p class=MsoNormal style='text-indent:21.0pt;layout-grid-mode:char'><font
size=2 face=Verdana><span lang=EN-US style='font-size:11.0pt;font-family:Verdana'>declare
function module1:function1() as xs:integer<o:p></o:p></span></font></p>
<p class=MsoNormal style='text-indent:21.0pt;layout-grid-mode:char'><font
size=2 face=Verdana><span lang=EN-US style='font-size:11.0pt;font-family:Verdana'>{<o:p></o:p></span></font></p>
<p class=MsoNormal style='layout-grid-mode:char'><font size=2 face=Verdana><span
lang=EN-US style='font-size:11.0pt;font-family:Verdana'>
("4" cast as hats:HatSize) treat as
xs:integer<o:p></o:p></span></font></p>
<p class=MsoNormal style='text-indent:21.0pt;layout-grid-mode:char'><font
size=2 face=Verdana><span lang=EN-US style='font-size:11.0pt;font-family:Verdana'>};<o:p></o:p></span></font></p>
<p class=MsoNormal style='text-indent:21.0pt;layout-grid-mode:char'><font
size=2 face=Verdana><span lang=EN-US style='font-size:11.0pt;font-family:Verdana'><o:p> </o:p></span></font></p>
<p class=MsoNormal style='text-indent:21.0pt;layout-grid-mode:char'><font
size=2 face=Verdana><span lang=EN-US style='font-size:11.0pt;font-family:Verdana'><o:p> </o:p></span></font></p>
<p class=MsoNormal style='text-indent:21.0pt;layout-grid-mode:char'><font
size=2 face=Verdana><span lang=EN-US style='font-size:11.0pt;font-family:Verdana'>//A.xq<o:p></o:p></span></font></p>
<p class=MsoNormal style='text-indent:21.0pt;layout-grid-mode:char'><font
size=2 face=Verdana><span lang=EN-US style='font-size:11.0pt;font-family:Verdana'>import
module namespace module1="http://www.hats.com/module1" at "B.xq";<o:p></o:p></span></font></p>
<p class=MsoNormal style='text-indent:21.0pt;layout-grid-mode:char'><font
size=2 face=Verdana><span lang=EN-US style='font-size:11.0pt;font-family:Verdana'><o:p> </o:p></span></font></p>
<p class=MsoNormal style='text-indent:21.0pt;layout-grid-mode:char'><font
size=2 face=Verdana><span lang=EN-US style='font-size:11.0pt;font-family:Verdana'>import
schema namespace hats="http://www.hats.com/hats" at "schemaA.xsd";<o:p></o:p></span></font></p>
<p class=MsoNormal style='text-indent:21.0pt;layout-grid-mode:char'><font
size=2 face=Verdana><span lang=EN-US style='font-size:11.0pt;font-family:Verdana'><o:p> </o:p></span></font></p>
<p class=MsoNormal style='text-indent:21.0pt;layout-grid-mode:char'><font
size=2 face=Verdana><span lang=EN-US style='font-size:11.0pt;font-family:Verdana'>module1:function1()
instance of hats:HatSize<o:p></o:p></span></font></p>
<p class=MsoNormal><font size=1 face=Arial><span lang=EN-US style='font-size:
9.0pt;font-family:Arial'><o:p> </o:p></span></font></p>
</div>
</body>
</html>