Integritní omezení v XML

Abstract

Tato práce se zabývá možnostmi validace omezujících podmínek v XML dokumentech. Z tohoto hlediska jsou zhodnoceny zavedené schema jazyky DTD, XML Schema a Relax NG. Dále jsou představeny na problematiku přímo specializované jazyky Schematron a CliX. Smyslem práce je návrh a následná implementace vlastního jazyka Incox (Integrity Constraints in XML). Ten je založen na využití logiky prvního řádu a jazyka XPath. Incox vychází myšlenkově z CliXu, ale přináší také řadu nových prvk jako je například volitelná syntaxe (přirozený jazyk i XML), konstanty, nebo upravené kvanti kátory, s jejichž pomocí lze přesněji speci kovat míru požadovaného splnění podmínky.

This work deals with possibilities of integrity constraints validation in XML documents. From this point of view we review well-kown schema languages DTD, XML Schema and Relax NG. Next we present more specialized languages Schematron and CliX. The purpose of this work is to design and implement new language Incox (Integrity Constraints in XML). Incox is based on using of rst-order logic and XPath language. It draws inspiration from Clix, but it also brings new features such as optional syntax (natural language as well as XML), constants or extended quanti ers to help specify required degree of truth more precisely.