OASIS Mailing List ArchivesView the OASIS mailing list archive below
or browse/search using MarkMail.


Help: OASIS Mailing Lists Help | MarkMail Help



   RE: [xml-dev] Automated schema migration

[ Lists Home | Date Index | Thread Index ]

> Could I somehow derive a transformation between documents from this 
> transformation between schemas?

As a general rule, the answer to such questions is usually no: making
inferences about the behaviour of Turing-complete languages usually ends up
being equivalent to solving the halting problem, and is therefore provably

However, there might be useful special cases that can be handled using this
approach - basically, if you confine yourself to a sterotyped subset of XSLT
when transforming the schemas, you may be able to do some useful reasoning
about it. Worth exploring, anyway.

Michael Kay


News | XML in Industry | Calendar | XML Registry
Marketplace | Resources | MyXML.org | Sponsors | Privacy Statement

Copyright 2001 XML.org. This site is hosted by OASIS