{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T23:45:52Z","timestamp":1742946352960,"version":"3.40.3"},"publisher-location":"London","reference-count":21,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9783540760146"},{"type":"electronic","value":"9781447114864"}],"license":[{"start":{"date-parts":[[1996,1,1]],"date-time":"1996-01-01T00:00:00Z","timestamp":820454400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1996,1,1]],"date-time":"1996-01-01T00:00:00Z","timestamp":820454400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/978-1-4471-1486-4_28","type":"book-chapter","created":{"date-parts":[[2011,12,16]],"date-time":"2011-12-16T22:24:09Z","timestamp":1324074249000},"page":"459-478","source":"Crossref","is-referenced-by-count":1,"title":["A Deductive Object-Oriented Approach to Information System Modeling"],"prefix":"10.1007","author":[{"given":"Mihhail","family":"Matskin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hele-Mai","family":"Haav","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"28_CR1","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1145\/170036.170044","volume":"5","author":"S Abiteboul","year":"1993","unstructured":"S. Abiteboul, G. Lausen, H. Uphoff, and E. Waller, Methods and Rules, ACM SIGMOD, 5:32\u201341, 1993.","journal-title":"ACM SIGMOD"},{"key":"28_CR2","unstructured":"E. Bertino, G. Gerrini, Deductive Object Bases, Proc of 8th European Conference, ECOOP\u201994, Springer-Verlag, LNCS,821, pages 213\u2013236, 1994."},{"issue":"4","key":"28_CR3","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1016\/0169-023X(90)90017-8","volume":"5","author":"F Bry","year":"1990","unstructured":"F. Bry, Query evaluation in recursive databases: bottom-up and top-down reconciled, Data & Knowledge Engineering, October, 5(4):289\u2013312, 1990.","journal-title":"Data & Knowledge Engineering"},{"key":"28_CR4","first-page":"3","volume-title":"Proc. of the 17th Int. Conference on Very Large Data Bases","author":"M Bouzeghoub","year":"1991","unstructured":"M. Bouzeghoub, E. Metais, Semantic Modeling of Object Oriented Databases, Proc. of the 17th Int. Conference on Very Large Data Bases, Barcelona, September, pages 3\u20134, 1991."},{"issue":"1","key":"28_CR5","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1145\/321992.321996","volume":"24","author":"RM Burstall","year":"1977","unstructured":"R. M. Burstall, J. Darlington, Some transformations for developing recursive programs, Journal of ACM, 24(1):44\u201367, 1977.","journal-title":"Journal of ACM"},{"key":"28_CR6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-83952-8","volume-title":"Logic Programming and Databases","author":"S Ceri","year":"1990","unstructured":"S. Ceri, G. Gottlob, and L. Tanca, Logic Programming and Databases, Springer-Verlag, Berlin, 1990."},{"issue":"4","key":"28_CR7","doi-asserted-by":"publisher","first-page":"344","DOI":"10.1109\/69.149930","volume":"4","author":"S Greco","year":"1992","unstructured":"S. Greco, N. Leone, and P. Rullo, COMPLEX: An Object-Oriented Logic Programming System, IEEE Transactions on Knowledge and Data Engineering, 4(4):344\u2013359,1992.","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"key":"28_CR8","unstructured":"H-M. Haav, M. Matskin, Using Partial Deduction for Automatic Propagation of Changes in OODB, Eds. H. Kangassalo et al. Information Modelling and Knowledge Bases IV: Foundations, Theory and Applications, IOS Press, Amsterdam, 339\u2013352."},{"key":"28_CR9","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1007\/978-1-4471-3577-7_11","volume-title":"Proc. of the Second International East\/West Database Workshop","author":"H-M Haav","year":"1995","unstructured":"H-M. Haav, A Meta-Language for Specification of Evolving Class and Object Lattices in OODB, In: J. Eder and L.A. Kalinichenko (Eds.) Proc. of the Second International East\/West Database Workshop, Springer, pages 147\u2013159, 1995."},{"key":"28_CR10","doi-asserted-by":"publisher","first-page":"228","DOI":"10.1109\/ICCL.1990.63778","volume-title":"Proc. 1990 Int. Conf. on Comp. Lang.","author":"MH Ibrahim","year":"1990","unstructured":"M. H. Ibrahim, F. A. Cummins, KSL\/Logic: Integration of Logic with Objects, Proc. 1990 Int. Conf. on Comp. Lang., New Orleans, March 1990, Los Alamitos, CA: IEEE Comp. Soc. Press, pages 228\u201335, 1990."},{"key":"28_CR11","volume-title":"Proc. of the 2nd Int. Conf. on Deductive and Object-Oriented Databases","author":"M Jeusfeld","year":"1991","unstructured":"M. Jeusfeld, M. Jarke, From relational to object-oriented integrity simplification, Proc. of the 2nd Int. Conf. on Deductive and Object-Oriented Databases, Munich, Dec, 1991."},{"key":"28_CR12","doi-asserted-by":"publisher","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, Journal of Computer and Systems Sciences, 47:77\u2013120, 1993.","journal-title":"Journal of Computer and Systems Sciences"},{"key":"28_CR13","unstructured":"M. Kifer, G. Lausen, and J. Wu, Logical Foundations of Object-Oriented and Frame-Based Languages. Technical Report 93\/06, Department of Computer Science, University at Stony Brook, April, 1993."},{"issue":"18","key":"28_CR14","doi-asserted-by":"crossref","first-page":"41","DOI":"10.3233\/FI-1993-18104","volume":"1","author":"J Komorowski","year":"1993","unstructured":"J. Komorowski, A Prolegomenon to Partial Deduction, Fundamenta Informaticae, 1(18):41\u201364, 1993.","journal-title":"Fundamenta Informaticae"},{"key":"28_CR15","unstructured":"LOGIDATA+:Deductive Databases with Complex Objects, P. Atzeni (Ed.), Springer-Verlag, LNCS, 701, 1993."},{"issue":"10","key":"28_CR16","doi-asserted-by":"publisher","first-page":"94","DOI":"10.1145\/125223.125266","volume":"34","author":"GM Lohman","year":"1991","unstructured":"G. M. Lohman, B. Lindsay, H. Pirahesh, and K. B. Schiefer, Extensions to Starburst: Objects, Types, Functions and Rules, Communications of ACM, 34(10):94\u2013110, 1991.","journal-title":"Communications of ACM"},{"key":"28_CR17","unstructured":"M. Matskin, J. Komorowski, Partial Deduction and Manipulation of Classes and Objects in an Object-Oriented Environment, Proceedings of the First Compulog-Network Workshop on Programming Languages in Computational Logic, Pisa, Italy, April 6\u20137, page 3, 1992."},{"key":"28_CR18","volume-title":"Prolog++. The Power of Object-Oriented and Logic Programming","author":"C Moss","year":"1994","unstructured":"C. Moss, Prolog++. The Power of Object-Oriented and Logic Programming, Addison-Wesley, 1994."},{"key":"28_CR19","first-page":"159","volume-title":"Proc. of EDBT\u201994, Springer-Verlag, LNCS","author":"I Petrounias","year":"1994","unstructured":"I. Petrounias, P. Loucopoulos, A Rule-Based Approach for the Design and Implementation of Information Systems, Proc. of EDBT\u201994, Springer-Verlag, LNCS 779, pages 159\u2013172, 1994."},{"key":"28_CR20","first-page":"521","volume":"6","author":"E Tyugu","year":"1986","unstructured":"E. Tyugu, M. Matskin, J. Penjam, and P. Eomois, NUT \u2014 an Object-Oriented Language, Computer Science and Artificial Intelligence, 6:521\u2013542, 1986.","journal-title":"Computer Science and Artificial Intelligence"},{"issue":"10","key":"28_CR21","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1145\/125223.125262","volume":"34","author":"M Stonebraker","year":"1991","unstructured":"M. Stonebraker, G. Kemnitz, The POSTGRES Next Generation Database Management System, Communications of ACM, 34(10):78\u201394, 1991.","journal-title":"Communications of ACM"}],"container-title":["Workshops in Computing","Advances in Databases and Information Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-1486-4_28","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,9]],"date-time":"2023-02-09T06:55:33Z","timestamp":1675925733000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-1-4471-1486-4_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540760146","9781447114864"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-1486-4_28","relation":{},"ISSN":["1431-1682"],"issn-type":[{"type":"print","value":"1431-1682"}],"subject":[],"published":{"date-parts":[[1996]]}}}