Vyhodnocování XML dotazů v prostředí založeném na lambda kalkulu

Abstrakt

Populární současnou problematikou je efektivní dotazování nad XML daty. Článek popisuje návrh vyhodnocení dotazů v XPath a XQuery pomocí funkcionálního prostředí pro XML data nazývaného XML-Lambda. Náš přístup je založen na využití jednoduchého typovaného lambda-kalkulu, obohaceného o n-tice.

Vstupní dotaz je transformován do vnitřní reprezentace a následně vyhodnocen virtuálním strojem XML-Lambda. V článku jsou také prezentovány výsledky srovnávacích testů s podobnými implementacemi.

Klíčová slova

• Query
• Evaluation
• Using
• Lambda-Calculus
• Based
• Framework