Deciding equivalence of top-down XML transformations in polynomial time
type: Item
instance of: scholarly article
title: Deciding equivalence of top-down XML transformations in polynomial time
zbMATH Open document ID: 1167.68032
author: Joost Engelfriet
author: Sebastian Maneth
author: Helmut Seidl
published in: Journal of Computer and System Sciences
publication date: 2009-06-08T00:00:00Z
Mathematics Subject Classification ID: 68Q45
Mathematics Subject Classification ID: 68P05
Mathematics Subject Classification ID: 68Q25
zbMATH DE Number: 5562796
zbMATH Keywords: XML
zbMATH Keywords: top-down tree transducer
zbMATH Keywords: equivalence
zbMATH Keywords: minimization
MaRDI profile type: Publication
full work available at URL: j.jcss.2009.01.001
OpenAlex ID: W2164592058
cites work: Translations on a context free grammar
cites work: Tree pattern query minimization
cites work: An efficient automata approach to some problems on context-free grammars.
cites work: Top-down tree transducers with regular look-ahead
cites work: The equivalence problem for deterministic MSO tree transducers is decidable
cites work: Tree transducers, L systems, and two-way machines
cites work: Macro tree transducers
cites work: Q3906457
cites work: Top-down tree transducers with deterministic top-down look-ahead
cites work: Q4210160
cites work: Q4179852
cites work: The unsolvability of the Equivalence Problem for Λ-Free nondeterministic generalized machines
cites work: Q4506483
cites work: Q4473157
cites work: On the complexity of typechecking top-down XML transformations
cites work: Containment and equivalence for a fragment of XPath
cites work: Minimization algorithms for sequential transducers
cites work: Minimal Ascending and Descending Tree Automata
cites work: Macro forest transducers
cites work: Mappings and grammars on trees
cites work: Generalized sequential machine maps
cites work: Top-down tree transducers with two-way tree walking look-ahead
cites work: Q4185831
DOI: 10.1016/J.JCSS.2009.01.001
description: scientific article; zbMATH DE number 5562796