{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,6]],"date-time":"2025-06-06T14:48:19Z","timestamp":1749221299225},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540601005"},{"type":"electronic","value":"9783540494270"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/bfb0000540","type":"book-chapter","created":{"date-parts":[[2005,10,5]],"date-time":"2005-10-05T08:46:59Z","timestamp":1128502019000},"page":"47-63","source":"Crossref","is-referenced-by-count":10,"title":["Extending functional database languages to update completeness"],"prefix":"10.1007","author":[{"given":"David","family":"Sutton","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Carol","family":"Small","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,9,9]]},"reference":[{"key":"4_CR1","doi-asserted-by":"crossref","unstructured":"Abiteboul, S. and Vianu, V. Procedural languages for database queries and update, Journal of Computer and System Sciences, 41, 1990.","DOI":"10.1016\/0022-0000(90)90036-K"},{"key":"4_CR2","unstructured":"Bancilhon, F. et al. FAD, a powerful and simple database language, Proc. 13th VLDB Conference, 1991."},{"key":"4_CR3","unstructured":"Barja, M.L. et al. An effective deductive object-oriented database through language integration, Proc. 20th VLDB, 1994."},{"key":"4_CR4","unstructured":"Erwig, M. and Lipeck, U. A functional DBPL revealing high level optimizations, Proc. 3rd DBPL, Morgan-Kaufman, 1991."},{"key":"4_CR5","doi-asserted-by":"crossref","unstructured":"Girard, J-Y. Linear logic, Theoretical Computer Science, 50, 1987.","DOI":"10.1016\/0304-3975(87)90045-4"},{"key":"4_CR6","unstructured":"Girard, J-Y., Lafont, Y. and Taylor, P. Proofs and types, Cambridge University Press, 1989."},{"key":"4_CR7","doi-asserted-by":"crossref","unstructured":"Hughes, J. Why functional programming matters, The Computer Journal, 32(2), 1989.","DOI":"10.1093\/comjnl\/32.2.98"},{"key":"4_CR8","doi-asserted-by":"crossref","unstructured":"Manchanda, S. Declarative expression of deductive database updates, Proc. ACM PODS, 1989.","DOI":"10.1145\/73721.73730"},{"key":"4_CR9","doi-asserted-by":"crossref","unstructured":"Manino, M.V. Choi, I.J. and Batory, D.S. The Object-Oriented Functional Data Language, IEEE Trans. on Software Engineering, 16(11), 1990.","DOI":"10.1109\/32.60314"},{"key":"4_CR10","doi-asserted-by":"crossref","unstructured":"Milner, R. A theory of type polymorphism in programming, Journal of Computer and System Sciences, 17, 1978.","DOI":"10.1016\/0022-0000(78)90014-4"},{"key":"4_CR11","unstructured":"Morrison, R., Brown, F., Connor, R. and Dearle, A. The Napier-88 reference manual, Universities of Glasgow and St Andrews, PPRR-77-89, 1989."},{"key":"4_CR12","doi-asserted-by":"crossref","unstructured":"Ohori, A., Buneman, P. and Breazu-Tannen, V. Database programming in Machiavelli \u2014 a polymorphic language with static type inference, Proc. ACM SIGMOD, 1989.","DOI":"10.1145\/67544.66931"},{"key":"4_CR13","unstructured":"Peyton-Jones, S.L. The Implementation of Functional Programming Languages, Prentice Hall, 1987."},{"key":"4_CR14","doi-asserted-by":"crossref","unstructured":"Peyton-Jones, S.L. and Wadler, P. Imperative functional programming, Proc. 20th ACM Symposium on Principles of Programming Languages, 1993.","DOI":"10.1145\/158511.158524"},{"key":"4_CR15","doi-asserted-by":"crossref","unstructured":"Phipps, G., Derr, M.A. and Ross, K.A. Glue-Nail: A deductive database system, Proc. ACM SIGMOD Conference, 1991.","DOI":"10.1145\/115790.115840"},{"key":"4_CR16","unstructured":"Poulovassilis, A. and Small, C. A functional programming approach to deductive databases, Proc. 17th VLDB Conference, 1991."},{"key":"4_CR17","unstructured":"Poulovassilis, A. and Small, C. A domain-theoretic approach to integrating functional and logic databases, Proc. 19th VLDB, 1993."},{"key":"4_CR18","unstructured":"Poulovassilis, A. and Small, C. Investigation of algebraic query optimisation techniques for database programming languages, Proc. 20th VLDB Conference, 1994."},{"key":"4_CR19","unstructured":"Small, C. and Poulovassilis, A. An overview of PFL, Proc. 3rd DBPL, Morgan-Kaufman, 1991."},{"key":"4_CR20","doi-asserted-by":"crossref","unstructured":"Small, C. A functional approach to database updates, Information Systems, 18(8), 1993.","DOI":"10.1016\/0306-4379(93)90025-V"},{"key":"4_CR21","doi-asserted-by":"crossref","unstructured":"S\u00f8ndergaard, H. and Sestoft, P. Referential Transparency, Definiteness and Unfoldability, Acta Informatica, 27, 1990.","DOI":"10.1007\/BF00277387"},{"key":"4_CR22","unstructured":"Trinder, P. Referentially transparent database languages, Proc. 1989 Glasgow Workshop on Functional Programming, 1989."},{"key":"4_CR23","unstructured":"Wadler, P. Linear types can change the world ! In M. Broy and C. Jones (eds.) Programming Concepts and Methods, North Holland, 1990."},{"key":"4_CR24","doi-asserted-by":"crossref","unstructured":"Wadler, P. Is there a use for linear logic ? In Conference on partial evaluation and Semantics Based Program Manipulation (PEPM), ACM Press, June 1991.","DOI":"10.1145\/115865.115894"},{"key":"4_CR25","doi-asserted-by":"crossref","unstructured":"Wakeling, D. Linearity and laziness, PhD dissertation, University of York, November 1990.","DOI":"10.1007\/3540543961_11"}],"container-title":["Lecture Notes in Computer Science","Advances in Databases"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0000540","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,10]],"date-time":"2020-04-10T02:10:13Z","timestamp":1586484613000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0000540"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540601005","9783540494270"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/bfb0000540","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}