{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,4]],"date-time":"2026-03-04T16:22:27Z","timestamp":1772641347225,"version":"3.50.1"},"reference-count":64,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[1995,9,1]],"date-time":"1995-09-01T00:00:00Z","timestamp":809913600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[1995,9,1]],"date-time":"1995-09-01T00:00:00Z","timestamp":809913600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"},{"start":{"date-parts":[[1999,12,22]],"date-time":"1999-12-22T00:00:00Z","timestamp":945820800000},"content-version":"vor","delay-in-days":1573,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/4.0\/"}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Theoretical Computer Science"],"published-print":{"date-parts":[[1995,9]]},"DOI":"10.1016\/0304-3975(95)00024-q","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T21:06:05Z","timestamp":1027631165000},"page":"3-48","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":175,"title":["Principles of programming with complex objects and collection types"],"prefix":"10.1016","volume":"149","author":[{"given":"Peter","family":"Buneman","sequence":"first","affiliation":[]},{"given":"Shamim","family":"Naqvi","sequence":"additional","affiliation":[]},{"given":"Val","family":"Tannen","sequence":"additional","affiliation":[]},{"given":"Limsson","family":"Wong","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/0304-3975(95)00024-Q_BIB1","series-title":"Proc. Internat. Workshop on Theory and Applications of Nested Relations and Complex Objects","article-title":"On the power of languages for the manipulation of complex objects","author":"Abiteboul","year":"1988"},{"key":"10.1016\/0304-3975(95)00024-Q_BIB2","series-title":"Proc. 5th Internat. Conf. on Database Theory","first-page":"439","article-title":"Space usage in functional query languages","volume":"Vol. 893","author":"Abiteboul","year":"1995"},{"key":"10.1016\/0304-3975(95)00024-Q_BIB3","series-title":"Proc. 4th IEEE Symp. on Logic in Computer Science","first-page":"71","article-title":"Fixpoint extensions of first-order logic and Datalog-like languages","author":"Abiteboul","year":"1989"},{"key":"10.1016\/0304-3975(95)00024-Q_BIB4","series-title":"Proc. 6th Symp. on Principles of Programming Languages","first-page":"110","article-title":"University of data retrieval languages","author":"Aho","year":"1979"},{"key":"10.1016\/0304-3975(95)00024-Q_BIB5","series-title":"Proc. 14th Internat. Conf. on Very Large Data Bases","first-page":"97","article-title":"A powerful and simple database language","author":"Bancilhon","year":"1988"},{"key":"10.1016\/0304-3975(95)00024-Q_BIB6","series-title":"The Lambda Calculus: Its Syntax and Semantics","author":"Barendregt","year":"1984"},{"key":"10.1016\/0304-3975(95)00024-Q_BIB7","series-title":"Proc. 3rd Internat. Workshop on Database Programming Languages","first-page":"9","article-title":"Structureal recursion as a query language","author":"BreazuTannen","year":"1991"},{"key":"10.1016\/0304-3975(95)00024-Q_BIB8","series-title":"Proc. 4th Internat. Conf. on Database Theory","first-page":"140","article-title":"Naturally embedded query languages","volume":"Vol. 646","author":"Breazu-Tannen","year":"1992"},{"key":"10.1016\/0304-3975(95)00024-Q_BIB9","series-title":"Proc. 18th Internat. Colloquium on Automata, Languages, and Programming","first-page":"60","article-title":"Logical and computational aspects of programming with Sets\/Bags\/Lists","volume":"Vol. 510","author":"Breazu-Tannen","year":"1991"},{"key":"10.1016\/0304-3975(95)00024-Q_BIB10","article-title":"The fast Fourier transform as a database query","author":"Buneman","year":"1993"},{"key":"10.1016\/0304-3975(95)00024-Q_BIB11","doi-asserted-by":"crossref","first-page":"164","DOI":"10.1145\/319702.319711","article-title":"An implementation technique for database query languages","volume":"7","author":"Buneman","year":"1982","journal-title":"ACM Trans. Database System"},{"key":"10.1016\/0304-3975(95)00024-Q_BIB12","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1145\/181550.181564","article-title":"Comprehension syntax","volume":"23","author":"Buneman","year":"1994","journal-title":"SIGMOD Record"},{"key":"10.1016\/0304-3975(95)00024-Q_BIB13","doi-asserted-by":"crossref","first-page":"156","DOI":"10.1016\/0022-0000(80)90032-X","article-title":"Computable queries for relational databases","volume":"21","author":"Chandra","year":"1980","journal-title":"J. Comput. System Sci"},{"key":"10.1016\/0304-3975(95)00024-Q_BIB14","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1016\/0022-0000(82)90012-5","article-title":"Structure and complexity of relational queries","volume":"25","author":"Chandra","year":"1982","journal-title":"J. Comput. System Sci"},{"key":"10.1016\/0304-3975(95)00024-Q_BIB15","doi-asserted-by":"crossref","first-page":"377","DOI":"10.1145\/362384.362685","article-title":"A relational model for large shared databanks","volume":"13","author":"Codd","year":"1970","journal-title":"Commun. ACM"},{"key":"10.1016\/0304-3975(95)00024-Q_BIB16","doi-asserted-by":"crossref","first-page":"567","DOI":"10.1016\/0306-4379(90)90029-O","article-title":"A recursive algebra for nested relations","volume":"15","author":"Colby","year":"1990","journal-title":"Inform. Systems"},{"key":"10.1016\/0304-3975(95)00024-Q_BIB17","series-title":"Proc. 4th International Workshop on Database Programming Languages","first-page":"200","article-title":"Efficient optimization of iterative queries","author":"Fegaras","year":"1993"},{"key":"10.1016\/0304-3975(95)00024-Q_BIB18","series-title":"Proc. ACM SIGMOD Conf. on Management of Data","article-title":"Towards an effective calculus for object query languages","author":"Fegaras","year":"1995"},{"key":"10.1016\/0304-3975(95)00024-Q_BIB19","first-page":"307","article-title":"Completeness of many-sorted equational logic","volume":"11","author":"Goguen","year":"1985","journal-title":"Houston J. Math"},{"key":"10.1016\/0304-3975(95)00024-Q_BIB20","first-page":"80","article-title":"An initial algebra approach to the specification, correctness and implementation of abstract data types","author":"Goguen","year":"1978"},{"key":"10.1016\/0304-3975(95)00024-Q_BIB21","series-title":"Proc. Conf. on Database and Expert Systems Applications","article-title":"OR-SML: a functional database programming language for disjunctive information","author":"Gunter","year":"1994"},{"key":"10.1016\/0304-3975(95)00024-Q_BIB22","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1016\/0304-3975(91)90327-X","article-title":"A comparison between algebraic query languages for flat and nested databases","volume":"87","author":"Gyssens","year":"1991","journal-title":"Theoret. Comput. Sci"},{"key":"10.1016\/0304-3975(95)00024-Q_BIB23","doi-asserted-by":"crossref","first-page":"76","DOI":"10.1016\/0022-0000(92)90041-G","article-title":"The powerset algebra as a natural tool to handle nested database relations","volume":"45","author":"Gyssens","year":"1992","journal-title":"J. Comput. System Sci"},{"key":"10.1016\/0304-3975(95)00024-Q_BIB24","article-title":"A query interface for heterogeneous biological data sources","author":"Hart","year":"1994","journal-title":"Manuscript"},{"key":"10.1016\/0304-3975(95)00024-Q_BIB25","series-title":"Abstracts of Meeting on the Interconnection of Molecular Biology Databases","article-title":"Using a query language to integrate biological data","author":"Hart","year":"1994"},{"key":"10.1016\/0304-3975(95)00024-Q_BIB26","series-title":"Proc. 8th IEEE Symp. on Logic in Computer Science","first-page":"332","article-title":"Database query languages embedded in the typed lambda calculus","author":"Hillebrand","year":"1993"},{"key":"10.1016\/0304-3975(95)00024-Q_BIB27","series-title":"Proc. 2nd Internat. Conf. on Deductive and Object Oriented Databases","first-page":"524","article-title":"Querying design and planning databases","volume":"Vol. 566","author":"Imielinski","year":"1991"},{"key":"10.1016\/0304-3975(95)00024-Q_BIB28","series-title":"Proc. 10th ACM Symp. on Principles of Database Systems","first-page":"37","article-title":"The expressiveness of a family of finite set language","author":"Immerman","year":"1991"},{"key":"10.1016\/0304-3975(95)00024-Q_BIB29","article-title":"Information Processing Systems","author":"ISO, Standard 9075","year":"1987","journal-title":"Database Language SQL"},{"key":"10.1016\/0304-3975(95)00024-Q_BIB30","series-title":"Proc. ACM Symp. on Principles of Database Systems","first-page":"124","article-title":"Remarks on the algebra of non-first-normal-form relations","author":"Jaeschke","year":"1982"},{"key":"10.1016\/0304-3975(95)00024-Q_BIB31","series-title":"Introduction to Higher Order Categorical Logic","author":"Lambek","year":"1986"},{"key":"10.1016\/0304-3975(95)00024-Q_BIB32","article-title":"Aspects of partial information in database","author":"Libkin","year":"1994"},{"key":"10.1016\/0304-3975(95)00024-Q_BIB33","series-title":"Proc. 5th Internat. Conf. on Database Theory","first-page":"411","article-title":"Approximation in database","volume":"Vol. 893","author":"Libkin","year":"1995"},{"key":"10.1016\/0304-3975(95)00024-Q_BIB34","series-title":"Proc. 12th ACM Symp. on Principles of Database Systems","first-page":"37","article-title":"Semantic representations and query languages for or-sets","author":"Libkin","year":"1993"},{"key":"10.1016\/0304-3975(95)00024-Q_BIB35","series-title":"Proc. 4th Internat. Workshop on Database Programming Languages","first-page":"282","article-title":"Aggregate functions, conservative extension, and linear orders","author":"Libkin","year":"1993"},{"key":"10.1016\/0304-3975(95)00024-Q_BIB36","series-title":"Proc. 4th Internat. Workshop on Database Programming Language","first-page":"97","article-title":"Some properties of query languag es for bags","author":"Libkin","year":"1993"},{"key":"10.1016\/0304-3975(95)00024-Q_BIB37","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1016\/0020-0190(94)90099-X","article-title":"Conservativity of nested relational calculi with internal generic functions","volume":"49","author":"Libkin","year":"1994","journal-title":"Inform. Process. Lett"},{"key":"10.1016\/0304-3975(95)00024-Q_BIB38","series-title":"Proc. 13th ACM Symp. on Principles of Database Systems","first-page":"155","article-title":"New techniques for studying set languages, bag languages, and aggregate functions","author":"Libkin","year":"1994"},{"key":"10.1016\/0304-3975(95)00024-Q_BIB39","series-title":"Categories for the Working Mathematician","author":"MacLane","year":"1971"},{"key":"10.1016\/0304-3975(95)00024-Q_BIB40","doi-asserted-by":"crossref","DOI":"10.1016\/0306-4379(81)90035-1","article-title":"A database management system for document retrieval applications","volume":"6","author":"Macleod","year":"1981","journal-title":"Inform. Systems"},{"key":"10.1016\/0304-3975(95)00024-Q_BIB41","series-title":"Proc. 3rd Internat. Conf. on Very Large Databases","first-page":"447","article-title":"A consideration on normal form of not necessarily normalised relation in the relational data model","author":"Makinouchi","year":"1977"},{"key":"10.1016\/0304-3975(95)00024-Q_BIB42","series-title":"Algebraic Theories","author":"Manes","year":"1976"},{"key":"10.1016\/0304-3975(95)00024-Q_BIB43","series-title":"Proc. CWI Symp. on Mathematics and Computer Science","first-page":"289","article-title":"Algorithmics \u2014 towards programming as a mathematical activity","author":"Meertens","year":"1986"},{"key":"10.1016\/0304-3975(95)00024-Q_BIB44","series-title":"Proc. 14th Symp. on Principles on Programming Languages","first-page":"253","article-title":"Empty types in polymorphic \u03bb-calculus","author":"Meyer","year":"1987"},{"key":"10.1016\/0304-3975(95)00024-Q_BIB45","series-title":"The Definitin of Standard ML","author":"Milner","year":"1990"},{"key":"10.1016\/0304-3975(95)00024-Q_BIB46","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1016\/0890-5401(91)90052-4","article-title":"Notions of computation and monads","volume":"93","author":"Moggi","year":"1991","journal-title":"Inform. Comput"},{"key":"10.1016\/0304-3975(95)00024-Q_BIB47","series-title":"A Logical Language for Data and Knowledge Bases","author":"Naqvi","year":"1989"},{"key":"10.1016\/0304-3975(95)00024-Q_BIB48","series-title":"Proc. ACM-SIGMOD Internat. Conf. on Management of Data","first-page":"46","article-title":"Database programming in Machiavelli, a polymorphic language with static type inference","author":"Ohori","year":"1989"},{"key":"10.1016\/0304-3975(95)00024-Q_BIB49","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1145\/128765.128768","article-title":"Converting nested relational algebra expression into flat algebra expressions","volume":"17","author":"Paredaens","year":"1992","journal-title":"ACM Trans. Database Systems"},{"key":"10.1016\/0304-3975(95)00024-Q_BIB50","series-title":"Proc. Conf. on Information and Knowledge Management","article-title":"Optimizing functional query languages","author":"Saraiya","year":"1993"},{"key":"10.1016\/0304-3975(95)00024-Q_BIB51","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1016\/0306-4379(86)90003-7","article-title":"The relational model with relation-valued attributes","volume":"11","author":"Schek","year":"1989","journal-title":"Inform. Systems"},{"key":"10.1016\/0304-3975(95)00024-Q_BIB52","series-title":"Proc. 4th Internat. Workshop on Database Programming Languages","first-page":"263","article-title":"Fixpoints and bounded fixpoints for complex objects","author":"Suciu","year":"1993"},{"key":"10.1016\/0304-3975(95)00024-Q_BIB53","series-title":"Proc. 5th Internat. Conf. on Database Theory","first-page":"177","article-title":"Domain-independent queries on databases with external functions","volume":"Vol. 893","author":"Suciu","year":"1995"},{"key":"10.1016\/0304-3975(95)00024-Q_BIB54","series-title":"Proc. 13th ACM Symp. on Principles of Database Systems","first-page":"201","article-title":"Any algorithm in the complex object algebra with powerset needs exponential space to compute transitive closure","author":"Suciu","year":"1994"},{"key":"10.1016\/0304-3975(95)00024-Q_BIB55","series-title":"Proc. 13th ACM Symp. on Principles of Database Systems","first-page":"167","article-title":"A query language for NC","author":"Suciu","year":"1994"},{"key":"10.1016\/0304-3975(95)00024-Q_BIB56","series-title":"Proc. 5th Internat. Conf. on Database Theory","first-page":"111","article-title":"On two forms of structural recursion","volume":"Vol. 893","author":"Suciu","year":"1995"},{"key":"10.1016\/0304-3975(95)00024-Q_BIB57","series-title":"Advances in Computing Research: The Theory of Database","first-page":"269","article-title":"Nested relational structures","author":"Thomas","year":"1986"},{"key":"10.1016\/0304-3975(95)00024-Q_BIB58","series-title":"Proc. 3rd Internat. Workshop on Database Programming Languages","first-page":"49","article-title":"Comprehesions, a query notation for DBPLs","author":"Trinder","year":"1991"},{"key":"10.1016\/0304-3975(95)00024-Q_BIB59","series-title":"Proc. 1988 Glasgow Workshop on Functional Programming","first-page":"115","article-title":"List comprehensions and the relational calculus","author":"Trinder","year":"1988"},{"key":"10.1016\/0304-3975(95)00024-Q_BIB60","unstructured":"G. Venkatesh and M. Kohli, Shahrazade: a database query language for design and planning applications, Bellcore technical memorandum, Bellcore, Box 1910, Morristown, NJ 09760."},{"key":"10.1016\/0304-3975(95)00024-Q_BIB61","doi-asserted-by":"crossref","first-page":"461","DOI":"10.1017\/S0960129500001560","article-title":"Comprehending monads","volume":"2","author":"Wadler","year":"1992","journal-title":"Math. Struct. in Comput. Sci"},{"key":"10.1016\/0304-3975(95)00024-Q_BIB62","article-title":"Towards a theory of bulk types","author":"Watt","year":"1991"},{"key":"10.1016\/0304-3975(95)00024-Q_BIB63","series-title":"Proc. 12th ACM Symp. on Principles of Database Systems","first-page":"26","article-title":"Normal forms and conservative properties for query languag e over collection types","author":"Wong","year":"1993"},{"key":"10.1016\/0304-3975(95)00024-Q_BIB64","article-title":"Querying nested collections","author":"Wong","year":"1994"}],"container-title":["Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:030439759500024Q?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:030439759500024Q?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,9,10]],"date-time":"2025-09-10T04:18:00Z","timestamp":1757477880000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/030439759500024Q"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995,9]]},"references-count":64,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1995,9]]}},"alternative-id":["030439759500024Q"],"URL":"https:\/\/doi.org\/10.1016\/0304-3975(95)00024-q","relation":{},"ISSN":["0304-3975"],"issn-type":[{"value":"0304-3975","type":"print"}],"subject":[],"published":{"date-parts":[[1995,9]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Principles of programming with complex objects and collection types","name":"articletitle","label":"Article Title"},{"value":"Theoretical Computer Science","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/0304-3975(95)00024-Q","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"converted-article","name":"content_type","label":"Content Type"},{"value":"Copyright \u00a9 1995 Published by Elsevier B.V.","name":"copyright","label":"Copyright"}]}}