Deciding equivalence of top–down XML transformations in polynomial time

https://doi.org/10.1016/j.jcss.2009.01.001Get rights and content
Under an Elsevier user license
open archive

Abstract

Many useful XML transformations can be expressed by deterministic top–down tree transducers. A normal form is presented for such transducers (extended with the facility to inspect their input trees). A transducer in normal form has a unique canonical form which can be obtained by a minimization procedure, in polynomial time. Thus, equivalence of transducers in normal form can be decided in polynomial time. If the transducer is total, the normal form can be obtained in polynomial time as well.

Keywords

XML
Top–down tree transducer
Equivalence
Minimization

Cited by (0)