[Bug 10291] Test /SchemaImport/SchemaImportProlog/modules-schema-context should accept XPTY0004 as valid result

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

Martin Probst <Probst_Martin@emc.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |Probst_Martin@emc.com

--- Comment #11 from Martin Probst <Probst_Martin@emc.com> 2011-01-11 10:42:09 UTC ---
Maybe we do something wrong, but xDB actually compiles modules independently -
imported modules have no knowledge of schemata imported by the parent module,
and the parent module has no knowledge of schemata imported by the imported
modules.

We actually do the subtype check based on the runtime type, which is what MKay
is proposing, and it works. I'm not aware of any other limitation in this area
- Dana, could you give specific examples of what else doesn't work?

@Markos: 

"What is proposed in comment #4 is a modification to the spec, right? In this
case, why extend the dynamic context only? Why not do the same for the static
context as well? This would allow more query optimizations during compile
time."

There is nothing keeping you from doing that behind the scenes, as long as the
result it gives is identical to the specified behaviour.

-- 
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 Tuesday, 11 January 2011 10:42:11 UTC