W3C home > Mailing lists > Public > www-xml-schema-comments@w3.org > October to December 2006

[Bug 3714] Over-general description of [element declaration] etc

From: <bugzilla@wiggum.w3.org>
Date: Fri, 06 Oct 2006 00:13:25 +0000
CC:
To: www-xml-schema-comments@w3.org
Message-Id: <E1GVdLB-000263-Fp@wiggum.w3.org>

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


cmsmcq@w3.org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |ASSIGNED
           Keywords|                            |needsReview




------- Comment #1 from cmsmcq@w3.org  2006-10-06 00:13 -------
A proposal to resolve this issue is at
http://www.w3.org/XML/Group/2004/06/xmlschema-1/structures.b3714.200609.html
(member-only link).

In essence, it (a) changes the prose that introduces properties
like [element declaration], replacing descriptions of the form

    If and only if an element information item is valid with
    respect to an element declaration as per Element Locally
    Valid (Element) (3.3.4), then [the property is present]

with descriptions of the form

    If and only if an element information item is valid with
    respect to its governing element declaration as defined by
    Element Locally Valid (Element) (3.3.4),

(b) makes clear that the [element declaration], [attribute
declaration], and/or [type definition] properties of elements and
attributes have the governing declaration and the governing type
definition as their value, if they have a value;

(c) introduces and defines the notion of an information item
being governed by a declaration and a type definition (this is
distinct from, although closely related, to the existing concepts
of context-determined declaration and Test(), but no effort is
made in the proposal to unsnarl the relations among all the
relevant terms; bug 3725 can be used to track that problem),

(d) replaces the terms 'local type definition' and 'actual type
definition' with 'instance-specified type definition' and
'governing type definition'

(e) specifies how the governing declaration and the governing
type definition are found for elements and attributes;

(f) moves the definition of 'context-determined declaration' out
of the Validation Rule: Schema-Validity Assessment (Attribute),
since the definition is used outside that validation rule;

(g) removes the clauses which suggest that an element cannot be
valid against any element declarations except its
context-determined declaration or a stipulated declaration;
replace them with a reference to the element's governing
declaration;

(h) introduces the term 'validly substitutable' to describe
the relation between types which must hold when an xsi:type
attribute is used;

(i) makes some minor editorial changes in passing.
Received on Friday, 6 October 2006 00:13:32 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Sunday, 6 December 2009 18:13:11 GMT