{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,8]],"date-time":"2026-05-08T00:06:32Z","timestamp":1778198792228,"version":"3.51.4"},"publisher-location":"Berlin\/Heidelberg","reference-count":13,"publisher":"Springer-Verlag","isbn-type":[{"value":"3540522913","type":"print"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0022176","type":"book-chapter","created":{"date-parts":[[2005,11,13]],"date-time":"2005-11-13T00:40:43Z","timestamp":1131842443000},"page":"269-285","source":"Crossref","is-referenced-by-count":14,"title":["Exceeding the limits of polymorphism in database programming languages"],"prefix":"10.1007","author":[{"given":"David","family":"Stemple","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Leo","family":"Fegaras","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tim","family":"Sheard","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Adolfo","family":"Socorro","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"17_CR1","volume-title":"A lattice-theoretic approach to computations based on a calculus of partially-ordered type structures","author":"H. Ait-Kaci","year":"1984","unstructured":"H. Ait-Kaci. A lattice-theoretic approach to computations based on a calculus of partially-ordered type structures. PhD thesis, Computer and Information Science Dept., Univ. of Pennsylvania, Philadelphia, 1984."},{"key":"17_CR2","unstructured":"L. Fegaras, T. Sheard, and D. Stemple. The ADABTPL Type System. In Proceedings of the Second International Workshop on Database Programming Languages, Salishan, Oregon, pages 243\u2013254, 1989."},{"key":"17_CR3","doi-asserted-by":"crossref","unstructured":"G. Jaeschke and H. Shek. Remarks on the Algebra of Non First Normal Form Relations. In Proceedings of the First ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, Los Angeles, California, pages 124\u2013137, 1982.","DOI":"10.1145\/588111.588133"},{"key":"17_CR4","doi-asserted-by":"crossref","unstructured":"P. Maes. Concepts and Experiments in Computational Reflection. Proceedings of the Object-Oriented Programming Systems, Languages and Applications Conference, Orlando, Florida, pages 147\u2013155, October 1987.","DOI":"10.1145\/38765.38821"},{"key":"17_CR5","unstructured":"F. Matthes and J. Schmidt. The Type System of DBPL. In Proceedings of the Second International Workshop on Database Programming Languages, Salishan, Oregon, pages 255\u2013260, 1989."},{"key":"17_CR6","doi-asserted-by":"crossref","unstructured":"R. Morrison, A. Brown, R. Carrick, R. Connor, A. Dearle, and M. P. Atkinson. The Napier Type System. In Proceedings of the Workshop on Persistent Object Systems: Their Design, Implementation, and Use, pages 253\u2013269, 1989.","DOI":"10.1007\/978-1-4471-3173-1_1"},{"key":"17_CR7","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. In Proceedings of the ACM-SIGMOD International Conference on Management of Data, Portland, Oregon, pages 46\u201357, 1989.","DOI":"10.1145\/67544.66931"},{"key":"17_CR8","unstructured":"M. Shaw and S. Zdonik. An Object-Oriented Query Algebra. In Proceedings of the Second International Workshop on Database Programming Languages, Salishan, Oregon, pages 111\u2013119, 1989."},{"key":"17_CR9","doi-asserted-by":"crossref","unstructured":"T. Sheard and D. Stemple. The Precise Control of Inheritance and the Inheritance of Theory in the ADABTPL Language. In Proceedings of the IEEE International Conference on Computer Languages, Miami Beach, Florida, pages 194\u2013201, 1988.","DOI":"10.1109\/ICCL.1988.13064"},{"key":"17_CR10","doi-asserted-by":"crossref","unstructured":"T. Sheard and D. Stemple. Automatic Verification of Database Transaction Safety. ACM Transactions on Database Systems, 12(3), September 1989.","DOI":"10.1145\/68012.68014"},{"key":"17_CR11","doi-asserted-by":"crossref","unstructured":"B. C. Smith. Reflection and Semantics in Lisp. Proceedings of the Eleventh ACM Symposium on Principles of Programming Languages, pages 23\u201335, January 1984.","DOI":"10.1145\/800017.800513"},{"key":"17_CR12","unstructured":"D. Stemple and T. Sheard. Database Theory for Supporting Specification-based Database System Development. In Proceedings of the Eighth International Conference on Software Engineering, pages 43\u201349, 1985."},{"key":"17_CR13","first-page":"110","volume-title":"Lecture Notes in Computer Science","author":"David Stemple","year":"1988","unstructured":"D. Stemple, A. Socorro, and T. Sheard. Formalizing Objects for Databases using ADABTPL. In K. R. Dittrich, editor, Advances in Object-Oriented Database Systems, pages 110\u2013128. Springer-Verlag, 1988. Proceedings of the Second International Workshop on Object-Oriented Database Systems, Bad Muenster am Stein-Ebernburg, Germany."}],"container-title":["Lecture Notes in Computer Science","Advances in Database Technology \u2014 EDBT '90"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0022176.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,5]],"date-time":"2023-05-05T06:54:52Z","timestamp":1683269692000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0022176"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540522913"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/bfb0022176","relation":{},"subject":[]}}