Schewe, Klaus-Dieter; Thalheim, Bernhard; Wang, Qing (Ms)
The exact validation of streaming XML documents can be realised by using visibly push-down automata (VPA) that are defined by Extended Document Type Definitions (EDTD). It is straightforward to represent such an automaton as an Abstract State Machine (ASM). In doing so we enable computations on abstract states that are defined by a certain class of automata, in this case VPAs. In this paper we elaborate on this approach by taking also updates of XML documents into account. In this way the...[Show more]
Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.