XML Querying with Functions

J. Pokorny (Czech Republic)


XML, λ-calculus, typing XML elements


XML data can be modelled by typed functions. We introduce a variant of a typed λ-calculus with tagged terms as a framework for manipulating typed XML data and present its syntactically more usable variant - the language XML-λ. XML database schema is a collection of typed variables of XML-λ and an associated XML database is their valuation. The language is extendible with various mathematical functions, including logical operators. This allows us to include calculus-oriented features into a treatment of XML data. The language can be used for describing semantics of typical constructs, e.g. paths and FLWR expressions.

Important Links:

Go Back