A Semi-monad for Semi-structured Data (ICDT Version)

Mary Fernandez, Jerome Simeon, Philip Wadler

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract / Description of output

This document proposes an algebra for XML Query. The algebra has been submitted to the W3C XML Query Working Group. A novel feature of the algebra is the use of regular-expression types, similar in power to DTDs or XML Schemas, and closely related to Hasoya and Pierce’s work on Xduce. The iteration construct is based on the notion of a monad, and involves novel typing rules not encountered elsewhere.
Original languageEnglish
Title of host publicationDatabase Theory — ICDT 2001
Subtitle of host publication8th International Conference London, UK, January 4–6, 2001 Proceedings
EditorsJan Bussche, Victor Vianu
Place of PublicationBerlin, Heidelberg
PublisherSpringer Berlin Heidelberg
Number of pages38
ISBN (Electronic)978-3-540-44503-6
ISBN (Print)978-3-540-41456-8
Publication statusPublished - 2001

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Berlin Heidelberg
ISSN (Print)0302-9743


Dive into the research topics of 'A Semi-monad for Semi-structured Data (ICDT Version)'. Together they form a unique fingerprint.

Cite this