References

[ALGORITHMS]. Alfred Aho, John Hopcroft, Jeffrey Ullman. The Design and Analysis of Computer Algorithms . Addison-Wesley, 1974.

[CODD]. E. F. Codd. "Relational Completeness of Database Sublanguages." In Data Base Systems, Courant Computer Science Symposia Series 6 . Prentice-Hall, 1972.

[DC]. Website for the Dublin Core : http://dublincore.org/.

[DDJ]. Philip Wadler. "New Language, Old Logic." Dr. Dobb's Journal . December, 2000.

[EFFICIENT]. Jayavel Shanmugasundaram, Eugene Shekita, Rimon Barr, Michael Carey, Bruce Lindsay, Hamid Pirahesh, and Berthold Reinwald. " Efficiently Publishing Relational Data as XML Documents." VLDB Journal 10, nos. 2 “3 (2001): 133 “54. See http://citeseer.nj.nec.com/shanmugasundaram00efficiently.html.

[ESSENCE]. J r me Sim on and Philip Wadler. "The Essence of XML." In Proceedings of the Thirtieth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages . Association for Computing Machinery, January, 2003.

[EXEMPLARS]. Mary Fern ndez, J r me Sim on, and Philip Wadler, eds. "XML Query Languages: Experiences and Exemplars." Draft manuscript, September 1999.

[FORMULA-LANG]. Gottlob Frege. "Begriffsschrift, a Formula Language, Modeled upon That of Arithmetic for Pure Thought." In From Frege to Godel: A Source Book in Mathematical Logic, 1879 ”1931 , ed. Jan van Heijenoort. Harvard University Press, 1967. Originally published in 1879.

[FS-PROG]. Glynn Winskel. The Formal Semantics of Programming Languages . MIT Press, 1993.

[FUNC-LANG]. Simon Peyton Jones and David Lester. Implementing Functional Languages . Prentice Hall, 1992.

[GALAX]. Galax: An Implementation of XQuery . See http://db.bell-labs.com/galax.

[INFOSET]. XML Information Set . W3C Recommendation , 24 October 2001. See http://www.w3.org/TR/xml-infoset.

[NAMESP]. Namespaces in XML . W3C Recommendation , 14 January 1999. See http://www.w3.org/TR/REC-xml- names .

[OODB]. Francois Bancilhon, Claude Delobel, and Paris Kanellakis, eds. Building an Object-Oriented Database System: The Story of O2 . Morgan Kaufmann Publishers, 1992.

[ODMG]. Rick Catell, Douglas Barry, and Dirk Bartels. The Object Database Standard: ODMG 3.0 . Morgan Kaufmann Publishers, 2000.

[OQL]. T. Atwood, D. Barry, J. Duhl, J. Eastman, G. Ferran, D. Jordan, M. Loomis, and D. Wade. The Object Database Standard: ODMG-93, Release 1.2 . Ed. R. G.C. Catell. Morgan Kaufmann Publishers, 1996.

[PROG-FOUNDATIONS]. John C. Mitchell. Foundations of Programming Languages . MIT Press, 1996.

[PROG-LANG]. Benjamin C. Pierce. Types and Programming Languages . MIT Press, 2002.

[QL98]. QL'98: The W3C Query Languages Workshop. See http://www.w3.org/TandS/QL/QL98.

[QUILT]. Don Chamberlin , Jonathan Robie, and Daniela Florescu. "Quilt: An XML Query Language for Heterogeneous Data Sources." In The World Wide Web and Databases , ed. D. Suciu. Springer-Verlag, 2001. http://www.almaden.ibm.com/cs/people/chamberlin/quilt.html.

[RELAXNG]. RELAX-NG Specification . OASIS Committee Specification , 3 December 2001. See http://www.oasis- open .org/ committees /relax-ng/spec-20011203.html.

[RYS2001]. Michael Rys. "Bringing the Internet to Your Database: Using SQL Server 2000 and XML to Build Loosely Coupled Systems." In Proceedings of the Seventeenth International Conference on Data Engineering (ICDE) . IEEE Computer Society, 2001.

[SCHEMA]. XML Schema, Parts 0, 1, and 2 . W3C Recommendation , 2 May 2001. See http://www.w3.org/TR/xmlschema-0, http://www.w3.org/TR/xmlschema-1, and http://www.w3.org/TR/xmlschema-2.

[SEMANTICS]. Gilles Kahn. "Natural Semantics." In Proceedings of the Symposium on Theoretical Aspects of Computer Science . Lecture Notes in Computer Science, vol. 247. Springer-Verlag, 1987.

[SERIAL]. XSLT 2.0 and XQuery 1.0 Serialization . W3C Working Draft , 2 May 2003. See http://http://www.w3.org/TR/xslt-xquery-serialization/.

[SQL2003]. International Organization for Standardization (ISO). Information Technology ”Database Languages ”SQL . Standard No. ISO/IEC 9075:2003 . Ed. Jim Melton. Forthcoming. (ISO publications are available from American National Standards Institute, New York, NY 10036, [phone].)

[SQL92]. Jim Melton and Alan R. Simon. Understanding the New SQL: A Complete Guide . Morgan Kaufmann Publishers, 1993.

[SQL99]. International Organization for Standardization (ISO). Information Technology ”Database Language ”SQL . Standard No. ISO/IEC 9075:1999 . Ed. Jim Melton et al.

[SQLMULTI]. International Organization for Standardization (ISO). Information Technology ”Database languages ”SQL ”Multimedia and Application Packages ”Part 2: Full-Text . Standard No. ISO/IEC 13249-2:2000 , 2000.

[SQLXML]. International Organization for Standardization (ISO). Information Technology ”Database Languages ”SQL ”Part 14: XML-Related Specifications (SQL/XML) . Standard No. ISO/IEC 9075-14, 2003 . Ed. Jim Melton. Forthcoming.

[SQLXML-MS]. Microsoft. SQLXML and XML Mapping Technologies . See http://msdn.microsoft.com/library/default.asp?url=/nhp/default.asp?contentid=28001300.

[STANDARD-ML]. Robin Milner, Mads Tofte, Robert Harper, and David MacQueen. The Definition of Standard ML (Revised) . MIT Press, 1997.

[STRUCTURAL]. Gordon Plotkin. A Structural Approach to Operational Semantics . Report DAIMI FN-19 , Computer Science Department, Aarhus University, Aarhus, Denmark.

[TAMINO]. Tamino XML Server . See http://www.softwareag.com/tamino/.

[W3C]. World Wide Web Consortium (W3C). See http://www.w3.org.

[THEORIES]. John C. Reynolds. Theories of Programming Languages . Cambridge University Press, 1998.

[XML]. Extensible Markup Language (XML) 1.0 (Second Edition) . W3C Recommendation , 6 October 2000. See http://www.w3.org/TR/REC-xml.

[XML-QL]. Alin Deutsch, Mary Fern ndez, Daniela Florescu, Alon Levy, and Dan Suciu. A Query Language for XML . See http://www.research.att.com/~mff/files/final.html.

[XPATH1]. XML Path Language (XPath) Version 1.0 . W3C Recommendation , 16 November 1999. See http://www.w3.org/TR/xpath.

[XPATH2]. XML Path Language (XPath) 2.0 . W3C Working Draft , 2 May 2003. See http://www.w3.org/TR/xpath20.

[XPATH2REQ]. XPath Requirements, Version 2.0 . W3C Working Draft , 14 February 2001. See http://www.w3.org/TR/xpath20req.

[XPTR]. XML Pointer Language (XPointer) . W3C Working Draft , 16 August 2002. See http://www.w3.org/TR/xptr.

[XQ-DM]. XQuery 1.0 and XPath 2.0 Data Model . W3C Working Draft , 2 May 2003. See http://www.w3.org/TR/query-datamodel/.

[XQ-FO]. XQuery 1.0 and XPath 2.0 Functions and Operators . W3C Working Draft , 2 May 2003. See http://www.w3.org/TR/xquery-operators.

[XQ-FS]. XQuery 1.0 Formal Semantics . W3C Working Draft , 2 May 2003. See http://www.w3.org/TR/query-semantics/.

[XQ-FULL-REQ]. XQuery and XPath Full-Text Requirements . W3C Working Draft , 2 May 2003. See http://www.w3.org/TR/xquery-full-text-requirements/.

[XQ-LANG]. XQuery 1.0: An XML Query Language . W3C Working Draft , 2 May 2003. See http://www.w3.org/TR/xquery.

[XQ-REQ]. XML Query Requirements . W3C Working Draft , 15 February 2001. See http://www.w3.org/TR/xmlquery-req.

[XQ-UC]. XML Query Use Cases . W3C Working Draft , 2 May 2003. See http://www.w3.org/TR/xmlquery- use-cases .

[XQ-WG]. W3C XML Query Working Group. See http://www.w3.org/XML/Query.

[XQ-X]. XML Syntax for XQuery 1.0 ( XQueryX ) . W3C Working Draft , 7 June 2001. See http://www.w3.org/TR/xqueryx.

[XSLT]. XSL Transformations (XSLT) Version 1.0 . W3C Recommendation , 16 November 1999. See http://www.w3.org/TR/xslt.

[ XUPDATE ]. Andreas Laux and Lars Martin. XUpdate Working Draft ”2000-09-14 . See http://www.xmldb.org/xupdate.