XML functionally

Author

Pokorny, Jaroslav

Author_Institution

Dept. of Software Eng., Fac. of Math. & Phys., Prague, Czech Republic

fYear

2000

fDate

2000

Firstpage

266

Lastpage

274

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 λ calculus is used as a framework to manipulate typed XML data. Such a language called XML-λ, 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-λ and compare them with XML-QL

Keywords

electronic data interchange; hypermedia markup languages; lambda calculus; object-oriented programming; programming language semantics; query languages; type theory; IS/IT community; XML data; XML functionality; XML language; XML objects; XML-λ; XML-QL; data exchange; data structures; database view; information sources; marking text components; markup text components; mathematical functions; nested tables; query language; type system; typed XML data; typed lambda calculus; Data mining; Data structures; Database languages; Mathematics; Physics; Relational databases; Software engineering; Web sites; World Wide Web; XML;

fLanguage

English

Publisher

ieee

Conference_Titel

Database Engineering and Applications Symposium, 2000 International

Conference_Location

Yokohama

Print_ISBN

0-7695-0789-1

Type

conf

DOI

10.1109/IDEAS.2000.880586

Filename

880586