RE: Problems with xs:redefine
> I would think, however, that you could *directly > substitute the > elements contained in the group, for the group element > itself* (since that's > what comes out in the XML instance), in the redefined element > definition > instead. Saxon-SA allows this, but Xerces complains that the > element is then > not a valid restriction of the content model of the base. > > Any idea what the correct interpretation of the spec is? The spec states an intent (to paraphrase: A is a valid restriction of B if and only if the set of valid instances of A is a subset of the set of valid instances of B) and then gives an algorithm which doesn't have the desired property. The general view is that the algorithm is normative even though it is known to be incorrect. Saxon implements an improved algorithm published by Henry Thompson and Richard Tobin in 2003; although this algorithm is closer to the stated intent of the spec, it's non-conformant. Michael Kay http://www.saxonica.com/
PURCHASE STYLUS STUDIO ONLINE TODAY!
Purchasing Stylus Studio from our online shop is Easy, Secure and Value Priced!
Download The World's Best XML IDE!
Accelerate XML development with our award-winning XML IDE - Download a free trial today!
Subscribe in XML format