Validating XML document adaptations via hedge automata transformations

DOI10.1016/J.TCS.2014.04.023MaRDI QIDQ477202zbMATH OpenOpenAlexFDO

Authors Alessandro Solimando, Giorgio Delzanno, Giovanna Guerrini

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) Data structures (68P05) Grammars and rewriting systems (68Q42)

Recommendations

• Automata-based static analysis of XML document adaptation
• Updates, schema updates and validation of XML documents -- using abstract state machines with automata-defined states
• scientific article; zbMATH DE number 1953123
• Efficient constraint validation for updated XML databases
• Mathematical Foundations of Computer Science 2004

Cites work

• scientific article; zbMATH DE number 1117901 (Why is no real title available?)
• scientific article; zbMATH DE number 1142314 (Why is no real title available?)
• scientific article; zbMATH DE number 2043533 (Why is no real title available?)
• Automata-based static analysis of XML document adaptation
• Deciding Equivalence of Finite Tree Automata

Cited in

(4)

• XML data manipulation in conventional and temporal XML databases: a survey
• Updates, schema updates and validation of XML documents -- using abstract state machines with automata-defined states
• Automata-based static analysis of XML document adaptation
• One-variable context-free hedge automata

Describes a project that uses

Uses Software

• Relax NG

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q477202)