A Semi-monad for Semi-structured Data

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.

• Type: Conference
• Year: 2001
• Where: ICDT
• Authors: Mary F. Fernández, Jérôme Siméon, Philip Wadler
• Keywords: Algebra, Database, ICDT 2001, W3C XML Query, XML Query