Abstrakt
Článek se zabývá denotační sémantikou speciálního dotazovacího jazyka XML-Lambda, který je založen na jednoduchém, typovaném lambda kalkulu. Exaktní sémantika umožňuje experimenty s definicí jazyka, prototypování programů a podobné experimenty.
Jeden takový experiment je implementace jazyka XQuery v prostředí XML-Lambda. Hlavní výhoda našeho přístupu je možnost optimalizací ve vnitřní formě v jazyce XML-Lambda.
Je to mnohem snadnější, než optimalizace založená na oficiální sémantice W3C. XML-Lambda je součástí obecnějšího prostředí XML-Lambda Framework, které slouží pro experimentování s nástroji pro zpracování XML.