Re: [XPath] Consistency Constraints

Hi Martin,

I'm classifying remaining issues for XPath 2.0, and I ran across the 
following message from you:

http://lists.w3.org/Archives/Public/public-qt-comments/2004Feb/0386.html

In this, you ask:

> 2.2.5 says: "Enforcement of these consistency Constraints is
> beyond the scope of this specification."
> 
> Who/what enforces these constraints? In case they are not enforced,
> what are they there for?

To me, the answer is given in the following paragraph:

> In order for XQuery to be well defined, the data model, the static
> context, and the dynamic context must be mutually consistent. The
> consistency constraints listed below are prerequisites for correct
> functioning of an XQuery implementation. Enforcement of these
> consistency constraints is beyond the scope of this specification.
> This specification does not define the result of a query under any
> condition in which one or more of these constraints is not satisfied.

An implementation must ensure that these constraints are met, or else 
our specification is not well-defined for that implementation. We don't 
try to design the language for any implementation that does not enforce 
the consistency constraints.

Is that clear now? Can we close this issue, or is there an issue that I 
am not aware of?

Jonathan