{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:57:10Z","timestamp":1725663430955},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540541417"},{"type":"electronic","value":"9783540474449"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-54141-1_17","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T17:31:56Z","timestamp":1330191116000},"page":"311-332","source":"Crossref","is-referenced-by-count":10,"title":["A recursive base for database programming primitives"],"prefix":"10.1007","author":[{"given":"David","family":"Stemple","sequence":"first","affiliation":[]},{"given":"Tim","family":"Sheard","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"key":"17_CR1","doi-asserted-by":"crossref","unstructured":"S. Abiteboul and V. Vianu. Procedural and Declarative Database Update Languages, Proceedings of the Seventh ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, Austin, Texas, 1988, pps. 240\u2013250.","DOI":"10.1145\/308386.308448"},{"key":"17_CR2","volume-title":"A Computational Logic","author":"R. S. Boyer","year":"1979","unstructured":"R. S. Boyer and J. S. Moore. A Computational Logic, Academic Press, New York, 1979."},{"key":"17_CR3","doi-asserted-by":"crossref","unstructured":"A. Chandra. Programming Primitives for Database Languages, Proceedings of the Eighth ACM Symposium on Principles of Programming Languages, 1981, pps. 50\u201362.","DOI":"10.1145\/567532.567537"},{"key":"17_CR4","doi-asserted-by":"crossref","unstructured":"L. S. Colby. A Recursive Algebra and Query Optimization for Nested Relations, Proceedings of the ACM-SIGMOD International Conference on Management of Data, Portland, Oregon, 1989, pps. 273\u2013283.","DOI":"10.1145\/67544.66952"},{"issue":"4","key":"17_CR5","doi-asserted-by":"crossref","first-page":"760","DOI":"10.1137\/0216051","volume":"16","author":"N. Immerman","year":"1987","unstructured":"N. Immerman. Languages that Capture Complexity Classes, SIAM Journal of Computing, August, 1987, Vol. 16, No. 4, pps. 760\u2013778.","journal-title":"SIAM Journal of Computing"},{"key":"17_CR6","doi-asserted-by":"crossref","unstructured":"G. Jaeschke and H. Schek. Remarks on the Algebra of Non First Normal Form Relations, Proceedings of the First ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, Los Angeles, California, 1982, pps. 124\u2013137.","DOI":"10.1145\/588111.588133"},{"key":"17_CR7","doi-asserted-by":"crossref","unstructured":"S. N. Khoshafian and G. P. Copeland. Object Identity, Proceedings of the Object-Oriented Programming Systems, Languages and Applications Conference, Portland, Oregon, 1986, pps. 406\u2013416.","DOI":"10.1145\/28697.28739"},{"key":"17_CR8","doi-asserted-by":"crossref","unstructured":"A. Ohori, P. Buneman, and V. Breazu-Tannen. Database Programming in Machiavelli \u2014 A Polymorphic Language with Static Type Inference, Proceedings of the ACM-SIGMOD International Conference on Management of Data, Portland, Oregon, 1989, pps. 46\u201357.","DOI":"10.1145\/67544.66931"},{"key":"17_CR9","unstructured":"X. Qian. On the Expressive Power of the Bounded Iteration Construct, Proceedings of the Second International Workshop on Database Programming Languages, Salishan, Oregon, R. Hull, R. Morrison, and D. Stemple (Eds.), Morgan Kaufman, 1989, pps. 411\u2013421."},{"key":"17_CR10","unstructured":"T. Sheard. Automatic Generation and Use of Abstract Structure Operators, submitted to a journal."},{"issue":"3","key":"17_CR11","doi-asserted-by":"crossref","first-page":"322","DOI":"10.1145\/68012.68014","volume":"12","author":"T. Sheard","year":"1989","unstructured":"T. Sheard and D. Stemple. Automatic Verification of Database Transaction Safety, ACM Transactions on Database Systems, September, 1989, Vol. 12, No. 3, pps. 322\u2013368.","journal-title":"ACM Transactions on Database Systems"},{"key":"17_CR12","first-page":"269","volume-title":"Advances in Database Technology \u2014 EDBT '90, International Conference on Extending Database Technology, Proceedings","author":"D. Stemple","year":"1990","unstructured":"D. Stemple, L. Fegaras, T. Sheard, and A. Socorro. Exceeding the Limits of Polymorphism in Database Programming Languages, Advances in Database Technology \u2014 EDBT '90, International Conference on Extending Database Technology, Proceedings, Lecture Notes in Computer Science 416, F. Bancilhon, C. Thanos, D. Tsichritzis (Eds.), Venice, Italy, Springer-Verlag, March, 1990, pps. 269\u2013285."}],"container-title":["Lecture Notes in Computer Science","Next Generation Information System Technology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-54141-1_17.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T21:19:54Z","timestamp":1619558394000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-54141-1_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540541417","9783540474449"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-54141-1_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}