This is the mail archive of the
xsl-list@mulberrytech.com
mailing list .
Re: XSL Theory
- To: XSLList <xsl-list at mulberrytech dot com>
- Subject: Re: XSL Theory
- From: disco <disco at thirdnipple dot com>
- Date: Thu, 9 Mar 2000 16:10:18 -0500 (EST)
- Reply-To: xsl-list at mulberrytech dot com
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@mediaone.net
>
>
>
> XSL-List info and archive: http://www.mulberrytech.com/xsl/xsl-list
>
XSL-List info and archive: http://www.mulberrytech.com/xsl/xsl-list