- From: Michael Dyck <jmdyck@ibiblio.org>
- Date: Sun, 15 Feb 2004 13:48:31 -0800
- To: public-qt-comments@w3.org
Henry Zongaro wrote:
>
> Some components of the static context are described as sets of pairs, in
> particular, the in-scope namespaces, in-scope variables, and in-scope
> collations. In each case, there is an implicit constraint on the
> component - namely, that the first item in any pair in each set is not
> associated with more than one value in the set. For instance, the
> in-scope namespaces must not be the set:
>
> {(pre,http://ex.org), (pre,http://ex.net)}
>
> Those consistency constraints should be stated explicitly.
Or else you could describe each component as a mapping, rather than a
set of pairs, since a mapping has this constraint by definition.
-Michael Dyck
Received on Sunday, 15 February 2004 16:48:57 UTC