XML functionally

What is it about?

The topic of the XML language is one of the most discussed in the IS/IT community today. The primary goal of XML is to provide marking text components and use such data for exchange among information sources. The goal of the paper is to present a database view on XML data. We formulate a type system powerful enough to describe XML data in a set- and function-oriented manner. A version of a typed /spl lambda/ calculus is used as a framework to manipulate typed XML data. Such a language called XML-/spl lambda/, has sound semantics and is extensible with various mathematical functions. Consequently, we can use it as a query language over XML objects. The results obtained by querying are either XML data or other data structures, e.g. relations, nested tables etc. We present a collection of examples of queries in XML-/spl lambda/ and compare them with XML-QL.

Featured Image