Re: XSL Theory

[disco <disco@xxxxxxxxxxxxxxx>]

I had this idea about a year ago, and we discussed it some on XSL-List.
The practical answer is, sometimes it can be done. The theory answer is
that, since XSLT is a Turing-complete language (in other words, it attains
a certain maximal level of complexity in things that can be done with it),
the validation turns out to be an instance of the halting problem. I'm
afraid I can't explain it well, since my theory professor, although a
wonderful man, can't teach worth a damn. But the short story is: yes, work
has been done, and no, it can't be done in 100% of cases.

Dan

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?
> 
> Jon Smirl
> jonsmirl@xxxxxxxxxxxx
> 
> 
> 
>  XSL-List info and archive:  http://www.mulberrytech.com/xsl/xsl-list
> 


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