A system for analysis of collections of XML queries

Abstract

Cílem dimplomové práce je návrh a implementace systému pro analýzu dotazů v jazyce XQuery. Analýza spočívá ve vyhodnocení četnosti různých konstrukcí a jejich kombinací nad daným XQuery dotazem, přičemž sledované konstrukce a kombinace jsou zadávány uživatelem systému. Jádrem systému je převod dotazu v jazyce XQuery do jeho vhodné XML reprezentace, nad níž je možné vyhodnocovat analytické dotazy zadané v jazyce XPath. Netriviální součástí práce je samozřejmě i lexikální analýza jazyka XQuery, který je na rozdíl od jiných programovacích jazyků silně kontextově závislý. Jelikož sehnání většího množství relných XQuery dotazů, nad kterými by byl systém otestován, je dosti obtížné, korektnost systému je prověřena sadou testovacích XQuery dotazů z W3C.

The goal of the thesis is a design and an implementation of a system for the analysis of collections of XQuery programs. The analysis is based on the frequency of the occurrence of various language constructions and their combinations; these constructions and combinations will be defined by the user of the system. In the core of the system, the XQuery program is converted to a suitable XML representation which allows for analytical queries formulated in the XPath language. The lexical analysis of the XQuery languange is clearly a non trivial part of the work, because of extremely context dependent constructions in the contrast of other programming languages. As the collecting of a bigger amount of real XQuery programs is troublesome, the correctness of the system is proved by the W3C XQuery test suite.