{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:06:45Z","timestamp":1725664005040},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540560395"},{"type":"electronic","value":"9783540473602"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/3-540-56039-4_53","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T05:55:33Z","timestamp":1330235733000},"page":"357-375","source":"Crossref","is-referenced-by-count":4,"title":["Subsumption for complex object data models"],"prefix":"10.1007","author":[{"given":"Domenico","family":"Beneventano","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sonia","family":"Bergamaschi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"key":"24_CR1","doi-asserted-by":"crossref","unstructured":"Atzeni, P., Cacace, F., Ceri, S., and Tanca L. The LOGIDATA+ model. Technical Report 5\/20, CNR, Progetto Finalizzato Sistemi Informatica e Calcolo Parallelo, Sottoprogetto 5, 1990.","DOI":"10.1007\/BFb0021887"},{"key":"24_CR2","first-page":"271","volume-title":"Col: a logic based language for complex objects","author":"S. Abiteboul","year":"1988","unstructured":"Abiteboul, S. and Grumbach, S. Col: a logic based language for complex objects. In EDBT'88 International Conference on Extending Database Technology, pages 271\u2013293, Springer-Verlag, Berlin, 1988."},{"key":"24_CR3","doi-asserted-by":"crossref","unstructured":"Abiteboul, S. and Kanellakis, P. C. Object Identity as a Query Language Primitive. in: Proceedings of the 1989 ACM SIGMOD International Conference on Mangement of Data, pages 159\u2013173, Portland, Oreg. (1989).","DOI":"10.1145\/67544.66941"},{"issue":"4","key":"24_CR4","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1145\/32204.32205","volume":"12","author":"S. Abiteboul","year":"1987","unstructured":"Abiteboul, S. and Hull, R. B. Ifo: a formal semantic data model. ACM Transactions on Database Systems, 12, 4 (1987), 297\u2013314.","journal-title":"ACM Transactions on Database Systems"},{"key":"24_CR5","volume-title":"Type Subsumption as a Model of Computation","author":"H. A\u00eft-Kaci","year":"1986","unstructured":"A\u00eft-Kaci, H. Type Subsumption as a Model of Computation. In Kerschberg, L., editor, First International Workshop on Expert Database Systems, Benjamin Cummings, Menlo Park, Cal., 1986."},{"key":"24_CR6","unstructured":"Baader, F. Terminological cycles in KL-ONE-based KR-languages. In Proceedings of the 8th National Conference of the American Association for Artificial Intelligence, Boston, Mass., 1990."},{"key":"24_CR7","doi-asserted-by":"crossref","unstructured":"Beeri, C. A formal approach to object-oriented database. In Data & Knowledge Engineering, pages 353\u2013382, 1990.","DOI":"10.1016\/0169-023X(90)90020-E"},{"key":"24_CR8","doi-asserted-by":"crossref","unstructured":"Beck, H. W., Gala, S. K., and Navathe, S. B. Classification as a query processing technique in the CANDIDE semantic data model. In Proceedings of the International Data Engineering Conference, IEEE, pages 572\u2013581, Los Angeles, Cal., 1989.","DOI":"10.1109\/ICDE.1989.47264"},{"key":"24_CR9","first-page":"443","volume-title":"Entity Relationship Approach","author":"S. Bergamaschi","year":"1989","unstructured":"Bergamaschi, S., Cavedoni, L. Sartori, C., and Tiberio, P. On taxonomical reasoning in E\/R environments. In Batini, C., editor, Entity Relationship Approach, pages 443\u2013453, Elsevier, Amsterdam, 1989."},{"key":"24_CR10","unstructured":"Bergamaschi, S., and Nebel, B. Theoretical fondations of complex object data models Technical Report 5\/91, CNR, Progetto Finalizzato Sistemi Informatica e Calcolo Parallelo, Sottoprogetto 5, January 1992."},{"key":"24_CR11","unstructured":"Bergamaschi, S., and Sartori, C. On taxonomical reasoning in conceptual design. To appear in ACM Transactions on Database Systems, also available as Technical Report 78, CIOC-CNR, Bologna, 1991."},{"key":"24_CR12","doi-asserted-by":"crossref","unstructured":"Borgida, A.,Brachman, R, J., McGuinness, D. L. and Resnick, L. A. CLASSIC: a structural data model for objects, in: Proceedings of the 1989 ACM SIGMOD International Conference on Mangement of Data, pages 59\u201367, Portland, Oreg. (1989).","DOI":"10.1145\/67544.66932"},{"issue":"2","key":"24_CR13","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1016\/S0364-0213(85)80014-8","volume":"9","author":"R. J. Brachman","year":"1985","unstructured":"Brachman, R. J. and Schm\u00f6lze, J. G. An overview of the KL-ONE knowledge representation system, Cognitive Science 9, 2 (1985), 171\u2013216.","journal-title":"Cognitive Science"},{"key":"24_CR14","doi-asserted-by":"crossref","unstructured":"Cacace, F., Ceri, S., Crespi-Reghizzi, S., Tanca, L., and Zicari, R. Integrating object-oriented data modeling with rule-based programming paradigm. In Symposium on Principles of database Systems, ACM SIGMOD, pages 225\u2013236.","DOI":"10.1145\/93605.98732"},{"key":"24_CR15","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1007\/3-540-13346-1_2","volume-title":"Semantics of Data Types","author":"L. A. Cardelli","year":"1984","unstructured":"Cardelli, L. A. Semantics of multiple inheritance. In Semantics of Data Types, pages 51\u201367, Springer-Verlag, Berlin, 1984."},{"key":"24_CR16","volume-title":"Computers and Intractability","author":"M. R. Garey","year":"1979","unstructured":"Garey, M. R. and Johnson, D. S. Computers and Intractability, Freeman, San Francisco, Cal., 1979."},{"key":"24_CR17","volume-title":"Elements of the Theory of Computation","author":"H. R. Lewis","year":"1981","unstructured":"Lewis, H. R. and Papadimitriou, C. H. Elements of the Theory of Computation, Prentice Hall, Englewood Cliffs, N.J., 1981."},{"key":"24_CR18","unstructured":"L\u00e9cluse, C. and Richard, P. The O2 Data Model. In Proceedings of the International Conference on Very Large Data Bases, 1989."},{"key":"24_CR19","doi-asserted-by":"crossref","unstructured":"L\u00e9cluse, C. and Richard, P. Modeling complex structures in object-oriented databases. In Proceedings of the 8th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database-Systems, pages 360\u2013367, March 1989.","DOI":"10.1145\/73721.73756"},{"key":"24_CR20","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of Logic Programming","author":"J.W. Lloyd","year":"1987","unstructured":"Lloyd, J.W. Foundations of Logic Programming. Springer Verlag, Berlin, 1987."},{"key":"24_CR21","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1016\/0004-3702(90)90087-G","volume":"43","author":"B. Nebel","year":"1990","unstructured":"Nebel, B. Terminological reasoning is inherently intractable. Artificial Intelligence, 43:235\u2013249, 1990.","journal-title":"Artificial Intelligence"},{"key":"24_CR22","volume-title":"Principles of Semantic Networks","author":"B. Nebel","year":"1991","unstructured":"Nebel, B. Terminological cycles: Semantics and computational properties. In J. Sowa, editor, Principles of Semantic Networks. Morgan Kaufmann, San Mateo, Cal., 1991."},{"key":"24_CR23","volume-title":"Denotational Semantics: A Methodology for Language Development","author":"D.A. Schmidt","year":"1986","unstructured":"Schmidt, D.A. Denotational Semantics: A Methodology for Language Development. Allyn and Bacon, Boston, 1986."}],"container-title":["Lecture Notes in Computer Science","Database Theory \u2014 ICDT '92"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-56039-4_53.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T16:02:47Z","timestamp":1605628967000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-56039-4_53"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540560395","9783540473602"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/3-540-56039-4_53","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1992]]}}}