Algebraic Semantics of XML Schema.

Algebraic Semantics of XML Schema.


Novak L., Zamulin A.


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


Proceedings of ADBIS, 2005.

Research Group

Information Systems

All publications during 2005 All publications