{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T12:45:44Z","timestamp":1725713144824},"publisher-location":"London","reference-count":23,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9783540198031"},{"type":"electronic","value":"9781447135548"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/978-1-4471-3554-8_4","type":"book-chapter","created":{"date-parts":[[2013,1,17]],"date-time":"2013-01-17T09:34:10Z","timestamp":1358415250000},"page":"48-60","source":"Crossref","is-referenced-by-count":0,"title":["Specifying Semantics of Evolution in Object-Oriented Databases Using Partial Deduction"],"prefix":"10.1007","author":[{"given":"Hele-Mai","family":"Haav","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4_CR1","doi-asserted-by":"publisher","first-page":"417","DOI":"10.1145\/111197.111205","volume":"16","author":"E Sciore","year":"1991","unstructured":"Sciore E. Using Annotations to Support Multiple Kinds of Versioning in an Object-Oriented Database System. ACM Transactions on Database Systems, 1991, 16: 417\u2013438","journal-title":"ACM Transactions on Database Systems"},{"key":"4_CR2","doi-asserted-by":"publisher","first-page":"451","DOI":"10.1016\/0169-023X(91)90023-Q","volume":"6","author":"G Ariav","year":"1991","unstructured":"Ariav G. Temporally oriented data definitions: Managing schema evolution in temporally oriented databases. Data & Knowledge Engineering 1991, 6: 451\u2013467","journal-title":"Data & Knowledge Engineering"},{"key":"4_CR3","unstructured":"Jungclaus R, Saake G, Hartmann T, Semadas C. Object-Oriented Specification of Information Systems: the TROLL Language, Braunschweig, 1991"},{"key":"4_CR4","first-page":"1991","volume-title":"Proceedings of Int Workshop on the Specification of Database Systems, Glasgow","author":"G Saake","year":"1991","unstructured":"Saake G, Jungclaus R. Specification of Database Applications in the TROLL Language, In: Proceedings of Int Workshop on the Specification of Database Systems, Glasgow, 1991, Springer-Verlag, London, 1991"},{"key":"4_CR5","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1016\/0169-023X(90)90016-7","volume":"5","author":"S Abiteboul","year":"1990","unstructured":"Abiteboul S. Towards a deductive object-oriented database language. Data & Knowledge Engineering 1990, 5: 263\u2013287","journal-title":"Data & Knowledge Engineering"},{"key":"4_CR6","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1016\/0169-023X(89)90003-7","volume":"4","author":"RP Riet","year":"1989","unstructured":"van de Riet R. P. Mokum: An object-oriented active knowledge base system, Data & Knowledge Engineering 1989, 4: 21\u201342","journal-title":"Data & Knowledge Engineering"},{"key":"4_CR7","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1016\/0169-023X(89)90005-0","volume":"4","author":"WD Potter","year":"1989","unstructured":"Potter W. D, Trueblood R. P and Eastman C. M. Hyper-semantic data modeling, Data & Knowledge Engineering 1989, 4: 69\u201390","journal-title":"Data & Knowledge Engineering"},{"key":"4_CR8","unstructured":"Tanca L. (Re-)action in Deductive Databases, In: Proceedings of Second hit. Workshop On Intelligent and Cooperative Information Systems: Core Technology For Next Generation Information Systems, Italy, October 28\u201330, 1991, pp 55\u201361"},{"key":"4_CR9","doi-asserted-by":"publisher","first-page":"94","DOI":"10.1145\/125223.125266","volume":"34","author":"GM Lohman","year":"1991","unstructured":"Lohman G. M, Lindsay B, Pirahesh H, and Schiefer K. B. Extentions to Starburst: Objects, Types, Functions, and Rules. Communications of ACM 1991, 34: 94\u2013110","journal-title":"Communications of ACM"},{"key":"4_CR10","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1016\/0169-023X(89)90004-9","volume":"4","author":"GT Nguyen","year":"1989","unstructured":"Nguyen G. T, Rieu D. Schema evolution in object-oriented database systems. Data & Knowledge Engineering 1989, 4: 43\u201367","journal-title":"Data & Knowledge Engineering"},{"key":"4_CR11","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1007\/BFb0053033","volume-title":"Proceedings of the ECOOP92 European Conference on Object-Oriented Programming","author":"E Casais","year":"1992","unstructured":"Casais E. An Incremental Class Reorganization Approach, In: Madsen L.(ed) Proceedings of the ECOOP\u201992 European Conference on Object-Oriented Programming, The Netherlands, Springer-Verlag, 1992, pp 114\u2013131"},{"key":"4_CR12","first-page":"56","volume-title":"Proceedings of the ACM-SIGMOD Conference","author":"M Caruso","year":"1988","unstructured":"Caruso M. and Sciore E. Meta-Functions and Contexts in an Object-Oriented Database Language. In: Proceedings of the ACM-SIGMOD Conference, Chicago III, June 1988, pp 56\u201368"},{"key":"4_CR13","doi-asserted-by":"crossref","unstructured":"Banerjee J, Kim W, et al., Semantics and Implementation of Schema Evolution in Object-Oriented Databases, In: SIGMOD Record, 1987, 16(3), pp 311\u2013322","DOI":"10.1145\/38714.38748"},{"key":"4_CR14","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1145\/125223.125244","volume":"34","author":"C Lamb","year":"1991","unstructured":"Lamb C, Landis G, Orenstein J, and Weinreb D. The Object Store Database System. Communications of ACM 1991, 34: 50\u201364","journal-title":"Communications of ACM"},{"key":"4_CR15","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1145\/125223.125238","volume":"34","author":"O Deux","year":"1991","unstructured":"Deux O, et al., The 02 System. Communications of ACM 1991, 34: 34\u201350","journal-title":"The 02 System. Communications of ACM"},{"key":"4_CR16","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1145\/125223.125254","volume":"34","author":"P Butterworth","year":"1991","unstructured":"Butterworth P, Otis A, and Stein J. The Gem Stone Object Database Management System. Communications of ACM 1991, 34: 64\u201378","journal-title":"Communications of ACM"},{"key":"4_CR17","unstructured":"Komorowski J. A Specification of an Abstract Prolog Machine and Its Application to Partial Evaluation. PhD thesis, Link\u00f6ping University, Sweden, 1981"},{"key":"4_CR18","first-page":"521","volume":"6","author":"E Tyugu","year":"1986","unstructured":"Tyugu E, Matskin M, Penjam J, Eomois P. NUT-An object-oriented language, Computers and Artificial Intelligence 1986, 6: 521\u2013542","journal-title":"Computers and Artificial Intelligence"},{"key":"4_CR19","unstructured":"Lloyd J. W and Shepherdson J. C. Partial evaluation in logic programming. Technical Report CS-87\u201309, Department of Computer Science, University of Bristol, England, 1987"},{"key":"4_CR20","unstructured":"Komorowski J. Elements of a Programming Methodology Founded on Partial Deduction-Part 1, In: Proceedings of the Fifth International Symposium on Methodologies for Intelligent Systems, Tennessee, 1990, North-Holland, pp 514\u2013521"},{"key":"4_CR21","first-page":"333","volume-title":"Information Modelling and Knowledge Bases III: Foundations, Theory and Applications","author":"HM Haav","year":"1992","unstructured":"Haav H-M. An Object-oriented approach to conceptual data modelling. In: Information Modelling and Knowledge Bases III: Foundations, Theory and Applications, IOS Press, Amsterdam, 1992 pp 333\u2013347"},{"key":"4_CR22","unstructured":"Haav H-M, Matskin M. Using Partial Deduction for automatic propagation of changes in OODB. In: Information Modelling and Knowledge Bases IV: Foundations, Theory and Applications, IOS Press, Amsterdam, 1993 (in print)"},{"key":"4_CR23","first-page":"123","volume-title":"Artificial Intelligence and Information Control Systems of Robots, Elsevier Science Publishers B","author":"P Eomois","year":"1984","unstructured":"Eomois P. Knowledge Representation and Deduction in Extended PRIZ. In: Plander J. (ed) Artificial Intelligence and Information Control Systems of Robots, Elsevier Science Publishers B. V., North-Holland, 1984, pp 123\u2013127"}],"container-title":["Workshops in Computing","Modelling Database Dynamics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-3554-8_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,10]],"date-time":"2019-05-10T16:42:12Z","timestamp":1557506532000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-3554-8_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540198031","9781447135548"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-3554-8_4","relation":{},"ISSN":["1431-1682"],"issn-type":[{"type":"print","value":"1431-1682"}],"subject":[],"published":{"date-parts":[[1993]]}}}