[
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
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/
|
