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

Mary Fernandez; Jerome Simeon; Philip Wadler

doi:10.1007/3-540-44503-X_18

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

Mary Fernandez, Jerome Simeon, Philip Wadler

Research output: Chapter in Book/Report/Conference proceeding › Conference 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 language	English
Title of host publication	Database Theory — ICDT 2001
Subtitle of host publication	8th International Conference London, UK, January 4–6, 2001 Proceedings
Editors	Jan Bussche, Victor Vianu
Place of Publication	Berlin, Heidelberg
Publisher	Springer
Pages	263-300
Number of pages	38
ISBN (Electronic)	978-3-540-44503-6
ISBN (Print)	978-3-540-41456-8
DOIs	https://doi.org/10.1007/3-540-44503-X_18
Publication status	Published - 2001

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer Berlin Heidelberg
Volume	1973
ISSN (Print)	0302-9743

Access to Document

10.1007/3-540-44503-X_18

http://link.springer.com/chapter/10.1007%2F3-540-44503-X_18

Cite this

@inproceedings{8b4c1034497842f6a43ea56ed192ab61,

title = "A Semi-monad for Semi-structured Data (ICDT Version)",

abstract = "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{\textquoteright}s work on Xduce. The iteration construct is based on the notion of a monad, and involves novel typing rules not encountered elsewhere.",

author = "Mary Fernandez and Jerome Simeon and Philip Wadler",

year = "2001",

doi = "10.1007/3-540-44503-X_18",

language = "English",

isbn = "978-3-540-41456-8",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "263--300",

editor = "Jan Bussche and Victor Vianu",

booktitle = "Database Theory — ICDT 2001",

}

A Semi-monad for Semi-structured Data (ICDT Version). / Fernandez, Mary; Simeon, Jerome; Wadler, Philip.
Database Theory — ICDT 2001: 8th International Conference London, UK, January 4–6, 2001 Proceedings. ed. / Jan Bussche; Victor Vianu. Berlin, Heidelberg: Springer, 2001. p. 263-300 (Lecture Notes in Computer Science; Vol. 1973).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

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

AU - Fernandez, Mary

AU - Simeon, Jerome

AU - Wadler, Philip

PY - 2001

Y1 - 2001

N2 - 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.

AB - 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.

U2 - 10.1007/3-540-44503-X_18

DO - 10.1007/3-540-44503-X_18

M3 - Conference contribution

SN - 978-3-540-41456-8

T3 - Lecture Notes in Computer Science

SP - 263

EP - 300

BT - Database Theory — ICDT 2001

A2 - Bussche, Jan

A2 - Vianu, Victor

PB - Springer

CY - Berlin, Heidelberg

ER -

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

Abstract / Description of output

Publication series

Access to Document

Fingerprint

Cite this