This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.

Bug 6540 - Available documents in assertions
Summary: Available documents in assertions
Status: CLOSED FIXED
Alias: None
Product: XML Schema
Classification: Unclassified
Component: Structures: XSD Part 1 (show other bugs)
Version: 1.1 only
Hardware: PC Windows NT
: P2 normal
Target Milestone: ---
Assignee: David Ezell
QA Contact: XML Schema comments list
URL:
Whiteboard:
Keywords: editorial, resolved
Depends on:
Blocks:
 
Reported: 2009-02-08 18:45 UTC by Michael Kay
Modified: 2009-03-16 14:03 UTC (History)
1 user (show)

See Also:


Attachments

Description Michael Kay 2009-02-08 18:45:00 UTC
In defining the dynamic context for XPath evaluation (section 3.13.4.2) we say that available documents is empty, but available collections and the default collection are implementation defined.

There is no logic to making these different. Either all three should be empty, or all three should be implementation defined.

I think there are many use cases for writing assertions that make access to external documents; for example one can check that the value of an EMPNR attribute corresponds to a value that is present in some external document or database. However, there are also many difficulties - in particular it means that the validity of the attribute depends heavily on the environment in which validation is performed. Making the values of these context properties implementation-defined would pass the buck to implementors to solve these problems if they can find a way of doing it; I would be inclined to favour this route over banning it out of hand.
Comment 1 David Ezell 2009-02-27 17:50:49 UTC
RESOLUTION: change available collections and default collection to empty. Status editorial, needs drafting.

Comment 2 Sandy Gao 2009-03-16 13:39:01 UTC
During its 2009-03-13 telecon, the schema WG adopted a proposal to address this issue.

Changes include:
1. Replaced "implementation-defined" with "the empty set" for item 9 (available collections) in 3.13.4.2 XPath Evaluation.
2. Replaced "implementation-defined" with "the empty sequence" for item 10 (default collections) in 3.13.4.2 XPath Evaluation.

With these changes, the WG believes that the issue raised in this bug report is fully addressed. I'm marking this RESOLVED accordingly.

Michael, as the persons who opened and reopened this issue, if you would indicate your concurrence with or dissent from the WG's disposition of the comment by closing or reopening the issue, we'll be grateful. If we don't hear from you in the next two weeks, we'll assume that silence implies consent.