XML Document Adaptation and Integrity Constraints in XML

Abstract

This work examines XML data management and consistency -- more precisely the problem of document adaptation and the usage of integrity constraints. Changes in user requirements cause changes in schemas used in the systems and changes in the schemas subsequently make existing documents invalid. In this thesis, we introduce a formal framework for detecting changes between two versions of a schema and generating a transformation from the source to the target schema. Large-scale information systems depend on integrity constraints to be preserved and valid. In this work, we show how OCL can be used for XML data to define constraints at the abstract level, how such constraints can be translated to XPath expressions and Schematron schemas automatically and verified in XML documents.

Práce se zabývá managementem a konzistencí XML dat -- přesněji problémem adaptace dokumentů a užití integritních omezení. Změny požadavků uživatelů často způsobují změny ve schématech používaných v systému a následně způsobí, že stávající dokumenty se stanou nevalidními. V práci představíme formální framework pro detekci změn mezi dvěma verzemi schématu a generování transformace z původní na novou verzi schématu. Rozsáhlé informační systémy spoléhají na platnost integritních omezení. V práci ukážeme, jak lze pro definici omezení v XML datech na abstraktní úrovni použít jazyk OCL a jak lze tato omezení přeložit do výrazů jazyka XPath, schemat jazyka Schematron a ověřit tak jejich platnost.