Re: XSL Theory

["Jon Smirl" <jonsmirl@xxxxxxxxxxxx>]

From: "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.

This is the sort of thing a schema prover should pick up on. To be correct
the stylesheet would need to detect the missing element and generate a
default value or error condition.

Jon Smirl
jonsmirl@xxxxxxxxxxxx



 XSL-List info and archive:  http://www.mulberrytech.com/xsl/xsl-list