{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T15:59:02Z","timestamp":1725465542704},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540646594"},{"type":"electronic","value":"9783540691129"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/bfb0053477","type":"book-chapter","created":{"date-parts":[[2006,6,7]],"date-time":"2006-06-07T03:27:42Z","timestamp":1149650862000},"page":"134-148","source":"Crossref","is-referenced-by-count":3,"title":["Scoped referential transparency in a functional database language with updates"],"prefix":"10.1007","author":[{"given":"P. F.","family":"Meredith","sequence":"first","affiliation":[]},{"given":"P. J. H.","family":"King","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2006,5,23]]},"reference":[{"key":"10_CR1","unstructured":"R. Ayres and P.J.H. King: Extending the semantic power of functional database query languages with associational facilities. In Actes du Xieme Congres INFORSID, pp301-320, Aix-en-Provence, France, May 1994."},{"key":"10_CR2","doi-asserted-by":"crossref","unstructured":"Chih-Ping Chen and Paul Hudak: Rolling Your Own Mutable ADT \u2014 A connection between Linear Types and Monads. ACM Symposium on Principles of Programming Languages, January 1997","DOI":"10.1145\/263699.263708"},{"key":"10_CR3","unstructured":"M. Derakhshan: A Development of the Grid File for the Storage of Binary Relations Ph.D. Thesis, Birkbeck College, University of London, 1989"},{"key":"10_CR4","unstructured":"Anthony J. Field, Peter G. Harrison: Functional Programming. Addison-Wesley 1988"},{"key":"10_CR5","first-page":"28","volume-title":"Integrating Functional and Imperative Programming","author":"D. K. Gilford","year":"1986","unstructured":"David K. Gilford and John M. Lucassen: Integrating Functional and Imperative Programming. In Proceedings of the ACM Conference on Lisp and Functional Programming, Cambridge, Massachussets, pp28\u201339, ACM, 1986"},{"key":"10_CR6","volume-title":"Technical Report FIDE\/92\/41","author":"G. Ghelli","year":"1992","unstructured":"Giorgio Ghelli, Renzo Orsini, Alvaro Pereira Paz, Phil Trinder: Design of an Integrated Query and Manipulation Notation for Database Languages, Technical Report FIDE\/92\/41, University of Glasgow, UK, 1992."},{"issue":"No.3","key":"10_CR7","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1145\/72551.72554","volume":"21","author":"P. Hudak","year":"1989","unstructured":"Paul Hudak: Conception, Evolution, and Application of Functional Programming Languages. ACM Computing Surveys, Vol. 21, No. 3, September 1989 pp359\u2013411","journal-title":"ACM Computing Surveys"},{"key":"10_CR8","unstructured":"Peter King, Mir Derakhshan, Alexandra Poulovassilis, Carol Small: TriStarp \u2014 An Investigation into the Implementation and Exploitation of Binary Relational Storage Structures. Proceedings of the 8th BNCOD, York 1990"},{"key":"10_CR9","doi-asserted-by":"crossref","unstructured":"P.F.Meredith: Extending a Lazy Functional Database Language with Updates. Thesis for Submission. Birkbeck College, University of London, 1998","DOI":"10.1007\/BFb0053477"},{"issue":"No1","key":"10_CR10","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1145\/348.318586","volume":"9","author":"J. Nievergelt","year":"1984","unstructured":"J. Nievergelt, H. Hinterberger, K.C. Seveik: The Grid File: An Adaptable, Symmetric, Multikey File Structure. ACM TODS, Vol 9, No 1, March 1984, pp38\u201371","journal-title":"ACM TODS"},{"key":"10_CR11","unstructured":"A. Poulovassillis: FDL: An Integration of the Functional Data Model and the Functional Computational Model, Proceedings of the 6th BNCOD, July 1988, Cambridge University Press, pp215\u2013236."},{"key":"10_CR12","doi-asserted-by":"crossref","unstructured":"A. Poulovassilis: The Implementation of FDL, a Functional Database Language. The Computer Journal, Vol 35, No 2, 1992","DOI":"10.1093\/comjnl\/35.2.119"},{"key":"10_CR13","first-page":"75","volume":"416","author":"A. Poulovassilis","year":"1990","unstructured":"A. Poulovassilis and P. J. H. King: Extending the Functional Data Model to Computational Completeness. Proceedings of EDBT'90, pp75\u201391, Venice 1990. Springer-Verlag, LNCS 416.","journal-title":"Springer-Verlag, LNCS"},{"issue":"No1","key":"10_CR14","doi-asserted-by":"publisher","first-page":"140","DOI":"10.1145\/319540.319561","volume":"6","author":"D. W. Shipman","year":"1981","unstructured":"David W. Shipman: The Functionanal Data Model and the Data Language DAPLEX. ACM TODS, Vol 6, No 1, March 1981, pp 140\u2013173","journal-title":"ACM TODS"},{"key":"10_CR15","doi-asserted-by":"crossref","unstructured":"David Sutton, Carol Small: Extending Functional Database Languages to Update Completeness. Proceedings of 13th BNCOD, Manchester, 1995","DOI":"10.1007\/BFb0000540"},{"key":"10_CR16","volume-title":"Comprehensions, a Query Notation for DBPLs","author":"P. Trinder","year":"1991","unstructured":"Phil Trinder: Comprehensions, a Query Notation for DBPLs. The 3rd International Workshop on DBPLs, \u201cBulk Types and Persistent Data\u201d. August 1991, Nafplion, Greece. Morgan Kaufman Publishers."},{"key":"10_CR17","unstructured":"G.M.A. Verheijen, J. Van Bekkum: NIAM: An Information Analysis Method. In \u201cInformation Systems Design Methodologies: A Comparative Review\u201d, T.W.Olle et al. (eds), North-Holland, 1982"},{"key":"10_CR18","doi-asserted-by":"crossref","unstructured":"Philip Wadler: Comprehending Monads. ACM Conference on Lisp and Functional Programming, Nice, June 1990","DOI":"10.1145\/91556.91592"},{"key":"10_CR19","doi-asserted-by":"crossref","unstructured":"Philip Wadler: Monads for Functional Programming. In \u201cAdvanced Functional Programming\u201d, Proceedings of the Bastad Spring School, May 1995, LNCS vol 925","DOI":"10.1007\/3-540-59451-5_2"}],"container-title":["Lecture Notes in Computer Science","Advances in Databases"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0053477","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,19]],"date-time":"2019-04-19T02:44:57Z","timestamp":1555641897000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0053477"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540646594","9783540691129"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/bfb0053477","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]}}}