Lists Home |
Date 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.