Charles Explorer logo
🇨🇿

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

Publikace na Matematicko-fyzikální fakulta |
2010

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.