{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T16:21:29Z","timestamp":1725898889819},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540591320"},{"type":"electronic","value":"9783540491989"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/bfb0014421","type":"book-chapter","created":{"date-parts":[[2005,12,11]],"date-time":"2005-12-11T18:08:44Z","timestamp":1134324524000},"page":"30-47","source":"Crossref","is-referenced-by-count":1,"title":["Bulk types and query language design"],"prefix":"10.1007","author":[{"given":"Catriel","family":"Beeri","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,26]]},"reference":[{"key":"2_CR1","unstructured":"S. Abiteboul and C. Beeri. On the power of query languages for complex objects. The VLDB Journal, 1994. to appear."},{"key":"2_CR2","unstructured":"S. Abiteboul, R. Hull, and V. Vianu. Database Theory From A to F. Addison-Wesley, 1994. to appear."},{"key":"2_CR3","doi-asserted-by":"crossref","unstructured":"M. Atkinson, P. Richard, and P. Trinder. Bulk types for large scale programming. In Proc. 1st Int'l East-West Database Workshop on Next Generation Information System Technology, Kiev, USSR, Oct. 9\u201312, 1990, volume 504 of LNCS, pages 229\u2013250. Springer-Verlag, 1991.","DOI":"10.1007\/3-540-54141-1_13"},{"key":"2_CR4","unstructured":"V. Breazau-Tannen, P. Buneman, and S. Naqvi. Structural recursion as a query language. In P. Kanellakis and J. Schmidt, editors, Proc. 3rd Int'l Workshop on Database Programming Languages, Nafplion, Greece, Aug. 27\u201330, 1991, pages 9\u201319. Morgan Kaufmann Publishers, 1992."},{"key":"2_CR5","doi-asserted-by":"crossref","unstructured":"V. Breazu-Tannen, P. Buneman, and L. Wong. Naturally embedded query languages. In Proc. 4'th Int'l Conference on Database Theory, Berlin, Germany, volume 646 of LNCS, pages 140\u2013154. Springer-Verlag, Oct. 1992.","DOI":"10.1007\/3-540-56039-4_38"},{"key":"2_CR6","unstructured":"P. Buneman. The fast fourier transform as a database query. Unpublished, 1993."},{"key":"2_CR7","unstructured":"E. F. Codd. Relational completeness of database sublanguages. In R. Rustin, editor, Data Base Systems, pages 65\u201398. Prentice-Hall, 1972."},{"key":"2_CR8","doi-asserted-by":"crossref","unstructured":"S. Grumbach and V. Vianu. Tractable query languages for complex object databases. In Proc. 10th A CM SIGA CT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS), Denver, Colorado, 1991.","DOI":"10.1145\/113413.113442"},{"key":"2_CR9","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1016\/0022-0000(91)90036-5","volume":"43","author":"R. Hull","year":"1991","unstructured":"R. Hull and J. Su. On the expressive power of database queries with intermediate types. Journal of Computer and System Science, 43:219\u2013267, 1991.","journal-title":"Journal of Computer and System Science"},{"key":"2_CR10","doi-asserted-by":"crossref","unstructured":"L. Libkin and L. Wong. Semantic properties and query languages for or-sets. In Proc. 12th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS), Washington, D.C., pages 37\u201348, May 1993.","DOI":"10.1145\/153850.153854"},{"key":"2_CR11","doi-asserted-by":"crossref","unstructured":"L. Libkin and L. Wong. Aggregate functions, conservative extension, and linear orders. In Proc. 4'th Int'l Workshop on Database Programming Languages, New York City, pages 282\u2013294. Springer-Verlag, 1994.","DOI":"10.1007\/978-1-4471-3564-7_16"},{"key":"2_CR12","doi-asserted-by":"crossref","unstructured":"L. Libkin and L. Wong. Some properties of query languages for bags. In Proc. 4'th Int'l Workshop on Database Programming Languages, New York City, pages 97\u2013114. Springer-Verlag, 1994.","DOI":"10.1007\/978-1-4471-3564-7_7"},{"key":"2_CR13","unstructured":"A. Makinouchi. A consideration of normal form of not-necessarily-normalized relations in the relational data model. In Proc. 3rd Int'l Conference on Very Large Databases, Tokyo, Japan, pages 447\u2013453, Oct. 1977."},{"key":"2_CR14","doi-asserted-by":"crossref","unstructured":"G. Malcolm. Homomorphisms and promotability. In Mathematics of Program Construction, volume 375 of LNCS, pages 335\u2013347. Springer-Verlag, 1989.","DOI":"10.1007\/3-540-51305-1_20"},{"key":"2_CR15","unstructured":"F. Manola and U. Dayal. PDM: An object-oriented data model. In Int'l Workshop on Object-Oriented Database Systems, pages 18\u201325. IEEE, 1986."},{"key":"2_CR16","unstructured":"F. Matthes and J. Schmidt. Bulk types: Built-in or add-on? In Proc. 3rd Int'l Workshop on Database Programming Languages, Nafplion, Greece, Aug. 27\u201330, 1991, pages 33\u201354. Morgan Kaufmann Publishers, 1992."},{"key":"2_CR17","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1016\/0890-5401(91)90052-4","volume":"93","author":"E. Moggi","year":"1991","unstructured":"E. Moggi. Notions of computation and monads. Information and Computation, 93:55\u201392, 1991.","journal-title":"Information and Computation"},{"key":"2_CR18","doi-asserted-by":"crossref","unstructured":"D. Suciu. Bounded fixpoints for complex objects. In Proc. 4'th Int'l Workshop on Database Programming Languages, New York City, pages 263\u2013281. Springer-Verlag, 1994.","DOI":"10.1007\/978-1-4471-3564-7_15"},{"key":"2_CR19","doi-asserted-by":"crossref","unstructured":"D. Suciu and J. Paredaens. Any algorithm in the complex object algebra with powwerset needs exponential space to compute transitive closure. In Proc. 13th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS), Minneapolis, MN, pages 201\u2013209, May 1994.","DOI":"10.1145\/182591.182613"},{"key":"2_CR20","doi-asserted-by":"crossref","unstructured":"V. Tannen. Tutorial: Languages for collection types. In Proc. 13th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS), Minneapolis, MN, pages 150\u2013154, May 1994.","DOI":"10.1145\/182591.182608"},{"key":"2_CR21","unstructured":"P. Trinder. Comprehensions, a query notation for DBPLs. In P. Kanellakis and J. Schmidt, editors, Proc. 3rd Int'l Workshop on Database Programming Languages, Nafplion, Greece, Aug. 37\u201330, 1991, pages 55\u201368. Morgan Kaufmann Publishers, 1992."},{"key":"2_CR22","unstructured":"P. Trinder and P. Wadler. List comprehensions and the relational calculus. In Proc. 1988 Glasgow Workshop on Functional Programming, Rothesay, Scotland, pages 115\u2013123, Aug. 1988."},{"key":"2_CR23","doi-asserted-by":"crossref","unstructured":"P. Trinder and P. Wadler. Improving list comprehension database queries. In Proc. 4th IEEE Int'l Conference \u2014 Information Technologies for the 90's (TENCOM'89), Bombay, India, pages 186\u2013192, Nov. 1989.","DOI":"10.1109\/TENCON.1989.176921"},{"key":"2_CR24","unstructured":"P. Wadler. List comprehensions. In S. L. P. Jones, editor, The Implementation of Functional Programming Languages (Chapt. 7), pages 127\u2013138. Prentice Hall, 1987."},{"key":"2_CR25","doi-asserted-by":"crossref","first-page":"461","DOI":"10.1017\/S0960129500001560","volume":"2","author":"P. Wadler","year":"1992","unstructured":"P. Wadler. Comprehending monads. Mathematical Structures in Computer Science, (2):461\u2013493, 1992.","journal-title":"Mathematical Structures in Computer Science"},{"key":"2_CR26","unstructured":"D. Watt and P. Trinder. Towards a theory of bulk types. Fide Technical Report 91\/26, Department of Computing Science, University of Glasgow, July 1991."},{"key":"2_CR27","doi-asserted-by":"crossref","unstructured":"L. Wong. Normal forms and conservative properties for query languages over collection types. In Proc. 12th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS), Washington, D.C., pages 26\u201336, May 1993.","DOI":"10.1145\/153850.153853"}],"container-title":["Lecture Notes in Computer Science","Recent Trends in Data Type Specification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0014421","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T14:04:02Z","timestamp":1586613842000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0014421"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540591320","9783540491989"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/bfb0014421","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}