{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,4]],"date-time":"2025-07-04T13:04:36Z","timestamp":1751634276316},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540575306"},{"type":"electronic","value":"9783540482123"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-57530-8_14","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T13:07:38Z","timestamp":1330261658000},"page":"222-235","source":"Crossref","is-referenced-by-count":4,"title":["IsaLog\u00ac: A deductive language with negation for complex-object databases with hierarchies"],"prefix":"10.1007","author":[{"given":"Paolo","family":"Atzeni","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luca","family":"Cabibbo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Giansalvatore","family":"Mecca","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,27]]},"reference":[{"key":"14_CR1","doi-asserted-by":"crossref","unstructured":"S. Abiteboul and A. Bonner. Objects and views. In ACM SIGMOD International Conf. on Management of Data, pages 238\u2013247, 1991.","DOI":"10.1145\/115790.115830"},{"key":"14_CR2","doi-asserted-by":"crossref","unstructured":"S. Abiteboul and P. Kanellakis. Object identity as a query language primitive. In ACM SIGMOD International Conf. on Management of Data, pages 159\u2013173, 1989.","DOI":"10.1145\/67544.66941"},{"key":"14_CR3","doi-asserted-by":"crossref","first-page":"185","DOI":"10.1016\/0743-1066(86)90013-0","volume":"3","author":"H. A\u00eft-Kaci","year":"1986","unstructured":"H. A\u00eft-Kaci and R. Nasr. LOGIN a logic programming language with built-in inheritance. Journal of Logic Programming, 3:185\u2013215, 1986.","journal-title":"Journal of Logic Programming"},{"key":"14_CR4","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1016\/B978-0-934613-40-8.50006-3","volume-title":"Foundations of Deductive Databases and Logic Programming","author":"K. Apt","year":"1988","unstructured":"K. Apt, H. Blair, and A. Walker. Toward a theory of declarative knowledge. In J. Minker, editor, Foundations of Deductive Databases and Logic Programming, pages 89\u2013148. Morgan Kauffman, Los Altos, 1988."},{"key":"14_CR5","doi-asserted-by":"crossref","unstructured":"P. Atzeni, L. Cabibbo, and G. Mecca. IsaLog: A declarative language for complex objects with hierarchies. In Ninth IEEE International Conference on Data Engineering, Vienna, 1993.","DOI":"10.1109\/ICDE.1993.344060"},{"key":"14_CR6","doi-asserted-by":"crossref","unstructured":"P. Atzeni, L. Cabibbo, and G. Mecca. IsaLog \u00ac: a deductive language with negation for complex-objects databases with hierarchies. Technical report, Dipartimento di Informatica e Sistemistica, Universit\u00e0 di Roma \u201cLa Sapienza\u201d, 1993.","DOI":"10.1007\/3-540-57530-8_14"},{"key":"14_CR7","doi-asserted-by":"crossref","unstructured":"P. Atzeni and L. Tanca. The LOGIDATA+ model and language. In Next Generation Information Systems Technology, Lecture Notes in Computer Science 504. Springer-Verlag, 1991.","DOI":"10.1007\/3-540-54141-1_16"},{"key":"14_CR8","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1016\/0169-023X(90)90020-E","volume":"5","author":"C. Beeri","year":"1990","unstructured":"C. Beeri. A formal approach to object-oriented databases. Data and Knowledge Engineering, 5:353\u2013382, 1990.","journal-title":"Data and Knowledge Engineering"},{"key":"14_CR9","doi-asserted-by":"crossref","unstructured":"F. Cacace, S. Ceri, S. Crespi-Reghizzi, L. Tanca, and R. Zicari. Integrating object oriented data modelling with a rule-based programming paradigm. In ACM SIGMOD International Conf. on Management of Data, pages 225\u2013236, 1990.","DOI":"10.1145\/93597.98732"},{"issue":"2","key":"14_CR10","doi-asserted-by":"crossref","first-page":"138","DOI":"10.1016\/0890-5401(88)90007-7","volume":"76","author":"L. Cardelli","year":"1988","unstructured":"L. Cardelli. A semantics of multiple inheritance. Information and Computation, 76(2):138\u2013164, 1988.","journal-title":"Information and Computation"},{"key":"14_CR11","doi-asserted-by":"crossref","unstructured":"S. Ceri, G. Gottlob, and L. Tanca. Logic Programming and Data Bases. Springer-Verlag, 1989.","DOI":"10.1007\/978-3-642-83952-8"},{"key":"14_CR12","doi-asserted-by":"crossref","unstructured":"W. Chen and D.S. Warren. C-logic for complex objects. In Eigth ACM SIGACT SIGMOD SIGART Symp. on Principles of Database Systems, pages 369\u2013378, 1989.","DOI":"10.1145\/73721.73757"},{"key":"14_CR13","unstructured":"R. Hull and M. Yoshikawa. ILOG: Declarative creation and manipulation of object identifiers. In Sixteenth International Conference on Very Large Data Bases, Brisbane, pages 455\u2013468, 1990."},{"key":"14_CR14","doi-asserted-by":"crossref","unstructured":"M. Kifer, W. Kim, and Y. Sagiv. Querying object-oriented databases. In ACM SIGMOD International Conf. on Management of Data, pages 393\u2013402, 1992.","DOI":"10.1145\/130283.130342"},{"key":"14_CR15","doi-asserted-by":"crossref","unstructured":"M. Kifer and G. Lausen. F-logic: A higher order language for reasoning about objects, inheritance and scheme. In ACM SIGMOD International Conf. on Management of Data, pages 134\u2013146, 1989.","DOI":"10.1145\/67544.66939"},{"key":"14_CR16","doi-asserted-by":"crossref","unstructured":"M. Kifer and J. Wu. A logic for object-oriented logic programming (Maier's O-logic revisited). In Eigth ACM SIGACT SIGMOD SIGART Symp. on Principles of Database Systems, pages 379\u2013393, 1989.","DOI":"10.1145\/73721.73758"},{"key":"14_CR17","unstructured":"D. Maier. A logic for objects. In Workshop on Foundations of Deductive Database and Logic Programming (Washington, D.C. 1986), pages 6\u201326, 1986."}],"container-title":["Lecture Notes in Computer Science","Deductive and Object-Oriented Databases"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-57530-8_14.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:12:52Z","timestamp":1605647572000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-57530-8_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540575306","9783540482123"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-57530-8_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}