Validating XML document adaptations via hedge automata transformations

DOI10.1016/J.TCS.2014.04.023zbMath1303.68042OpenAlexW1969419454MaRDI QIDQ477202

Giorgio Delzanno, Giovanna Guerrini, Alessandro Solimando

Publication date: 2 December 2014

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2014.04.023

zbMATH Keywords

XML schemahedge automatahedge rewriting systems

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Grammars and rewriting systems (68Q42) Data structures (68P05)

Related Items (2)

One-variable context-free hedge automata ⋮ XML data manipulation in conventional and temporal XML databases: a survey

Uses Software

• Relax NG

Cites Work

• Deciding Equivalence of Finite Tree Automata
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Validating XML document adaptations via hedge automata transformations