This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.
8.1.10 Union interpretation of derived types This section uses the undefined term "one-determinism". I see how (element a | element a, element b) is naturally recognized by a non-deterministic finite state automoton, and it is equivalent to (element a, (() | element b)), which is naturally recognized by a deterministic finite state automoton, so I think I see a way to define "one-determinism". Probably the term is understood in some communities, but I think it would be better to reformulate this in a more commonly known vocabulary. In addition, the conversion of non-deterministic FSA to deterministic is well documented, and probably found in the references you cite in 8.3.2 "Subtype and type equality", so this looks like a good path to take.
The WGs agreed to use the correct XML Schema WG terminology for this situation which is "UPA". We agreee to change "that enforces the one-determinism property" with "that enforces the UPA property". Please let us know if you are not satisifed with this resolution. Paul Cotton On behalf of XML Query and XSL WGs