Determinacy and rewriting of functional top-down and MSO tree transformations
type: Item
instance of: scholarly article
title: Determinacy and rewriting of functional top-down and MSO tree transformations
zbMATH Open document ID: 1356.68050
author: Sebastian Maneth
author: Michael Benedikt
author: Joost Engelfriet
published in: Journal of Computer and System Sciences
publication date: 2016-12-28T00:00:00Z
Mathematics Subject Classification ID: 68P15
Mathematics Subject Classification ID: 03D05
Mathematics Subject Classification ID: 68P05
Mathematics Subject Classification ID: 68Q45
zbMATH DE Number: 6668746
zbMATH Keywords: view-query determinacy
zbMATH Keywords: top-down tree transducers
zbMATH Keywords: MSO definable tree transducers
MaRDI profile type: Publication
full work available at URL: j.jcss.2016.11.001
OpenAlex ID: W2557073715
cites work: Determinacy and query rewriting for conjunctive queries and views
cites work: Determinacy and Subsumption for Single-Valued Bottom-Up Tree Transducers
cites work: Q4164834
cites work: On injectivity of deterministic top-down tree transducers
cites work: Q4138171
cites work: Compositions of extended top-down tree transducers
cites work: The Power of Extended Top-Down Tree Transducers
cites work: Extended multi bottom-up tree transducers
cites work: Q3906457
cites work: Deciding equivalence of top-down XML transformations in polynomial time
cites work: The equivalence problem for deterministic MSO tree transducers is decidable
cites work: Determinacy and Rewriting of Top-Down and MSO Tree Transformations
cites work: Static analysis of XML security views and query rewriting
cites work: Equivalence of finite-valued tree transducers is decidable
cites work: Top-down tree transducers with regular look-ahead
cites work: Q3077955
cites work: A comparison of tree transductions defined by monadic second order logic and by attribute grammars
cites work: Macro tree transducers, attribute grammars, and MSO definable tree translations.
cites work: Macro Tree Translations of Linear Size Increase are MSO Definable
cites work: Streaming Tree Transducers
cites work: Q4160428
cites work: On tree transducers for partial functions
cites work: Tree transducers, L systems, and two-way machines
cites work: Tree acceptors and some of their applications
cites work: Generalized finite automata theory with an application to a decision problem of second-order logic
cites work: Weighted extended tree transducers
cites work: Transductions des langages de Chomsky
cites work: Bottom-up and top-down tree transformations— a comparison
cites work: Macro tree transducers
cites work: A survey on decidable equivalence problems for tree transducers
cites work: Macro forest transducers
DOI: 10.1016/J.JCSS.2016.11.001
description: scientific article; zbMATH DE number 6668746