Deciding Equivalence of Top-Down XML Transformations in Polynomial Time

@inproceedings{Maneth2007DecidingEO,
  title={Deciding Equivalence of Top-Down XML Transformations in Polynomial Time},
  author={Sebastian Maneth and Helmut Seidl},
  booktitle={PLAN-X},
  year={2007}
}
Many useful XML transformations can be expressed by determi nistic top-down tree transducers. A normal form is presented for such transducers (ext ended with the facility to inspect their input trees). A transducer in normal form has a un ique canonical form which can be obtained by a minimization procedure, in polynomial t ime. Thus, equivalence of… CONTINUE READING