{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:28:20Z","timestamp":1761611300107},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540571827"},{"type":"electronic","value":"9783540479277"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-57182-5_56","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T12:11:37Z","timestamp":1330258297000},"page":"650-659","source":"Crossref","is-referenced-by-count":6,"title":["The snack powerdomain for database semantics"],"prefix":"10.1007","author":[{"given":"Hermann","family":"Puhlmann","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,30]]},"reference":[{"key":"56_CR1","doi-asserted-by":"crossref","unstructured":"F. Bancilhon and S. Khoshafian. A calculus for complex objects. In Proceedings of the 5th ACM SIGACT\/SIGMOD Symposium on Principles of Database Systems, pages 53\u201359, Cambridge, Massachusetts, March 1986.","DOI":"10.1145\/6012.15404"},{"key":"56_CR2","doi-asserted-by":"crossref","unstructured":"P. Buneman, S. Davidson, and A. Watters. A semantics for complex objects and approximate queries. Technical Report MS-CIS-87-99, University of Pennsylvania, November 1988.","DOI":"10.1145\/308386.308463"},{"key":"56_CR3","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1016\/0304-3975(91)90266-5","volume":"91","author":"P. Buneman","year":"1991","unstructured":"P. Buneman, A. Jung, and A. Ohori. Using powerdomains to generalize relational databases. Theoretical Computer Science, 91:23\u201355, 1991.","journal-title":"Theoretical Computer Science"},{"issue":"2","key":"56_CR4","doi-asserted-by":"crossref","first-page":"311","DOI":"10.1016\/0304-3975(92)90017-A","volume":"103","author":"Carl A. A. Gunter","year":"1992","unstructured":"Carl A. Gunter. The mixed powerdomain. Theoretical Computer Science, 103(2):311\u2013334, September 1992.","journal-title":"Theoretical Computer Science"},{"key":"56_CR5","unstructured":"Carl A. Gunter. Semantics of Programming Languages. Structures and Techniques. MIT Press, 1992."},{"key":"56_CR6","unstructured":"A. Jung. Cartesian Closed Categories of Domains, volume 66 of CWI Tracts. Centrum voor Wiskunde en Informatica, Amsterdam, 1989."},{"key":"56_CR7","unstructured":"Teow-Hin Ngair. Convex Spaces as an Order-theoretic Basis for Problem Solving. PhD thesis, Department of Computer and Information Science, University of Pennsylvania, July 1992."},{"key":"56_CR8","doi-asserted-by":"crossref","first-page":"191","DOI":"10.4064\/fm-60-2-191-200","volume":"60","author":"J. P\u0142onka","year":"1967","unstructured":"J. P\u0142onka. On distributive quasi-lattices. Fundamenta Mathematicae, 60:191\u2013200, 1967.","journal-title":"Fundamenta Mathematicae"},{"key":"56_CR9","unstructured":"G. D. Plotkin. Post-graduate lecture notes in advanced domain theory (incorporating the\u201c Pisa Notes\u201d). Dept. of Computer Science, Univ. of Edinburgh, 1981."},{"key":"56_CR10","doi-asserted-by":"crossref","first-page":"36","DOI":"10.1007\/BF02482889","volume":"10","author":"A. Romanowska","year":"1980","unstructured":"A. Romanowska. On bisemilattices with one distributive law. Algebra Universalis, 10:36\u201347, 1980.","journal-title":"Algebra Universalis"},{"key":"56_CR11","doi-asserted-by":"crossref","unstructured":"Yannis Vassiliou. Null values in data base management: A denotational semantics approach. In Proceedings of the ACM SIGMOD Int. Conf. Management of Data, Boston, 1979.","DOI":"10.1145\/582095.582123"}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 1993"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-57182-5_56.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:08:46Z","timestamp":1605647326000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-57182-5_56"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540571827","9783540479277"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-57182-5_56","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}