{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,9,4]],"date-time":"2023-09-04T23:08:39Z","timestamp":1693868919977},"reference-count":62,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[1993,8,1]],"date-time":"1993-08-01T00:00:00Z","timestamp":744163200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,17]],"date-time":"2013-07-17T00:00:00Z","timestamp":1374019200000},"content-version":"vor","delay-in-days":7290,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Theoretical Computer Science"],"published-print":{"date-parts":[[1993,8]]},"DOI":"10.1016\/0304-3975(93)90220-n","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T23:47:37Z","timestamp":1027640857000},"page":"59-94","source":"Crossref","is-referenced-by-count":10,"title":["Algebraic optimization of object-oriented query languages"],"prefix":"10.1016","volume":"116","author":[{"given":"Catriel","family":"Beeri","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yoram","family":"Kornatzky","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/0304-3975(93)90220-N_BIB1","first-page":"419","article-title":"Towards a deductive object-oriented database language","author":"Abiteboul","year":"1989","journal-title":"Proc. 1st Internat. Conf. on Deductive and Object-Oriented Databases"},{"key":"10.1016\/0304-3975(93)90220-N_BIB2","doi-asserted-by":"crossref","first-page":"525","DOI":"10.1145\/32204.32205","article-title":"IFO: a formal semantic database model","volume":"12","author":"Abiteboul","year":"1987","journal-title":"ACM Trans. Database Systems"},{"key":"10.1016\/0304-3975(93)90220-N_BIB3","series-title":"Design and Optimization of Compilers","first-page":"1","article-title":"A catalogue of optimizing transformations","author":"Allen","year":"1971"},{"key":"10.1016\/0304-3975(93)90220-N_BIB4","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1145\/320455.320457","article-title":"System R: a relational approach to data management","volume":"1","author":"Astrahan","year":"1976","journal-title":"ACM Trans. Database Systems"},{"key":"10.1016\/0304-3975(93)90220-N_BIB5","doi-asserted-by":"crossref","first-page":"613","DOI":"10.1145\/359576.359579","article-title":"Can programming be liberated from the von Neumann style? A functional style and its algebra of programs","volume":"21","author":"Backus","year":"1978","journal-title":"Commun. ACM"},{"key":"10.1016\/0304-3975(93)90220-N_BIB6","series-title":"Proc. Internat. Workshop on Object-Oriented Database Systems","first-page":"1","article-title":"The design and implementation of O2, an object-oriented database system","author":"Bancilhon","year":"1988"},{"key":"10.1016\/0304-3975(93)90220-N_BIB7","first-page":"97","article-title":"FAD, a powerful and simple database language","author":"Bancilhon","year":"1987","journal-title":"Proc. Internat. Conf. on Very Large Databases"},{"key":"10.1016\/0304-3975(93)90220-N_BIB8","doi-asserted-by":"crossref","DOI":"10.1109\/ICDE.1988.105443","article-title":"Queries in object-oriented databases","author":"Banerjee","year":"1988","journal-title":"Proc. Internat. Conf. on Data Engineering"},{"key":"10.1016\/0304-3975(93)90220-N_BIB9","first-page":"207","article-title":"GENESIS: a project to develop an extensible database management system","author":"Batory","year":"1986","journal-title":"Proc. Internat. Workshop on Object-Oriented Database Systems"},{"key":"10.1016\/0304-3975(93)90220-N_BIB10","article-title":"Using an OODBMS to implement a programming environment, experience and lessons","author":"Borras","year":"1990","journal-title":"Proc. Object-Oriented Program Development Environments Workshop (ACM Symp. on Object-Oriented Programming)"},{"key":"10.1016\/0304-3975(93)90220-N_BIB11","first-page":"193","article-title":"Towards an efficient evaluation of general queries: quantifier and disjunction processing revisited","author":"Bry","year":"1988","journal-title":"ACM SIGMOD Internat. Conf. on Management of Data"},{"key":"10.1016\/0304-3975(93)90220-N_BIB12","first-page":"52","article-title":"FQL - a functional query language","author":"Buneman","year":"1979","journal-title":"ACM SIGMOD Internat. Conf. on Management of Data"},{"key":"10.1016\/0304-3975(93)90220-N_BIB13","doi-asserted-by":"crossref","first-page":"44","DOI":"10.1145\/321992.321996","article-title":"A transformation system for transforming recursive programs","volume":"24","author":"Burstall","year":"1977","journal-title":"J. ACM"},{"key":"10.1016\/0304-3975(93)90220-N_BIB14","doi-asserted-by":"crossref","first-page":"413","DOI":"10.1145\/971701.50252","article-title":"A data model and query language for Exodus","author":"Carey","year":"1988","journal-title":"ACM SIGMOD Internat. Conf. on Management of Data"},{"key":"10.1016\/0304-3975(93)90220-N_BIB15","first-page":"52","article-title":"The architecture of the EXODUS extensible DBMS","author":"Carey","year":"1986","journal-title":"Proc. Internat. Workshop on Object-Oriented Database Systems"},{"key":"10.1016\/0304-3975(93)90220-N_BIB16","series-title":"Object-Oriented Concepts, Databases, and Applications","first-page":"341","article-title":"Storage management for objects in Exodus","author":"Carey","year":"1989"},{"key":"10.1016\/0304-3975(93)90220-N_BIB17","first-page":"315","article-title":"HiLog as a platform for database languages (or why predicate calculus is not enough)","author":"Cheng","year":"1989","journal-title":"Proc. 2nd Internat. Workshop on Database Programming Languages"},{"key":"10.1016\/0304-3975(93)90220-N_BIB18","series-title":"Ph.D. Thesis","article-title":"Langages et Optimisation de requ\u00eates pour Syst\u00e8me de Gestion de Base de donn\u00e9es orient\u00e9-objet","author":"Cluet","year":"1991"},{"key":"10.1016\/0304-3975(93)90220-N_BIB19","first-page":"125","article-title":"Processing queries with quantifiers: a horticultural appraoch","author":"Dayal","year":"1983","journal-title":"Proc. ACM Symp. Principles of Database Systems"},{"key":"10.1016\/0304-3975(93)90220-N_BIB20","first-page":"197","article-title":"Of nests and trees: a unified approach to processing queries that contain nested subqueries, aggregates, and quantifiers","author":"Dayal","year":"1987","journal-title":"Proc. Internat. Conf. on Very Large Data Bases"},{"key":"10.1016\/0304-3975(93)90220-N_BIB21","first-page":"80","article-title":"Queries and views in an object-oriented data model","author":"Dayal","year":"1989","journal-title":"Proc. 2nd Internat. Workshop on Database Programming Language"},{"key":"10.1016\/0304-3975(93)90220-N_BIB22","first-page":"282","article-title":"Busy and lazy FP with infinite objects","author":"Dosch","year":"1984","journal-title":"ACM Symp. on Lisp and Functional Programming"},{"key":"10.1016\/0304-3975(93)90220-N_BIB23","series-title":"IFIP Conf. on Database Semantics","first-page":"225","article-title":"Using an OODBMS to implement a debugger","author":"Doucet","year":"1990"},{"key":"10.1016\/0304-3975(93)90220-N_BIB24","series-title":"Functional Programming","author":"Field","year":"1988"},{"key":"10.1016\/0304-3975(93)90220-N_BIB25","series-title":"Ph.D. Thesis","article-title":"Translating relational queries into iterative programs","author":"Freytag","year":"1985"},{"key":"10.1016\/0304-3975(93)90220-N_BIB26","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1145\/38714.38735","article-title":"A rule-based view of query optimization","author":"Freytag","year":"1987","journal-title":"ACM SIGMOD Internat. Conf. on Management of Data"},{"key":"10.1016\/0304-3975(93)90220-N_BIB27","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/62032.62033","article-title":"On the translation of relational queries into iterative programs","volume":"14","author":"Freytag","year":"1989","journal-title":"ACM Trans. Database Systems"},{"key":"10.1016\/0304-3975(93)90220-N_BIB28","first-page":"74","article-title":"Schema recognition for program transformations","author":"Givler","year":"1984","journal-title":"ACM Symp. on Lisp and Functional Programming"},{"key":"10.1016\/0304-3975(93)90220-N_BIB29","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(93)90220-N_BIB30","doi-asserted-by":"crossref","first-page":"160","DOI":"10.1145\/38714.38734","article-title":"The EXODUS optimizer generator","author":"Graefe","year":"1987","journal-title":"ACM SIGMOD Internat. Conf. on Management of Data"},{"key":"10.1016\/0304-3975(93)90220-N_BIB31","series-title":"Proc. 2nd Internat. Workshop on Object-Oriented Database Systems","first-page":"358","article-title":"Query optimization in object-oriented database systems: a prospectus","author":"Graefe","year":"1988"},{"key":"10.1016\/0304-3975(93)90220-N_BIB32","first-page":"137","article-title":"Knowledge-based query processing","author":"Hammer","year":"1980","journal-title":"Proc. Internat. Conf. on Very Large Data Bases"},{"key":"10.1016\/0304-3975(93)90220-N_BIB33","doi-asserted-by":"crossref","first-page":"295","DOI":"10.1145\/971701.50238","article-title":"Processing queries against database procedures","author":"Hanson","year":"1988","journal-title":"ACM SIGMOD Internat. Conf. on Management of Data"},{"key":"10.1016\/0304-3975(93)90220-N_BIB34","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1145\/45072.45073","article-title":"Semantic database modelling: survey, applications, and research issues","volume":"19","author":"Hull","year":"1987","journal-title":"ACM Comput. Surveys"},{"key":"10.1016\/0304-3975(93)90220-N_BIB35","doi-asserted-by":"crossref","first-page":"196","DOI":"10.1145\/971695.582225","article-title":"Range nesting: a fast method to evaluate quantified queries","author":"Jarke","year":"1983","journal-title":"ACM SIGMOD Internat. Conf. on Management of Data"},{"key":"10.1016\/0304-3975(93)90220-N_BIB36","first-page":"88","article-title":"A performance study of query optimization algorithms on a database system supporting procedures","author":"Jhingran","year":"1988","journal-title":"Proc. Internat. Conf. on Very Large Data Bases"},{"key":"10.1016\/0304-3975(93)90220-N_BIB37","doi-asserted-by":"crossref","first-page":"364","DOI":"10.1145\/93605.98745","article-title":"Access support relations in object bases","author":"Kemper","year":"1990","journal-title":"ACM SIGMOD Internat. Conf. on Management of Data"},{"key":"10.1016\/0304-3975(93)90220-N_BIB38","first-page":"406","article-title":"Object identity","author":"Khoshafian","year":"1986","journal-title":"Proc. ACM Symp. an Object-Oriented Programming: Systems, Languages, and Applications"},{"key":"10.1016\/0304-3975(93)90220-N_BIB39","doi-asserted-by":"crossref","first-page":"443","DOI":"10.1145\/319732.319745","article-title":"On optimizing an SQL-like nested query","author":"Kim","year":"1982","journal-title":"ACM Trans. Database Systems"},{"key":"10.1016\/0304-3975(93)90220-N_BIB40","first-page":"113","article-title":"Manipulation of structured values in object-oriented databases","author":"Lecluse","year":"1989","journal-title":"Proc. 2nd Internat. Workshop on Database Programming Languages"},{"key":"10.1016\/0304-3975(93)90220-N_BIB41","doi-asserted-by":"crossref","first-page":"564","DOI":"10.1145\/359763.359789","article-title":"Abstraction mechanisms in CLU","volume":"20","author":"Liskov","year":"1977","journal-title":"Comm. ACM"},{"key":"10.1016\/0304-3975(93)90220-N_BIB42","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1145\/971701.50204","article-title":"Grammar-like functional rules for representing query optimization alternatives","author":"Lohman","year":"1988","journal-title":"ACM SIGMOD Internat. Conf. on Management of Data"},{"key":"10.1016\/0304-3975(93)90220-N_BIB43","first-page":"472","article-title":"Development of an object-oriented DBMS","author":"Maier","year":"1986","journal-title":"Proc. ACM Symp. on Object-Oriented Programming: Systems, Languages, and Applications"},{"key":"10.1016\/0304-3975(93)90220-N_BIB44","article-title":"Persistent and shared objects in Trellis\/Owl","author":"O'Brien","year":"1986","journal-title":"Proc. 1st Internat. Workshop on Object-Oriented Database Systems"},{"key":"10.1016\/0304-3975(93)90220-N_BIB45","series-title":"Proc. 2nd Internat. Workshop on Object-Oriented Database Systems","first-page":"346","article-title":"Identity, equality and query optimization","author":"Osborn","year":"1988"},{"key":"10.1016\/0304-3975(93)90220-N_BIB46","first-page":"86","article-title":"Higher-order order-sorted algebras","author":"Qian","year":"1990"},{"key":"10.1016\/0304-3975(93)90220-N_BIB47","doi-asserted-by":"crossref","first-page":"208","DOI":"10.1145\/38714.38738","article-title":"Programming constructs for database system implementation in EXODUS","author":"Richardson","year":"1987","journal-title":"ACM SIGMOD Internat. Conf. on Management of Data"},{"key":"10.1016\/0304-3975(93)90220-N_BIB48","first-page":"44","article-title":"Understanding and extending transformation-based optimizers","volume":"9","author":"Rosenthal","year":"1986","journal-title":"Data Engrg."},{"key":"10.1016\/0304-3975(93)90220-N_BIB49","first-page":"246","article-title":"An architecture for query optimization","author":"Rosenthal","year":"1982","journal-title":"ACM SIGMOD Internat. Conf. on Management of Data"},{"key":"10.1016\/0304-3975(93)90220-N_BIB50","series-title":"The Design and Analysis of Spatial Data Structures","author":"Samet","year":"1989"},{"key":"10.1016\/0304-3975(93)90220-N_BIB51","doi-asserted-by":"crossref","first-page":"247","DOI":"10.1145\/320557.320568","article-title":"Some high level language constructs for data of type relation","volume":"2","author":"Schmidt","year":"1977","journal-title":"ACM Trans. Database Systems"},{"key":"10.1016\/0304-3975(93)90220-N_BIB52","first-page":"23","article-title":"Access path selection in a relational database management system","author":"Selinger","year":"1979","journal-title":"ACM SIGMOD Internat. Conf. on Management of Data"},{"key":"10.1016\/0304-3975(93)90220-N_BIB53","first-page":"264","article-title":"Object-oriented queries: equivalence and optimization","author":"Shaw","year":"1989","journal-title":"Proc. Internat. Conf. on Deductive and Object-Oriented Databases"},{"key":"10.1016\/0304-3975(93)90220-N_BIB54","doi-asserted-by":"crossref","first-page":"350","DOI":"10.1145\/27629.27631","article-title":"Extending a database system with procedures","volume":"2","author":"Stonebraker","year":"1987","journal-title":"ACM Trans. Database Systems"},{"key":"10.1016\/0304-3975(93)90220-N_BIB55","series-title":"Proc. Ann. Meeting Database Week","first-page":"107","article-title":"Application of abstract data types and abstract indices to CAD data","author":"Stonebraker","year":"1983"},{"key":"10.1016\/0304-3975(93)90220-N_BIB56","series-title":"Ph.D. Thesis","article-title":"Queries and query processing in object-oriented database systems","author":"Straube","year":"1990"},{"key":"10.1016\/0304-3975(93)90220-N_BIB57","series-title":"Principles of Database and Knowledge-Base Systems","author":"Ullman","year":"1988"},{"key":"10.1016\/0304-3975(93)90220-N_BIB58","doi-asserted-by":"crossref","first-page":"218","DOI":"10.1145\/22952.22955","article-title":"Join indices","volume":"12","author":"Valduriez","year":"1987","journal-title":"ACM Trans. Database Systems"},{"key":"10.1016\/0304-3975(93)90220-N_BIB59","first-page":"101","article-title":"Implementation techniques for complex objects","author":"Valduriez","year":"1986","journal-title":"Proc. Internat. Conf. on Very Large Data Bases"},{"key":"10.1016\/0304-3975(93)90220-N_BIB60","doi-asserted-by":"crossref","first-page":"158","DOI":"10.1145\/119995.115811","article-title":"An algebra for complex objects with object identity","author":"Vandenberg","year":"1991","journal-title":"ACM SIGMOD Internat. Conf. on Management of Data"},{"key":"10.1016\/0304-3975(93)90220-N_BIB61","first-page":"357","article-title":"The O2 object manager: an overview","author":"Velez","year":"1989","journal-title":"Proc. Internat. Conf. on Very Large Data Bases"},{"key":"10.1016\/0304-3975(93)90220-N_BIB62","first-page":"27","article-title":"Database relations with null values","author":"Zaniolo","year":"1982","journal-title":"Proc. ACM Symp. Principles of Database Systems"}],"container-title":["Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:030439759390220N?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:030439759390220N?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,13]],"date-time":"2019-04-13T00:23:38Z","timestamp":1555115018000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/030439759390220N"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993,8]]},"references-count":62,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1993,8]]}},"alternative-id":["030439759390220N"],"URL":"https:\/\/doi.org\/10.1016\/0304-3975(93)90220-n","relation":{},"ISSN":["0304-3975"],"issn-type":[{"value":"0304-3975","type":"print"}],"subject":[],"published":{"date-parts":[[1993,8]]}}}