Lists Home |
Date Index |
> You just brought up something that has been at the back of my mind
> about the XQuery Formal Semantics. Although I haven't read it
> completely, there seems to be a complication in that part of its
> type system seems to be based on that used by XDuce and another part
> is based on W3C XML Schema when as you have shown they are
> contradictory in a number of ways.
From what I gather, the XQuery Formal Semantics WD is behind the
times, and in fact XQuery's (and XPath's) type system is going to be
based on XML Schema (named types) rather than implicit subtyping,
which at least means it's all consistent.