Denotační sémantika dotazovacího jazyka XML-Lambda

Abstrakt

V článku je formálně definována sémantika dotazovacího jazyka XML-Lambda, což je dotazovací jazyk pro XML, který využívá funkcionální datový model. Je produktem výzkumu, jehož klíčová myšlenka je právě použití funkcionálního přístupu ke zpracování XML.

Jazyk byl zatím implementován jako prototyp.

Klíčová slova

• Denotační
• sémantika
• XML-Lambda