{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:23:00Z","timestamp":1725664980380},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540617563"},{"type":"electronic","value":"9783540706540"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61756-6_103","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:21:07Z","timestamp":1330276867000},"page":"454-468","source":"Crossref","is-referenced-by-count":0,"title":["The LOL deductive database programming language (extended abstract)"],"prefix":"10.1007","author":[{"given":"Mengchi","family":"Liu","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,7]]},"reference":[{"issue":"1","key":"31_CR1","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/103140.103141","volume":"16","author":"S. Abiteboul","year":"1991","unstructured":"S. Abiteboul and S. Grumbach. COL: A logic-based language for complex objects. ACM TODS, 16(1):1\u201330, 1991.","journal-title":"ACM TODS"},{"key":"31_CR2","doi-asserted-by":"crossref","unstructured":"S. Abiteboul and P. C. Kanellakis. Object identity as a query language primitive. In Proc. ACM SIGMOD Intl. Conf. on Management of Data, pages 159\u2013173, 1989.","DOI":"10.1145\/67544.66941"},{"key":"31_CR3","doi-asserted-by":"crossref","unstructured":"K.R. Apt, H.A. Blair, and A. Walker. Towards a theory of declarative knowledge. In J. Minker, editor, Foundation of Deductive Databases and Logic Programming, pages 89\u2013148. Morgan Kaufmann Publishers, 1988.","DOI":"10.1016\/B978-0-934613-40-8.50006-3"},{"key":"31_CR4","doi-asserted-by":"crossref","first-page":"326","DOI":"10.1016\/0022-0000(89)90005-6","volume":"38","author":"F. Bancilhon","year":"1989","unstructured":"F. Bancilhon and S. Khoshafian. A calculus for complex objects. J. Computer and System Sciences, 38:326\u2013340, 1989.","journal-title":"J. Computer and System Sciences"},{"key":"31_CR5","first-page":"405","volume-title":"Deductive and Object-Oriented Databases","author":"C. Beeri","year":"1989","unstructured":"C. Beeri. Formal models for object-oriented databases. In W. Kim, J.M. Nicolas, and S. Nishio, editors, Deductive and Object-Oriented Databases, pages 405\u2013430, Kyoto, Japan, December 1989. North-Holland."},{"issue":"3","key":"31_CR6","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1016\/0743-1066(91)90036-O","volume":"10","author":"C. Beeri","year":"1991","unstructured":"C. Beeri, S. Naqvi, O. Shmueli, and S. Tsur. Set construction in a logic database language. J. Logic Programming, 10(3,4):181\u2013232, April\/May 1991.","journal-title":"J. Logic Programming"},{"key":"31_CR7","doi-asserted-by":"crossref","first-page":"170","DOI":"10.1016\/0022-0000(91)90035-4","volume":"43","author":"O. P. Buneman","year":"1991","unstructured":"O. P. Buneman, S. B. Davidson, and A. Watters. A semantics for complex objects and approximate answers. J. Computer and System Sciences, 43:170\u2013218, 1991.","journal-title":"J. Computer and System Sciences"},{"key":"31_CR8","doi-asserted-by":"crossref","unstructured":"F. Cacace, S. Ceri, S. Crepi-Reghizzi, L. Tanca, and R. Zicari. Integrating object-oriented data modelling with a rule-based programming paradigm. In Proc. Intl. Conf. on Very Large Data Bases, pages 251\u2013261, 1990.","DOI":"10.1145\/93597.98732"},{"key":"31_CR9","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1007\/3-540-13346-1_2","volume":"173","author":"L. Cardelli","year":"1984","unstructured":"L. Cardelli. A semantics of multiple inheritance. In Proc. Intl. Symp. on Semantics of Data Types, pages 51\u201367. Springer-Verlag Lecture Notes in Computer Science 173, June 1984.","journal-title":"Springer-Verlag Lecture Notes in Computer Science"},{"key":"31_CR10","doi-asserted-by":"crossref","unstructured":"S. Ceri, G. Gottlob, and T. Tanca. Logic Programming and Databases. Springer-Verlag, 1990.","DOI":"10.1007\/978-3-642-83952-8"},{"issue":"1","key":"31_CR11","first-page":"48","volume":"5","author":"D. H. Fishman","year":"1987","unstructured":"D. H. Fishman, B. B., H. P. Cate, E. C. Chow, T. Connors, J. W. Davis, N. Derrett, C. G. Hoch, W. Kent, P. Lyngbaek, B. Mahbod, M. A. Neimat, T. A. Ryan, and M. C. Shan. Iris: An object-oriented database management system. ACM Trans. on Office Information Systems, 5(1):48\u201369, January 1987.","journal-title":"ACM Trans. on Office Information Systems"},{"key":"31_CR12","doi-asserted-by":"crossref","unstructured":"B. C. Housel, V. Waddle, and S. B. Yao. The functional dependency model for logical database design. In Proc. Intl. Conf. on Very Large Data Bases, 1979.","DOI":"10.1109\/VLDB.1979.718135"},{"key":"31_CR13","doi-asserted-by":"crossref","first-page":"741","DOI":"10.1145\/210332.210335","volume":"42","author":"M. Kifer","year":"1995","unstructured":"M. Kifer, G. Lausen, and J. Wu. Logical foundations of object-oriented and frame-based languages. Journal of ACM, 42:741\u2013843, 1995.","journal-title":"Journal of ACM"},{"key":"31_CR14","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1016\/0022-0000(93)90021-N","volume":"47","author":"M. Kifer","year":"1993","unstructured":"M. Kifer and J. Wu. A logic for programming with complex objects. J. Computer and System Sciences, 47:77\u2013120, 1993.","journal-title":"J. Computer and System Sciences"},{"key":"31_CR15","unstructured":"W. Kim. A model of queries for object-oriented databases. In Proc. Intl. Conf. on Very Large Data Bases, Amsterdam, The Netherlands, 1989."},{"key":"31_CR16","doi-asserted-by":"crossref","first-page":"44","DOI":"10.1016\/0022-0000(90)90033-H","volume":"41","author":"G. M. Kuper","year":"1990","unstructured":"G. M. Kuper. Logic programming with sets. J. Computer and System Sciences, 41:44\u201364, 1990.","journal-title":"J. Computer and System Sciences"},{"key":"31_CR17","unstructured":"C. Lecluse and P. Richard. The O 2 database programming language. In Proc. Intl. Conf. on Very Large Data Bases, pages 411\u2013422, Amsterdam, The Netherlands, 1989."},{"key":"31_CR18","first-page":"83","volume-title":"Proc. Intl. Logic Programming Symp.","author":"M. Liu","year":"1995","unstructured":"M. Liu. Relationlog: A typed extension to datalog with sets and tuples (extended abstract). In Proc. Intl. Logic Programming Symp., pages 83\u201397, Portland, Oregon, U.S.A., December 1995. MIT Press."},{"key":"31_CR19","doi-asserted-by":"crossref","unstructured":"M. Liu. ROL: A deductive object base language. To Appear in Information Systems, 1996.","DOI":"10.1016\/0306-4379(96)84500-5"},{"key":"31_CR20","doi-asserted-by":"crossref","unstructured":"J.W. Lloyd. Foundations of Logic Programming. Springer-Verlag, 2 edition, 1987.","DOI":"10.1007\/978-3-642-83189-8"},{"key":"31_CR21","volume-title":"Technical Report CS\/E-86-012","author":"D. Maier","year":"1986","unstructured":"D. Maier. A logic for objects. Technical Report CS\/E-86-012, Oregon Graduate Center, Beaverton, Oregon, 1986."},{"key":"31_CR22","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1016\/0304-3975(90)90012-7","volume":"76","author":"A. Ohori","year":"1990","unstructured":"A. Ohori. Semantics of types for database objects. Theoretical Computer Science, 76:53\u201391, 1990.","journal-title":"Theoretical Computer Science"},{"key":"31_CR23","unstructured":"F. Pfenning, editor. Types in Logic Programming. MIT Press., 1992."},{"key":"31_CR24","unstructured":"R. Ramakrishnan, D. Srivastava, and S. Sudarshan. CORAL: Control, relations and logic. In Proc. Intl. Conf. on Very Large Data Bases, pages 238\u2013250, 1992."},{"issue":"4","key":"31_CR25","first-page":"297","volume":"4","author":"D. W. Shipman","year":"1979","unstructured":"D. W. Shipman. The functional extending the database relational model to capture more meaning. ACM Trans. on Database Systems, 4(4):297\u2013434, December 1979.","journal-title":"ACM Trans. on Database Systems"},{"key":"31_CR26","doi-asserted-by":"crossref","unstructured":"J. Ullman. A comparison between deductive and object-oriented databases systems. In C. Delobel, M. Kifer, and Y. Masunaga, editors, Deductive and Object-Oriented Databases, pages 263\u2013277, Munich, Germany, December 1991. Springer-Verlag Lecture Notes in Computer Science 566.","DOI":"10.1007\/3-540-55015-1_14"},{"key":"31_CR27","unstructured":"J.D. Ullman. Principles of Database and Knowledge-Base Systems, volume 1. Computer Science Press, 1988."}],"container-title":["Lecture Notes in Computer Science","Programming Languages: Implementations, Logics, and Programs"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61756-6_103.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T16:10:16Z","timestamp":1605629416000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61756-6_103"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540617563","9783540706540"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/3-540-61756-6_103","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}