{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,5,5]],"date-time":"2024-05-05T02:17:23Z","timestamp":1714875443066},"reference-count":33,"publisher":"Elsevier","isbn-type":[{"value":"9780127082400","type":"print"}],"license":[{"start":{"date-parts":[[1992,1,1]],"date-time":"1992-01-01T00:00:00Z","timestamp":694224000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1016\/b978-0-12-708240-0.50014-9","type":"book-chapter","created":{"date-parts":[[2014,7,1]],"date-time":"2014-07-01T05:32:31Z","timestamp":1404192751000},"page":"253-286","source":"Crossref","is-referenced-by-count":0,"title":["Object Identity and Query Equivalence**Address of first author: Computer Science Department, University of Southern California, Los Angeles, CA 90089-0782 (hull@cse.usc.edu); address of second author: Department of Information and Communication Sciences, Kyoto Sangyo University, Japan (yosikawa@kyotosu.ac.jp). This research supported in part by NSF grant IRI-8719875. Research by the first author also supported in part by NSF grant INT-8817874 and a grant from AT&T. Part of the research by the second author was performed while visiting the Computer Science Department of the University of Southern California. He was supported in part by Science Foundation Grant # 02750298 of the Ministry of Education, Science and Culture of Japan, and a grant from Obase Consortium. The extended abstract \u201cOn the Equivalence of Database Restructurings Involving Object Identifiers\u201d in ACM Symposium on Principles of Database Systems, May 1991, pp. 328\u2013340, describes this work and related results."],"prefix":"10.1016","author":[{"given":"Richard","family":"Hull","sequence":"first","affiliation":[]},{"given":"Masatoshi","family":"Yoshikawa","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/B978-0-12-708240-0.50014-9_bib1","unstructured":"K. Apt, H. Blair, and A. Walker. Toward a theory of declarative knowledge. In Proc. of Workshop on Foundations of Deductive Databases and Logic Programming, 1986"},{"issue":"4","key":"10.1016\/B978-0-12-708240-0.50014-9_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. on Database Systems"},{"key":"10.1016\/B978-0-12-708240-0.50014-9_bib3","doi-asserted-by":"crossref","unstructured":"S. Abiteboul and P. Kanellakis. Object identity as a query language primitive. In Proc. ACM SIGMOD Symp. on the Management of Data, pages 159\u2013173, 1989","DOI":"10.1145\/66926.66941"},{"key":"10.1016\/B978-0-12-708240-0.50014-9_bib4","article-title":"Object identity as a query language primitive","author":"Abiteboul","year":"1992","journal-title":"J. ACM"},{"key":"10.1016\/B978-0-12-708240-0.50014-9_bib5","series-title":"Handbook of Theoretical Computer Science, Volume B: Formal Models and Semantics","first-page":"493","article-title":"Introduction to logic programming","author":"Apt","year":"1990"},{"key":"10.1016\/B978-0-12-708240-0.50014-9_bib6","doi-asserted-by":"crossref","unstructured":"S. Abiteboul and V. Vianu. A transaction language complete for database update and specification. In Proc. ACM Symp. on Principles of Database Systems, pages 260\u2013268, 1987.","DOI":"10.1145\/28659.28688"},{"key":"10.1016\/B978-0-12-708240-0.50014-9_bib7","unstructured":"C. Beeri. Formal models for object oriented databases. In Proc. of First Intl. Conf. on Deductive and Object-Oriented Databases, 1989"},{"issue":"4","key":"10.1016\/B978-0-12-708240-0.50014-9_bib8","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1145\/27633.27634","article-title":"A comparative analysis of methodologies for database schema integration","volume":"18","author":"Batini","year":"1986","journal-title":"ACM Computing Surveys"},{"issue":"1","key":"10.1016\/B978-0-12-708240-0.50014-9_bib9","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1145\/320434.320440","article-title":"The entity-relationship model \u2013 toward a unified view of data","volume":"1","author":"Chen","year":"1976","journal-title":"ACM Trans. on Database Systems"},{"key":"10.1016\/B978-0-12-708240-0.50014-9_bib10","doi-asserted-by":"crossref","unstructured":"A. K. Chandra and P. M. Merlin. Optimal implementation of conjunctive queries in relational data bases. In Proc. ACM SIGACT Symp. on the Theory of Computing, pages 77\u201390, 1977.","DOI":"10.1145\/800105.803397"},{"key":"10.1016\/B978-0-12-708240-0.50014-9_bib11","doi-asserted-by":"crossref","unstructured":"W. Chen and D.S. Warren. C-Logic of complex objects. In Proc. ACM Symp. on Principles of Database Systems, pages 369\u2013378, 1989","DOI":"10.1145\/73721.73757"},{"key":"10.1016\/B978-0-12-708240-0.50014-9_bib12","unstructured":"U. Dayal. Queries and views in an object-oriented data model. In Proc. of Second Intl. Workshop on Database Programming Languages, pages 80\u2013102, Morgan Kaufmann, Los Altos, CA, June 1989."},{"issue":"6","key":"10.1016\/B978-0-12-708240-0.50014-9_bib13","doi-asserted-by":"crossref","first-page":"628","DOI":"10.1109\/TSE.1984.5010292","article-title":"View definition and generalization for database integration in a multidatabase system","volume":"SE-10","author":"Dayal","year":"1984","journal-title":"IEEE Trans. on Software Engineering"},{"issue":"2","key":"10.1016\/B978-0-12-708240-0.50014-9_bib14","doi-asserted-by":"crossref","first-page":"324","DOI":"10.1145\/321510.321524","article-title":"The recursive unsolvability of the decision problem for a class of definite formulas","volume":"16","author":"DiPaola","year":"1969","journal-title":"J. ACM"},{"issue":"3","key":"10.1016\/B978-0-12-708240-0.50014-9_bib15","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1145\/45072.45073","article-title":"Semantic database modeling: Survey, applications, and research issues","volume":"19","author":"Hull","year":"1987","journal-title":"ACM Computing Surveys"},{"issue":"3","key":"10.1016\/B978-0-12-708240-0.50014-9_bib16","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1145\/4229.4233","article-title":"A federated architecture for information management","volume":"3","author":"Heimbigner","year":"1985","journal-title":"ACM Trans. on Office Information Systems"},{"key":"10.1016\/B978-0-12-708240-0.50014-9_bib17","unstructured":"R. Hull and M. Yoshikawa. ILOG: Declarative Creation and Manipulation of Object Identifiers (Extended Abstract). In Proc. of Intl. Conf. on Very Large Data Bases, pages 455\u2013468, 1990"},{"key":"10.1016\/B978-0-12-708240-0.50014-9_bib18","doi-asserted-by":"crossref","unstructured":"R. Hull and M. Yoshikawa. ILOG: On the Equivalence of Database Restructurings Involving Object Identifiers (Extended Abstract). In Proc. of ACM Intl. Symp. on Principles of Database Systems, pages 328\u2013340, 1991.","DOI":"10.1145\/113413.113443"},{"key":"10.1016\/B978-0-12-708240-0.50014-9_bib19","series-title":"Equivalence of Conjunctive Queries with Object Identy: A Special Case with Unary Functors","author":"Hull","year":"1992"},{"key":"10.1016\/B978-0-12-708240-0.50014-9_bib20","doi-asserted-by":"crossref","unstructured":"M. Kifer and G. Lausen. F-logic: a higher-order logic for reasoning about objects, inheritance, and scheme. In Proc. ACM SIGMOD Symp. on the Management of Data, pages 134\u2013146, 1989.","DOI":"10.1145\/66926.66939"},{"key":"10.1016\/B978-0-12-708240-0.50014-9_bib21","series-title":"Logical Foundations of Object-Oriented and Frame-Based Languages.","author":"Kifer","year":"1990"},{"key":"10.1016\/B978-0-12-708240-0.50014-9_bib22","series-title":"A Functional Data Base Model.","author":"Kerschberg","year":"1976"},{"key":"10.1016\/B978-0-12-708240-0.50014-9_bib23","doi-asserted-by":"crossref","unstructured":"G.M. Kuper and M. Y. Vardi. A new approach to database logic. In Proc. ACM Symp. on Principles of Database Systems, pages 86\u201396, 1984","DOI":"10.21236\/ADA141130"},{"key":"10.1016\/B978-0-12-708240-0.50014-9_bib24","doi-asserted-by":"crossref","unstructured":"M. Kifer and J. Wu. A logic for object-oriented logic programming (Maier's O-logic revisited). In Proc. ACM Symp. on Principles of Database Systems, pages 379\u2013393, 1989.","DOI":"10.1145\/73721.73758"},{"key":"10.1016\/B978-0-12-708240-0.50014-9_bib25","series-title":"Foundations of Logic Programming (Second Edition).","author":"Lloyd","year":"1987"},{"key":"10.1016\/B978-0-12-708240-0.50014-9_bib26","doi-asserted-by":"crossref","unstructured":"P. Lyngbaek and V. Vianu. Mapping a semantic database model to the relational model. In Proc. ACM SIGMOD Symp. on the Management of Data, 1987.","DOI":"10.1145\/38713.38732"},{"key":"10.1016\/B978-0-12-708240-0.50014-9_bib27","unstructured":"D. Maier. A logic for objects. In Workshop on Foundations of Deductive Databases and Logic Prograaming, pages 6\u201326, Washington, D.C, August 1986"},{"issue":"7","key":"10.1016\/B978-0-12-708240-0.50014-9_bib28","doi-asserted-by":"crossref","DOI":"10.1109\/TSE.1987.233490","article-title":"Superviews: Virtual integration of multiple databases","volume":"SE-13","author":"Motro","year":"1987","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1016\/B978-0-12-708240-0.50014-9_bib29","doi-asserted-by":"crossref","unstructured":"O. Shmueli. Decidability and expressiveness aspects of logic queries. In ACM Symp. on Principles of Database Systems, pages 237\u2013249, 1987","DOI":"10.1145\/28659.28685"},{"issue":"4","key":"10.1016\/B978-0-12-708240-0.50014-9_bib30","doi-asserted-by":"crossref","first-page":"633","DOI":"10.1145\/322217.322221","article-title":"Equivalences among relational expressions with the union and difference operators","volume":"27","author":"Sagiv","year":"1980","journal-title":"J. ACM"},{"key":"10.1016\/B978-0-12-708240-0.50014-9_bib31","series-title":"Principles of Database and Knowledgebase Systems.","author":"Ullman","year":"1988"},{"key":"10.1016\/B978-0-12-708240-0.50014-9_bib32","unstructured":"A. van Gelder. Negation as failure using tight derivations for general logic programs. In Proc. of Workshop on Foundations of Deductive Databases and Logic Programming, 1986."},{"key":"10.1016\/B978-0-12-708240-0.50014-9_bib33","series-title":"Readings in Object-Oriented Database Systems.","author":"Zdonik","year":"1990"}],"container-title":["Theoretical Studies in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:B9780127082400500149?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:B9780127082400500149?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,8,12]],"date-time":"2019-08-12T06:11:47Z","timestamp":1565590307000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/B9780127082400500149"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9780127082400"],"references-count":33,"URL":"https:\/\/doi.org\/10.1016\/b978-0-12-708240-0.50014-9","relation":{},"subject":[],"published":{"date-parts":[[1992]]}}}