Automata-based static analysis of XML document adaptation

MaRDI QIDQ4986507zbMATH OpenFDO

Authors Alessandro Solimando, Giorgio Delzanno, Giovanna Guerrini

Publication date 27 April 2021

Full work available at URL https://arxiv.org/abs/1210.2453, http://eptcs.web.cse.unsw.edu.au/paper.cgi?GandALF2012.7

Mathematics Subject Classification ID

Data structures (68P05) Formal languages and automata (68Q45) Semantics in the theory of computing (68Q55) Computing methodologies for text processing; mathematical typography (68U15)

Recommendations

• Validating XML document adaptations via hedge automata transformations
• Mathematical Foundations of Computer Science 2004
• Updates, schema updates and validation of XML documents -- using abstract state machines with automata-defined states
• scientific article; zbMATH DE number 2043533
• Regular expression transformations to extend regular languages (with application to a Datalog XML schema validator)

Cited in

(6)

• One-variable context-free hedge automata
• Identifying query incompatibilities with evolving XML schemas
• Active XML document rewriting based on tree automata theory
• Updates, schema updates and validation of XML documents -- using abstract state machines with automata-defined states
• Validating XML document adaptations via hedge automata transformations
• Mathematical Foundations of Computer Science 2004

This page was built for publication: Automata-based static analysis of XML document adaptation

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