Incremental Validation of String-Based XML Data in Databases, File Systems, and Streams

Beda Christoph Hammerschmidt; Christian Werner; Ylva Brandt; Volker Linnemann; Sven Groppe; Stefan Fischer

doi:10.1007/978-3-540-75185-4_23

Incremental Validation of String-Based XML Data in Databases, File Systems, and Streams

Beda Christoph Hammerschmidt, Christian Werner, Ylva Brandt, Volker Linnemann, Sven Groppe, Stefan Fischer

Abstract

Although the native (tree-like) storage of XML data becomes more and more important there will be an enduring demand to manage XML data in its textual representation, for instance in relational structures or file systems. XML data has to be wellformed by definition and additionally, in many cases, it has to be valid according to a given XML schema. Because the XML column types are often derived from text types (e.g. CLOBs) guaranteeing well-formedness as well as validity is not trivial. And even worse, for frequently modified data it is usually too expensive to re-validate the whole XML data after each update -- but waiving re-validation may lead to inconsistencies and malfunctions of applications. In this paper we present a schema-aware pushdown automaton (i.e. a stack machine) that validates an XML string/stream. Using an element/state-index, the pushdown automaton is able to re-validate local modifications of the data while guaranteeing overall validity. Update operations (e.g. SQLXML, XQuery updates) are validated before executing them.

Original language	English
Title of host publication	Advances in Databases and Information Systems
Editors	Yannis Ioannidis, Boris Novikov, Boris Rachev
Number of pages	16
Volume	4690
Place of Publication	Berlin, Heidelberg
Publisher	Springer Berlin Heidelberg
Publication date	01.10.2007
Pages	314-329
ISBN (Print)	978-3-540-75184-7
ISBN (Electronic)	978-3-540-75185-4
DOIs	https://doi.org/10.1007/978-3-540-75185-4_23
Publication status	Published - 01.10.2007
Event	11th East European Conference on Advances in Databases and Information Systems - Varna, Bulgaria Duration: 29.09.2007 → 03.10.2007 Conference number: 71032

UN SDGs

This output contributes to the following UN Sustainable Development Goals (SDGs)

Access to Document

10.1007/978-3-540-75185-4_23

Cite this

Hammerschmidt, B. C., Werner, C., Brandt, Y., Linnemann, V., Groppe, S., & Fischer, S. (2007). Incremental Validation of String-Based XML Data in Databases, File Systems, and Streams. In Y. Ioannidis, B. Novikov, & B. Rachev (Eds.), Advances in Databases and Information Systems (Vol. 4690 , pp. 314-329). (Lecture Notes in Computer Science; Vol. 4690 ). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-540-75185-4_23

Hammerschmidt, Beda Christoph ; Werner, Christian ; Brandt, Ylva et al. / Incremental Validation of String-Based XML Data in Databases, File Systems, and Streams. Advances in Databases and Information Systems. editor / Yannis Ioannidis ; Boris Novikov ; Boris Rachev. Vol. 4690 Berlin, Heidelberg : Springer Berlin Heidelberg, 2007. pp. 314-329 (Lecture Notes in Computer Science).

@inproceedings{bd33a46abaf449bf82a9d406a7bc6d90,

title = "Incremental Validation of String-Based XML Data in Databases, File Systems, and Streams",

abstract = "Although the native (tree-like) storage of XML data becomes more and more important there will be an enduring demand to manage XML data in its textual representation, for instance in relational structures or file systems. XML data has to be wellformed by definition and additionally, in many cases, it has to be valid according to a given XML schema. Because the XML column types are often derived from text types (e.g. CLOBs) guaranteeing well-formedness as well as validity is not trivial. And even worse, for frequently modified data it is usually too expensive to re-validate the whole XML data after each update -- but waiving re-validation may lead to inconsistencies and malfunctions of applications. In this paper we present a schema-aware pushdown automaton (i.e. a stack machine) that validates an XML string/stream. Using an element/state-index, the pushdown automaton is able to re-validate local modifications of the data while guaranteeing overall validity. Update operations (e.g. SQLXML, XQuery updates) are validated before executing them.",

author = "Hammerschmidt, {Beda Christoph} and Christian Werner and Ylva Brandt and Volker Linnemann and Sven Groppe and Stefan Fischer",

year = "2007",

month = oct,

day = "1",

doi = "10.1007/978-3-540-75185-4_23",

language = "English",

isbn = "978-3-540-75184-7",

volume = "4690 ",

series = "Lecture Notes in Computer Science",

publisher = "Springer Berlin Heidelberg",

pages = "314--329",

editor = "Yannis Ioannidis and Boris Novikov and Boris Rachev",

booktitle = "Advances in Databases and Information Systems",

note = "11th East European Conference on Advances in Databases and Information Systems, ADBIS 2007 ; Conference date: 29-09-2007 Through 03-10-2007",

}

Hammerschmidt, BC, Werner, C, Brandt, Y, Linnemann, V, Groppe, S & Fischer, S 2007, Incremental Validation of String-Based XML Data in Databases, File Systems, and Streams. in Y Ioannidis, B Novikov & B Rachev (eds), Advances in Databases and Information Systems. vol. 4690 , Lecture Notes in Computer Science, vol. 4690 , Springer Berlin Heidelberg, Berlin, Heidelberg, pp. 314-329, 11th East European Conference on Advances in Databases and Information Systems, Varna, Bulgaria, 29.09.07. https://doi.org/10.1007/978-3-540-75185-4_23

Incremental Validation of String-Based XML Data in Databases, File Systems, and Streams. / Hammerschmidt, Beda Christoph; Werner, Christian; Brandt, Ylva et al.
Advances in Databases and Information Systems. ed. / Yannis Ioannidis; Boris Novikov; Boris Rachev. Vol. 4690 Berlin, Heidelberg: Springer Berlin Heidelberg, 2007. p. 314-329 (Lecture Notes in Computer Science; Vol. 4690 ).

Research output: Chapters in Books/Reports/Conference Proceedings › Conference contribution › peer-review

TY - GEN

T1 - Incremental Validation of String-Based XML Data in Databases, File Systems, and Streams

AU - Hammerschmidt, Beda Christoph

AU - Werner, Christian

AU - Brandt, Ylva

AU - Linnemann, Volker

AU - Groppe, Sven

AU - Fischer, Stefan

N1 - Conference code: 71032

PY - 2007/10/1

Y1 - 2007/10/1

N2 - Although the native (tree-like) storage of XML data becomes more and more important there will be an enduring demand to manage XML data in its textual representation, for instance in relational structures or file systems. XML data has to be wellformed by definition and additionally, in many cases, it has to be valid according to a given XML schema. Because the XML column types are often derived from text types (e.g. CLOBs) guaranteeing well-formedness as well as validity is not trivial. And even worse, for frequently modified data it is usually too expensive to re-validate the whole XML data after each update -- but waiving re-validation may lead to inconsistencies and malfunctions of applications. In this paper we present a schema-aware pushdown automaton (i.e. a stack machine) that validates an XML string/stream. Using an element/state-index, the pushdown automaton is able to re-validate local modifications of the data while guaranteeing overall validity. Update operations (e.g. SQLXML, XQuery updates) are validated before executing them.

AB - Although the native (tree-like) storage of XML data becomes more and more important there will be an enduring demand to manage XML data in its textual representation, for instance in relational structures or file systems. XML data has to be wellformed by definition and additionally, in many cases, it has to be valid according to a given XML schema. Because the XML column types are often derived from text types (e.g. CLOBs) guaranteeing well-formedness as well as validity is not trivial. And even worse, for frequently modified data it is usually too expensive to re-validate the whole XML data after each update -- but waiving re-validation may lead to inconsistencies and malfunctions of applications. In this paper we present a schema-aware pushdown automaton (i.e. a stack machine) that validates an XML string/stream. Using an element/state-index, the pushdown automaton is able to re-validate local modifications of the data while guaranteeing overall validity. Update operations (e.g. SQLXML, XQuery updates) are validated before executing them.

UR - https://www.scopus.com/record/display.uri?eid=2-s2.0-38049083875&origin=inward&txGid=e093e934a7474cac551cd68a6f7b9be4

U2 - 10.1007/978-3-540-75185-4_23

DO - 10.1007/978-3-540-75185-4_23

M3 - Conference contribution

SN - 978-3-540-75184-7

VL - 4690

T3 - Lecture Notes in Computer Science

SP - 314

EP - 329

BT - Advances in Databases and Information Systems

A2 - Ioannidis, Yannis

A2 - Novikov, Boris

A2 - Rachev, Boris

PB - Springer Berlin Heidelberg

CY - Berlin, Heidelberg

T2 - 11th East European Conference on Advances in Databases and Information Systems

Y2 - 29 September 2007 through 3 October 2007

ER -

Hammerschmidt BC, Werner C, Brandt Y, Linnemann V, Groppe S , Fischer S. Incremental Validation of String-Based XML Data in Databases, File Systems, and Streams. In Ioannidis Y, Novikov B, Rachev B, editors, Advances in Databases and Information Systems. Vol. 4690 . Berlin, Heidelberg: Springer Berlin Heidelberg. 2007. p. 314-329. (Lecture Notes in Computer Science). doi: 10.1007/978-3-540-75185-4_23

Incremental Validation of String-Based XML Data in Databases, File Systems, and Streams

Abstract

UN SDGs

Access to Document

Other files and links

Fingerprint

Cite this