Re: XSL Theory

["Jeff Greif" <jmg@xxxxxxxxxxx>]

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@xxxxxxxxxxxx>
To: XSLList <xsl-list@xxxxxxxxxxxxxxxx>
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