XML Functionally

  • Authors:
  • Jaroslav Pokorný

  • Affiliations:
  • -

  • Venue:
  • IDEAS '00 Proceedings of the 2000 International Symposium on Database Engineering & Applications
  • Year:
  • 2000

Quantified Score

Hi-index 0.00

Visualization

Abstract

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.