Normalizace XQuery dotazů

Abstract

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.