Normalizace XQuery dotazů

Abstract

Tato práce se zabývá jazykem XQuery a normalizací formulí tímto jazykem vytvořených. Jazyk XQuery slouží k vytváření dotazovacích formulí nad XML daty. Jelikož je definice tohoto jazyka poměrně volná, lze vytvořit stejný dotaz mnoha ekvivalentními způsoby. Proto se používá normalizace, která spočívá v převodu původního XQuery výrazu na výraz jazyka XQuery Core, využívajícího XQuery Core gramatiku. Tato gramatika je podmnožinou XQuery gramatiky a neobsahuje již redundantní pravidla. Cílem této práce je tedy nastudovat a implementovat algoritmus, který zajistí překlad XQuery dotazů do normalizované formy, přičemž bude platit, že ekvivalentní zápisy dotazů budou mít vždy stejnou podobu.

This diploma thesis concerns with XQuery language and with normalization of formulas created bythis language. XQuery language is used for creation of queries for XML data. Because the definition of the language is rather freely defined, a query can be created by~several equivalent manners. This is the reason why normalization is used. It is based in~transfer of the original XQuery expression to an expression in XQuery Core language that uses XQuery core grammar. This grammar is a subset of XQuery grammar and it does not contain redundancy rules anymore. Aim of this thesis is to study and implement an~algorithm that assures XQuery queries translation into the normalized form, whereas the~rule saying that the equivalent formulas are formed always the same way is kept.