Specifying Semantics of Evolution in Object-Oriented Databases Using Partial Deduction

In this paper, we propose a methodology for specification of semantics of evolution in object-oriented databases. Our methodology is based on Horn logic as metalanguage for specification of semantics of both schema and object evolution in object-oriented databases. Partial Deduction is used as technique for specialization of a set of general constraints on database and its schema and to derive conditions that must be satisfied to guarantee the validity of managing evolution in object-oriented databases. Implementation principles of the methodology are discussed on the basis of the object-oriented language NUT. Different types of transformations are defined that allow derivation of predicates from the descriptions of classes and objects used in the NUT system.

[1]  Henryk Jan Komorowski,et al.  A specification of an abstract Prolog machine and its application to partial evaluation , 1981 .

[2]  O. Deux,et al.  The O2 system , 1991 .

[3]  Eduardo Casais,et al.  An Incremental Class Reorganization Approach , 1992, ECOOP.

[4]  Dominique Rieu,et al.  Schema Evolution in Object-Oriented Database Systems , 1989, Data Knowl. Eng..

[5]  Edward Sciore,et al.  Meta-Functions and Contexts in an Object-Oriented Database Language , 1988, SIGMOD Conference.

[6]  John W. Lloyd,et al.  Partial Evaluation in Logic Programming , 1991, J. Log. Program..

[7]  Jacob Stein,et al.  The GemStone object database management system , 1991, CACM.

[8]  Walter D. Potter,et al.  Hyper-Semantic Data Modeling , 1989, Data Knowl. Eng..

[9]  Edward Sciore,et al.  Using annotations to support multiple kinds of versioning in an object-oriented database system , 1991, TODS.

[10]  Jan Komorowski.  Elements of a programming methodology founded on partial deduction-part 1 , 1991 .

[11]  Hamid Pirahesh,et al.  Extensions to Starburst: objects, types, functions, and rules , 1991, CACM.

[12]  Reind P. van de Riet.  MOKUM: An Object-Oriented Active Knowledge Base System , 1989, Data Knowl. Eng..

[13]  Jay Banerjee,et al.  Semantics and implementation of schema evolution in object-oriented databases , 1987, SIGMOD '87.

[14]  Serge Abiteboul,et al.  Towards a Deductive Object-Oriented Database Language , 1990, Data Knowl. Eng..

[15]  Gad Ariav.  Temporally oriented data definitons: Managing schema evolution in temporally oriented databases , 1991, Data Knowl. Eng..

[16]  Gunter Saake,et al.  Specification of Database Applications in the TROLL Language , 1992, Specifications of Database Systems.

[17]  Jack A. Orenstein,et al.  The ObjectStore database system , 1991, CACM.