Validating XML document adaptations via hedge automata transformations
From MaRDI portal
(Redirected from Publication:477202)
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)
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)