{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,6]],"date-time":"2025-06-06T14:49:03Z","timestamp":1749221343045,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":30,"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_23","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T13:08:00Z","timestamp":1330261680000},"page":"340-359","source":"Crossref","is-referenced-by-count":7,"title":["A deductive and typed object-oriented language"],"prefix":"10.1007","author":[{"given":"Ren\u00e9","family":"Bal","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Herman","family":"Balsters","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,27]]},"reference":[{"key":"23_CR1","first-page":"159","volume-title":"Object identity as a query language primitive","author":"S. Abiteboul","year":"1989","unstructured":"S. Abiteboul & P. C. Kanellakis, \u201cObject identity as a query language primitive,\u201d in Proceedings of ACM-SIGMOD 1989 International Conference on Management of Data, Portland, OR, May 31\u2013June 2, 1989, J. Clifford, B. Lindsay & D. Maier, eds., ACM Press, New York, NY, 1989, 159\u2013173, (also appeared as SIGMOD RECORD, 18, 2, June, 1989)."},{"key":"23_CR2","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1016\/0169-023X(90)90016-7","volume":"5","author":"S. Abiteboul","year":"1990","unstructured":"S. Abiteboul, \u201cTowards a deductive object-oriented database language,\u201d Data & Knowledge Engineering 5 (1990), 263\u2013287.","journal-title":"Data & Knowledge Engineering"},{"key":"23_CR3","series-title":"Lecture Notes in Computer Science 303","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1007\/3-540-19074-0_58","volume-title":"Advances in Database Technology \u2014 EDBT'88","author":"S. Abiteboul","year":"1988","unstructured":"S. Abiteboul & S. Grumbach, \u201cCOL: A Logic-based Language for Complex Objects,\u201d in Advances in Database Technology \u2014 EDBT'88, J. W. Schmidt, S. Ceri & M. Missikoff, eds., Springer-Verlag, New York-Heidelberg-Berlin, 1988, 271\u2013293, Lecture Notes in Computer Science 303."},{"key":"23_CR4","series-title":"Lecture Notes in Computer Science # 504","doi-asserted-by":"crossref","first-page":"42","DOI":"10.1007\/3-540-54141-1_4","volume-title":"Next Generation Information System Technology","author":"H. A\u00eft-Kaci","year":"1991","unstructured":"H. A\u00eft-Kaci, \u201cAn overview of LIFE,\u201d in Next Generation Information System Technology, J. W. Schmidt & A. A. Stogny, eds., Proceedings of the First International East\/West Data Base Workshop, Kiev, USSR, October 1990, Springer-Verlag, New York-Heidelberg-Berlin, 1991, 42\u201358, Lecture Notes in Computer Science # 504."},{"key":"23_CR5","unstructured":"R. Bal, \u201cDataTypeLog a deductive object-oriented query language,\u201d University of Twente, Technical Report INF92-79, Enschede, 1992."},{"key":"23_CR6","doi-asserted-by":"crossref","unstructured":"R. Bal & H. Balsters, \u201cDTL: A deductive and typed object-oriented language,\u201d Universiteit Twente, INF93-41, Enschede, The Netherlands, 1993.","DOI":"10.1007\/3-540-57530-8_23"},{"key":"23_CR7","unstructured":"R. Bal, H. Balsters & R. A. de By, \u201cThe TM typing rules,\u201d University of Twente, Technical Report INF92-80, Enschede, 1992."},{"key":"23_CR8","doi-asserted-by":"crossref","unstructured":"H. Balsters, R. A. de By & R. Zicari, \u201cTyped sets as a basis for object-oriented database scheraas,\u201d in ECOOP 1993 Kaiserslautern, 1993.","DOI":"10.1007\/3-540-47910-4_10"},{"key":"23_CR9","volume-title":"technical report INF92-81","author":"H. Balsters","year":"1992","unstructured":"H. Balsters, R. A. de By & C. C. de Vreeze, \u201cThe TM Manual,\u201d University of Twente, technical report INF92-81, Enschede, 1992."},{"key":"23_CR10","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1016\/S0304-3975(06)80005-8","volume":"87","author":"H. Balsters","year":"1991","unstructured":"H. Balsters & M. M. Fokkinga, \u201cSubtyping can have a simple semantics,\u201d Theoretical Computer Science 87 (September, 1991), 81\u201396.","journal-title":"Theoretical Computer Science"},{"key":"23_CR11","first-page":"201","volume-title":"A semantics of object-oriented sets","author":"H. Balsters","year":"1991","unstructured":"H. Balsters & C. C. de Vreeze, \u201cA semantics of object-oriented sets,\u201d in The Third International Workshop on Database Programming Languages: Bulk Types & Persistent Data (DBPL-3), August 27\u201330, 1991, Nafplion, Greece, P. Kanellakis & J. W. Schmidt, eds., Morgan Kaufmann Publishers, San Mateo, CA, 1991, 201\u2013217."},{"key":"23_CR12","unstructured":"A. Brogi, E. Lamma & P. Mello, \u201cInheritance and hypothetical reasoning in logic programming,\u201d in Ninth European Conference on Artificial Intelligence, L. C. Aiello, ed., Stockholm, Sweden, 1990, 105\u2013110."},{"key":"23_CR13","first-page":"225","volume-title":"Integrating object-oriented data modeling with a rule-based programming paradigm","author":"F. Cacace","year":"1990","unstructured":"F. Cacace, S. Ceri, S. Crespi-Reghizzi, L. Tanca & R. Zicari, \u201cIntegrating object-oriented data modeling with a rule-based programming paradigm,\u201d in Proceedings of ACM-SIGMOD 1990 International Conference on Management of Data, Atlantic City, NJ, May 23\u201325, 1990, H. Garcia-Molina & H. V. Jagadish, eds., ACM Press, New York, NY, 1990, 225\u2013236, (also appeared as SIGMOD RECORD, 19, 2, June, 1990)."},{"key":"23_CR14","doi-asserted-by":"crossref","first-page":"471","DOI":"10.1145\/6041.6042","volume":"17","author":"L. Cardelli","year":"1985","unstructured":"L. Cardelli & P. Wegner, \u201cOn understanding types, data abstraction, and polymorphism,\u201d Computing Surveys 17 (1985), 471\u2013522.","journal-title":"Computing Surveys"},{"key":"23_CR15","series-title":"Lecture Notes in Computer Science #173","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1007\/3-540-13346-1_2","volume-title":"Semantics of Data Types","author":"L. Cardelli","year":"1984","unstructured":"L. Cardelli, \u201cA semantics of multiple inheritance,\u201d in Semantics of Data Types, G. Kahn, D. B. Macqueen & G. Plotkin, eds., Lecture Notes in Computer Science #173, Springer-Verlag, New York-Heidelberg-Berlin, 1984, 51\u201367."},{"key":"23_CR16","series-title":"Lecture Notes in Computer Science 303","first-page":"1","volume-title":"Advances in Database Technology\u2014EDBT '88","author":"L. Cardelli","year":"1988","unstructured":"L. Cardelli, \u201cTypes for data-oriented languages,\u201d in Advances in Database Technology\u2014EDBT '88, J. W. Schmidt, S. Ceri & M. Missikoff, eds., Springer-Verlag, New York-Heidelberg-Berlin, 1988, 1\u201315, Lecture Notes in Computer Science 303."},{"key":"23_CR17","volume-title":"Surveys in Computer Science","author":"S. Ceri","year":"1990","unstructured":"S. Ceri, G. Gottlob & L. Tanca, Logic Programming and Databases, Surveys in Computer Science, Springer-Verlag, New York-Heidelberg-Berlin, 1990."},{"key":"23_CR18","doi-asserted-by":"crossref","first-page":"344","DOI":"10.1109\/69.149930","volume":"4","author":"S. Greco","year":"1992","unstructured":"S. Greco, N. Leone & P. Rullo, \u201cCOMPLEX: An Object-Oriented Logical Programming System,\u201d IEEE Transactions on Knowledge and Data Engineering 4 (august 1992), 344\u2013359.","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"key":"23_CR19","first-page":"455","volume-title":"ILOG: Declaritive Creation and Manipulation of Object Identifiers","author":"R. Hull","year":"1990","unstructured":"R. Hull & M. Yoshikawa, \u201cILOG: Declaritive Creation and Manipulation of Object Identifiers,\u201d in Proceedings Sixth International Conference on Data Engineering, Los Angeles, CA, February 5\u20139, 1990, IEEE Computer Society Press, Washington, DC, 1990, 455\u2013468."},{"key":"23_CR20","doi-asserted-by":"crossref","unstructured":"M. H. Ibrahim & F. A. Cummins, \u201cObjects with logic,\u201d in AMC 18th Annual Computer Science Conference, Washington DC, 1990, 128\u2013133.","DOI":"10.1145\/100348.100368"},{"key":"23_CR21","volume-title":"Logical Foundations of Object-Oriented and Frame-Based Languages","author":"M. Kifer","year":"1990","unstructured":"M. Kifer, G. Lausen & J. Wu, \u201cLogical Foundations of Object-Oriented and Frame-Based Languages,\u201d Dept. Comp. Sc. State University of New York at Stony Brook, 90\/14, Stony Brook, 1990."},{"key":"23_CR22","doi-asserted-by":"crossref","unstructured":"C. L\u00e9cluse & P. Richard, \u201cModeling Complex Structures in Object-Oriented Databases,\u201d in ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, 1989, 360\u2013368.","DOI":"10.1145\/73721.73756"},{"key":"23_CR23","volume-title":"Symbolic Computation","author":"J. W. Lloyd","year":"1987","unstructured":"J. W. Lloyd, Foundations of Logic Programming, Symbolic Computation, Springer-Verlag, New York-Heidelberg-Berlin, 1987."},{"key":"23_CR24","first-page":"198","volume-title":"LLO: A Deductive Language with Methods and Method Inheritance","author":"Y. Lou","year":"1991","unstructured":"Y. Lou & M. Ozsoyoglu, \u201cLLO: A Deductive Language with Methods and Method Inheritance,\u201d in Proceedings of ACM-SIGMOD 1991 International Conference on Management of Data, Denver, CO, May 29\u201331, 1991, J. Clifford & R. King, eds., ACM Press, New York, NY, 1991, 198\u2013207, (also appeared as SIGMOD RECORD, 20, 2, June, 1991)."},{"key":"23_CR25","first-page":"132","volume-title":"Mapping a semantic database model to the relational model","author":"P. Lyngbaek","year":"1987","unstructured":"P. Lyngbaek & V. Vianu, \u201cMapping a semantic database model to the relational model,\u201d in Proceedings of ACM-SIGMOD 1987 International Conference on Management of Data, San Francisco, CA, May 27\u201329, 1987, U. Dayal & I. Traiger, eds., ACM Press, New York, NY, 1987, 132\u2013142, (also appeared as SIGMOD RECORD 16, 3, December, 1987)."},{"key":"23_CR26","volume-title":"International Series in Computer Science","author":"F. G. McCabe","year":"1992","unstructured":"F. G. McCabe, Logic and Objects, International Series in Computer Science, Prentice-Hall International, London, England, 1992."},{"key":"23_CR27","first-page":"481","volume-title":"A transformational view of inheritance in logic programming","author":"L. Monteiro","year":"1990","unstructured":"L. Monteiro & A. Porto, \u201cA transformational view of inheritance in logic programming,\u201d in Seventh International Conference on Logic Programming, D. H. D. Warren & P. Szeredi, eds., MIT Press, Cambridge, MA, 1990, 481\u2013494."},{"key":"23_CR28","volume-title":"Principles of Computer Science","author":"S. Naqvi","year":"1989","unstructured":"S. Naqvi & S. Tsur, A Logical Language for Data and Knowledge Bases, Principles of Computer Science, Computer Science Press, Rockville, MD, 1989, 288 pp."},{"key":"23_CR29","first-page":"46","volume-title":"Database programming in Machiavellia polymorphic language with static type inference","author":"A. Ohori","year":"1989","unstructured":"A. Ohori, P. Buneman & V. Breazu-Tannen, \u201cDatabase programming in Machiavellia polymorphic language with static type inference,\u201d in Proceedings of ACM-SIGMOD 1989 International Conference on Management of Data, Portland, OR, May 31\u2013June 2, 1989, J. Clifford, B. Lindsay & D. Maier, eds., ACM Press, New York, NY, 1989, 46\u201357, (also appeared as SIGMOD RECORD, 18, 2, June, 1989)."},{"key":"23_CR30","series-title":"Lecture Notes in Computer Science #185","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1007\/3-540-15198-2_7","volume-title":"Mathematical Foundations of Software Development","author":"J. C. Reynolds","year":"1985","unstructured":"J. C. Reynolds, \u201cThree Approaches to Type Structure,\u201d in Mathematical Foundations of Software Development, H. Ehrig et al., ed., Lecture Notes in Computer Science #185, Springer-Verlag, New York-Heidelberg-Berlin, 1985, 97\u2013138."}],"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_23.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T22:11:43Z","timestamp":1742595103000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-57530-8_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540575306","9783540482123"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/3-540-57530-8_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}