[Bug 11095] Lack of clarity on 'unknown' types

http://www.w3.org/Bugs/Public/show_bug.cgi?id=11095

--- Comment #2 from Jonathan Robie <jonathan.robie@redhat.com> 2010-11-04 13:52:51 UTC ---
(In reply to comment #1)
> I believe this problem can be fixed by modifying XQuery 3.0 section 2.5.4 as
> follows:
> 
> 1) Define S as containing every type from every module in an XQuery program.

I don't like that, because it means that the schemas in all modules used in an
XQuery must be consistent. That breaks an important aspect of XQuery's design -
we need to be able to have modules written for different versions of a schema
that evolves over time, or modules for different XML vocabularies that use the
same names but are not in a namespace.

Implementations are already allowed to know the types in an instance document
and to use them in these judgements, but whether they do this is
implementation-defined:

> potentially, the schema used for validating the instance document; 
> whether a processor adds this schema to S is implementation-defined.

If a library creates derived types in an instance, the type information in that
instance can be used to determine whether the type is an instance of xs:int.

If we want to say an implementation is not allowed to raise the error, we
should require this, and not leave it implementation-defined.

-- 
Configure bugmail: http://www.w3.org/Bugs/Public/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the QA contact for the bug.

Received on Thursday, 4 November 2010 13:52:53 UTC