Inkrementální analýza PL/SQL skriptů

Abstract

Tato práce se zabývá vylepšením mechanizmu transformací u systému \acrlong{mt}. Transformace umožňuje automaticky upravit \acrshort{plsql} kód, reprezentovaný pomocí \acrshort{ast}, tak, aby splňoval určitá pravidla. Typickým příkladem je převod jednoho syntaktického konstruktu na jiný, významově ekvivalentní. Sem lze zařadit např. funkci DECODE převedenou na CASE výraz.

V důsledku transformace dochází ke ztrátě informace obsažené v AST reprezentaci. Původní řešení doplnění této informace spočívalo v provedení úplné opětovné syntaktické a sémantické analýzy transformovaného skriptu. Tato práce analyzuje, navrhuje a implementuje inkrementální řešení. Implementované řešení nevyžaduje provedení jakýchkoliv změn na straně již existujících transformací. Efekt inkrementálního zpracování byl experimentálně změřen na několika typických transformacích. Bylo dosaženo velmi výrazného časového zlepšení, v některých případech až v řádu stonásobků.This thesis deals with improvement of transformation mechanism in \acrlong{mt} system. Transformation enables automatic modification of \acrshort{plsql} code, represented using an \acrshort{ast}, such that it conforms to some rules. Typical example is conversion of one syntactical construct to another, semantically equal one. Conversion of DECODE function to CASE expression is a such example.

As a consequence of the transformation, there is a loss of information in the AST representation. Original solution used to recover this information consisted of complete syntactical and semantics reanalysis of the transformed script. This thesis analyses, designs and implements incremental solution. Implemented solution is completely transparent and does not require any additional changes of existing transformations. The effect of incremental processing was experimentally measured on several typical transformations. Very significant time improvement was achieved, in some cases up to hundreds of times.