Název:
Adaptace XML dokumentů a integritní omezení v XML
Překlad názvu:
XML Document Adaptation and Integrity Constraints in XML
Autoři:
Malý, Jakub ; Nečaský, Martin (vedoucí práce) ; Bača, Radim (oponent) ; Grossmann, Georg (oponent) Typ dokumentu: Disertační práce
Rok:
2013
Jazyk:
eng
Abstrakt: [eng][cze] 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.
Klíčová slova:
adaptace dokumentů; evoluce schémat; integritní omezení; XML schema; document adaptation; integerity constraints; schema evolution; XML schema