Ivannikov Institute for System Programming of the RAS


Algebraic Semantics of XML Schema.

Authors

Novak L., Zamulin A.

Abstract

The semantics of the core features of XML Schema in terms of the XQuery 1.0 and XPath 2.0 data model algebraically defined is given. The database state is represented as a many-sorted algebra whose sorts are sets of data type values and different kinds of nodes and whose operations are data type operations and node accessors. It is shown that a document can be easily mapped to its implementation in terms of nodes and accessors defined on them.

Text of article

Edition

Proceedings of ADBIS, 2005.

Research Group

Information Systems

All publications during 2005 All publications