Author :
Pokorny, Jaroslav
Author_Institution :
Dept. of Software Eng., Fac. of Math. & Phys., Prague, Czech Republic
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;
Conference_Titel :
Database Engineering and Applications Symposium, 2000 International
Conference_Location :
Yokohama
Print_ISBN :
0-7695-0789-1
DOI :
10.1109/IDEAS.2000.880586
