{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:28:46Z","timestamp":1725488926680},"publisher-location":"Berlin, Heidelberg","reference-count":43,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540414568"},{"type":"electronic","value":"9783540445036"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-44503-x_18","type":"book-chapter","created":{"date-parts":[[2007,8,12]],"date-time":"2007-08-12T00:25:32Z","timestamp":1186878332000},"page":"263-300","source":"Crossref","is-referenced-by-count":21,"title":["A Semi-monad for Semi-structured Data (ICDT Version)"],"prefix":"10.1007","author":[{"given":"Mary","family":"Fernandez","sequence":"first","affiliation":[]},{"given":"Jerome","family":"Simeon","sequence":"additional","affiliation":[]},{"given":"Philip","family":"Wadler","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,10,12]]},"reference":[{"key":"18_CR1","unstructured":"S. Abiteboul, R. Hull, V. Vianu. Foundations of Databases. Addison Wesley, 1995."},{"key":"18_CR2","unstructured":"Richard Bird. Introduction to Functional Programming using Haskell. Prentice Hall, 1998."},{"key":"18_CR3","doi-asserted-by":"crossref","unstructured":"P. Buneman, M. Fernandez, D. Suciu. UnQL: A query language and algebra for semistructured data based on structural recursion. VLDB Journal, to appear.","DOI":"10.1007\/s007780050084"},{"issue":"1&2","key":"18_CR4","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1016\/0304-3975(93)90220-N","volume":"116","author":"C. Beeri","year":"1993","unstructured":"Catriel Beeri and Yoram Kornatzky. Algebraic Optimization of Object-Oriented Query Languages. Theoretical Computer Science 116(1&2):59\u201394, August 1993.","journal-title":"Theoretical Computer Science"},{"key":"18_CR5","unstructured":"Francois Bancilhon, Paris Kanellakis, Claude Delobel. Building an Object-Oriented Database System. Morgan Kaufmann, 1990."},{"key":"18_CR6","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1145\/181550.181564","volume":"23","author":"P. Buneman","year":"1994","unstructured":"Peter Buneman, Leonid Libkin, Dan Suciu, Van Tannen, and Limsoon Wong. Comprehension Syntax. SIGMOD Record, 23:87\u201396, 1994.","journal-title":"SIGMOD Record"},{"key":"18_CR7","unstructured":"David Beech, Ashok Malhotra, Michael Rys. A Formal Data Model and Algebra for XML. W3C XML Query working group note, September 1999."},{"issue":"1","key":"18_CR8","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0304-3975(95)00024-Q","volume":"149","author":"P. Buneman","year":"1995","unstructured":"Peter Buneman, Shamim Naqvi, Val Tannen, Limsoon Wong. Principles of programming with complex object and collection types. Theoretical Computer Science 149(1):3\u201348, 1995.","journal-title":"Theoretical Computer Science"},{"key":"18_CR9","unstructured":"Catriel Beeri and Yariv Tzaban, SAL: An Algebra for Semistructured Data and XML, International Workshop on the Web and Databases (WebDB\u201999), Philadelphia, Pennsylvania, June 1999."},{"key":"18_CR10","unstructured":"R. G. Cattell. The Object Database Standard: ODMG 2.0. Morgan Kaufmann, 1997."},{"key":"18_CR11","doi-asserted-by":"crossref","unstructured":"Don Chamberlin, Jonathan Robie, and Daniela Florescu. Quilt: An XML Query Language for Heterogeneous Data Sources. International Workshop on the Web and Databases (WebDB\u20192000), Dallas, Texas, May 2000.","DOI":"10.1007\/3-540-45271-0_1"},{"key":"18_CR12","doi-asserted-by":"crossref","unstructured":"Vassilis Christophides and Sophie Cluet and J\u00e9r ome Sim\u00e9on. On Wrapping Query Languages and Efficient XML Integration. Proceedings of ACM SIGMOD Conference on Management of Data, Dallas, Texas, May 2000.","DOI":"10.1145\/342009.335395"},{"key":"18_CR13","doi-asserted-by":"crossref","unstructured":"S. Cluet and G. Moerkotte. Nested queries in object bases. Workshop on Database Programming Languages, pages 226\u2013242, New York, August 1993.","DOI":"10.1007\/978-1-4471-3564-7_13"},{"key":"18_CR14","unstructured":"S. Cluet, S. Jacqmin and J. Sim\u00e9on The New YATL: Design and Specifications. Technical Report, INRIA, 1999."},{"issue":"5","key":"18_CR15","doi-asserted-by":"publisher","first-page":"567","DOI":"10.1016\/0306-4379(90)90029-O","volume":"15","author":"L. S. Colby","year":"1990","unstructured":"L. S. Colby. A recursive algebra for nested relations. Information Systems 15(5):567\u2013582, 1990.","journal-title":"Information Systems"},{"key":"18_CR16","unstructured":"Hugh Darwen (Contributor) and Chris Date. Guide to the SQL Standard: A User\u2019s Guide to the Standard Database Language SQL Addison-Wesley, 1997."},{"key":"18_CR17","doi-asserted-by":"crossref","unstructured":"A. Deutsch, M. Fernandez, D. Florescu, A. Levy, and D. Suciu. A query language for XML. In International World Wide Web Conference, 1999. http:\/\/www.research.att.com\/~mff\/files\/final.html","DOI":"10.1016\/S1389-1286(99)00020-1"},{"key":"18_CR18","doi-asserted-by":"crossref","unstructured":"Mary Fernandez, Jerome Simeon, Philip Wadler. An Algebra for XML Query, Draft manuscript, June 2000.","DOI":"10.1007\/3-540-44450-5_2"},{"key":"18_CR19","doi-asserted-by":"crossref","unstructured":"Mary Fernandez, Jerome Simeon, Philip Wadler. An Algebra for XML Query, Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2000), New Delhi, December 2000.","DOI":"10.1007\/3-540-44450-5_2"},{"key":"18_CR20","unstructured":"J. A. Goguen, J. W. Thatcher, E. G. Wagner. An initial algebra approach to the specification, correctness, and implementation of abstract data types. In Current Trends in Programming Methodology, pages 80\u2013149, Prentice Hall, 1978."},{"key":"18_CR21","doi-asserted-by":"crossref","unstructured":"Haruo Hosoya, Benjamin Pierce, XDuce: A Typed XML Processing Language (Preliminary Report). In WebDB Workshop 2000.","DOI":"10.1007\/3-540-45271-0_15"},{"key":"18_CR22","doi-asserted-by":"crossref","unstructured":"Haruo Hosoya, Benjamin Pierce, Jerome Vouillon, Regular Expression Types for XML. In International Conference on Functional Programming (ICFP), September 2000.","DOI":"10.1145\/351240.351242"},{"key":"18_CR23","doi-asserted-by":"crossref","unstructured":"M. Kifer, W. Kim, and Y. Sagiv. Querying object-oriented databases. In Proceedings of ACM SIGMOD Conference on Management of Data, pages 393\u2013402, San Diego, California, June 1992.","DOI":"10.1145\/130283.130342"},{"issue":"2","key":"18_CR24","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1006\/jcss.1997.1523","volume":"55","author":"L. Libkin","year":"1997","unstructured":"Leonid Libkin and Limsoon Wong. Query languages for bags and aggregate functions. Journal of Computer and Systems Sciences, 55(2):241\u2013272, October 1997.","journal-title":"Journal of Computer and Systems Sciences"},{"key":"18_CR25","doi-asserted-by":"crossref","unstructured":"Leonid Libkin, Rona Machlin, and Limsoon Wong. A query language for multidimensional arrays: Design, implementation, and optimization techniques. SIGMOD 1996.","DOI":"10.1145\/233269.233335"},{"key":"18_CR26","unstructured":"John C. Mitchell Foundations for Programming Languages. MIT Press, 1998."},{"key":"18_CR27","doi-asserted-by":"crossref","unstructured":"E. Moggi, Computational lambda-calculus and monads. In Symposium on Logic in Computer Science, Asilomar, California, IEEE, June 1989.","DOI":"10.1109\/LICS.1989.39155"},{"key":"18_CR28","doi-asserted-by":"crossref","unstructured":"E. Moggi, Notions of computation and monads. Information and Computation, 93(1), 1991.","DOI":"10.1016\/0890-5401(91)90052-4"},{"key":"18_CR29","unstructured":"J. Robie, editor. XQL\u2019 99 Proposal, 1999. http:\/\/metalab.unc.edu\/xql\/xql-proposal.html"},{"issue":"2","key":"18_CR30","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1016\/0306-4379(86)90003-7","volume":"11","author":"H.-J. Schek","year":"1986","unstructured":"H.-J. Schek and M. H. Scholl. The relational model with relational-valued attributes. Information Systems 11(2):137\u2013147, 1986.","journal-title":"Information Systems"},{"key":"18_CR31","volume-title":"Advances in Computing Research: The Theory of Databases","author":"S. J. Thomas","year":"1986","unstructured":"S. J. Thomas and P. C. Fischer. Nested Relational Structures. In Advances in Computing Research: The Theory of Databases, JAI Press, London, 1986."},{"key":"18_CR32","doi-asserted-by":"publisher","first-page":"461","DOI":"10.1017\/S0960129500001560","volume":"2","author":"P. Wadler","year":"1992","unstructured":"Philip Wadler. Comprehending monads. Mathematical Structures in Computer Science, 2:461\u2013493, 1992.","journal-title":"Mathematical Structures in Computer Science"},{"key":"18_CR33","series-title":"Lect Notes Comput Sci","volume-title":"Program Design Calculi, NATO ASI Series","author":"P. Wadler","year":"1993","unstructured":"P. Wadler, Monads for functional programming. In M. Broy, editor, Program Design Calculi, NATO ASI Series, Springer Verlag, 1993. Also in J. Jeuring and E. Meijer, editors, Advanced Functional Programming, LNCS 925, Springer Verlag, 1995."},{"issue":"3","key":"18_CR34","doi-asserted-by":"publisher","first-page":"240","DOI":"10.1145\/262009.262011","volume":"29","author":"P. Wadler","year":"1997","unstructured":"P. Wadler, How to declare an imperative. ACM Computing Surveys, 29(3):240\u2013263, September 1997.","journal-title":"ACM Computing Surveys"},{"key":"18_CR35","volume-title":"A formal semantics of patterns in XSLT","author":"P. Wadler","year":"1999","unstructured":"Philip Wadler. A formal semantics of patterns in XSLT. Markup Technologies, Philadelphia, December 1999."},{"key":"18_CR36","unstructured":"Limsoon Wong. An introduction to the Kleisli query system and a commentary on the influence of functional programming on its implementation. Journal of Functional Programming, to appear."},{"key":"18_CR37","unstructured":"World-Wide Web Consortium, XML Query Data Model, Working Draft, May 2000. http:\/\/www.w3.org\/TR\/query-datamodel ."},{"key":"18_CR38","unstructured":"World-Wide Web Consortium, XML Path Language (XPath): Version 1.0. November, 1999. http:\/\/www.w3.org\/TR\/xpath.html"},{"key":"18_CR39","unstructured":"World-Wide Web Consortium, XML Query: Requirements, Working Draft. August 2000. http:\/\/www.w3.org\/TR\/xmlquery-req"},{"key":"18_CR40","unstructured":"World-Wide Web Consortium, XML Query: Data Model, Working Draft. May 2000. http:\/\/www.w3.org\/TR\/query-datamodel\/"},{"key":"18_CR41","unstructured":"World-Wide Web Consortium, XML Schema Part 1: Structures, Working Draft. April 2000. http:\/\/www.w3.org\/TR\/xmlschema-1"},{"key":"18_CR42","unstructured":"World-Wide Web Consortium, XML Schema Part 2: Datatypes, Working Draft, April 2000. http:\/\/www.w3.org\/TR\/xmlschema-2 ."},{"key":"18_CR43","unstructured":"World-Wide Web Consortium, XSL Transformations (XSLT), Version 1.0. W3C Recommendation, November 1999. http:\/\/www.w3.org\/TR\/xslt ."}],"container-title":["Lecture Notes in Computer Science","Database Theory \u2014 ICDT 2001"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44503-X_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T19:39:43Z","timestamp":1556739583000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44503-X_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540414568","9783540445036"],"references-count":43,"URL":"https:\/\/doi.org\/10.1007\/3-540-44503-x_18","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}