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 2955 - Ease UPA restrictions
Summary: Ease UPA restrictions
Status: RESOLVED LATER
Alias: None
Product: XML Schema
Classification: Unclassified
Component: Structures: XSD Part 1 (show other bugs)
Version: 1.1 only
Hardware: PC Windows XP
: P2 normal
Target Milestone: ---
Assignee: C. M. Sperberg-McQueen
QA Contact: XML Schema comments list
URL:
Whiteboard: important, hard
Keywords: resolved
Depends on:
Blocks:
 
Reported: 2006-03-01 22:20 UTC by David Ezell
Modified: 2007-05-02 00:25 UTC (History)
0 users

See Also:


Attachments

Description David Ezell 2006-03-01 22:20:00 UTC
Part of RQ-17 and friends discussion.  Also related to versioning, cleanup, 
and general usability issues.
Comment 1 C. M. Sperberg-McQueen 2007-05-02 00:25:40 UTC
The XML Schema Working Group discussed this issue at some length during
a face to face meeting at the end of March.  

Note first that the UPA constraint of XSD 1.0 has in fact been
eased somewhat by the introduction of weakened wildcards.

There was some sentiment (at least one member of the WG) for going
further and eliminating the Unique Particle Attribution constraint 
entirely, as being irrational and unhelpful.  But those favoring 
that measure were in a distinct minority.  Others felt
that eliminating the constraint was too big a change for XML Schema 1.1
but that it might be worth coming back to later.  

Some in the WG argued that the UPA constraint does provide some help 
for certain kinds of tools and tool development. In this connection,
it was suggested that where determinism is helpful, it would suffice 
for spec to require that the input/output mapping (or in other words 
the input / PSVI mapping) of a given complex type be deterministic;
UPA is strictly stronger than such a constraint.  (A non-deterministic
automaton may have a deterministic mapping if each pair of competing
particles will provide the same annotations in the PSVI.)  Unfortunately,
we don't at the moment know enough about the closure properties of
finite-state automata which produce output to be confident about
moving toward a constraint phrased in terms of them.

In the end, the chair determined that the Working Group did not have
sufficient consensus to make this change, so we agreed to close the
issue without further action.  Since the proposal to ease the UPA
constraint had active support, we chose to give the issue a resolution 
of LATER, indicating that we recommend to any Working Group
preparing a future version of XML Schema that they consider this
issue anew. 

Accordingly, I'm marking this issue RESOLVED / LATER.