• To: "'Renaud Waldura'" <renaud+xml@w...>,<xml-dev@l...>
• Subject: RE: Automated schema migration
• From: "Michael Kay" <mike@s...>
• Date: Thu, 10 Nov 2005 22:30:23 -0000
• In-reply-to: <002a01c5e58a$9f8f1890$945fae0a@C...>
• Thread-index: AcXlivDpjN4/MctfSoGMqn4aHTpZXQAd+tEg

> 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
impossible.

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
http://www.saxonica.com/

• References:
  • Re: Automated schema migration
    • From: "Renaud Waldura" <renaud+xml@w...>

• Prev by Date: RE: Optional elements and restrictions
• Next by Date: Re: schemaTron
• Previous by thread: Re: Automated schema migration, conclusion
• Next by thread: RE: Automated schema migration
• Index(es):
  • Date
  • Thread