[XSL-LIST Mailing List Archive Home] [By Thread] [By Date]

Re: XSL Theory

---

---

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

---