This is the mail archive of the
xsl-list@mulberrytech.com
mailing list .
Re: XSL Theory
Also, even if the stylesheet is correct, provably or not, some valid
instances of schema A may not be transformable into valid instances of
schema B. For example, an element in schema B may be required, but be
optional in A, and not present in a particular instance of A.
Jeff
----- Original Message -----
From: Liam R. E. Quin <liamquin@interlog.com>
To: XSLList <xsl-list@mulberrytech.com>
Sent: Thursday, March 09, 2000 3:43 PM
Subject: Re: XSL Theory
> On Wed, 8 Mar 2000, Jon Smirl wrote:
> > Suppose I have an XML document conforming to Schema A and I want to
> > transform it into a document that conforms to Schema B. Has any work
been
> > done trying to prove that my stylesheet will always generate a valid
> > document?
>
> No -- the reverse is true.
> There is no guarantee that the markup in a template is valid.
>
XSL-List info and archive: http://www.mulberrytech.com/xsl/xsl-list