Validating XML document adaptations via hedge automata transformations

DOI10.1016/J.TCS.2014.04.023zbMATH Open1303.68042OpenAlexW1969419454MaRDI QIDQ477202FDOQ477202

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

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

zbMATH Keywords

XML schemahedge automatahedge rewriting systems

Mathematics Subject Classification ID

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

Cites Work

• Deciding Equivalence of Finite Tree Automata
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (3)

• 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
• One-variable context-free hedge automata

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)