I think there is a typo in the "Typed Element" inference rule in section "4. Normalization" in: XML Schema: Formal Description, W3C Working Draft, 25 September 2001 Typed Element: x |- e ? e' deref(e').content = e'[t] t <: t' t |- d ? td ---------- x |- e[@xsi:type[t], d] ? e'[t types td] The second precondition should read instead : deref(e').content = e'[t'] (ie: t' instead of t) Regards -- mk <http://fr.mail.yahoo.com>Yahoo! Mail -- Une adresse @yahoo.fr gratuite et en français !Received on Thursday, 14 March 2002 13:19:27 UTC
This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 23:08:57 UTC