Modeling Semantic Interity Contraints in Object-Oriented Database Schemas

Recent years have witnessed a continuous evolution of database models towards richer and more expressive paradigms. Along the line of enriching the modeling capabilities, Object-Oriented databases (OODBs) have been introduced. In this paper, we propose a further enhancement to OODB models aiming at enriching the database schema by explicitly declaring semantic integrity constraints therein.

[1]  Michele Missikoff,et al.  An Object-Oriented Data model for Artificial Intelligence Applications , 1990, East/West Database Workshop.

[2]  Paola Inverardi,et al.  Improving Integrity Constraint Checking in Deductive Databases , 1988, ICDT.

[3]  Narain H. Gehani,et al.  ODE (Object Database and Environment): the language and the data model , 1989, SIGMOD '89.

[4]  Narain H. Gehani,et al.  Ode as an Active Database: Constraints and Triggers , 1991, VLDB.

[5]  Jeffrey D. Ullman,et al.  Principles of Database and Knowledge-Base Systems, Volume II , 1988, Principles of computer science series.

[6]  Ming-Chien Shan,et al.  Iris: An Object-Oriented Database Management System , 1989, ACM Trans. Inf. Syst..

[7]  Christophe Lécluse,et al.  Modeling complex structures in object-oriented logic programming , 1989, PODS '89.

[8]  Catriel Beeri,et al.  A Formal Approach to Object-Oriented Databases , 1990, Data Knowl. Eng..

[9]  Susan Darling Urban.  ALICE: an assertion language for integrity constraint expression , 1989, [1989] Proceedings of the Thirteenth Annual International Computer Software & Applications Conference.

[10]  Michele Missikoff,et al.  Integrity Constraints Representation in Object-Oriented Databases , 1992, CIKM.

[11]  David W. Stemple,et al.  Automatic verification of database transaction safety , 1989, ACM Trans. Database Syst..

[12]  Jennifer Widom,et al.  Deriving Production Rules for Constraint Maintainance , 1990, VLDB.

[13]  Lois M. L. Delcambre,et al.  Constraint Analysis: A Design Process for Specifying Operations on Objects , 1990, IEEE Trans. Knowl. Data Eng..

[14]  Robert A. Kowalski,et al.  Integrity Checking in Deductive Databases , 1987, VLDB.

[15]  Jack Minker,et al.  Logic and Databases: A Deductive Approach , 1984, CSUR.

[16]  Amihai Motro,et al.  Integrity = validity + completeness , 1989, TODS.

[17]  Guido Moerkotte,et al.  Efficient Consistency Control in Deductive Databases , 1988, ICDT.

[18]  Christophe Lécluse,et al.  The O2 Database Programming Language , 1989, Building an Object-Oriented Database System, The Story of O2.

[19]  Hector J. Levesque,et al.  The Tractability of Subsumption in Frame-Based Description Languages , 1984, AAAI.

[20]  Luca Cardelli,et al.  A Semantics of Multiple Inheritance , 1984, Information and Computation.

[21]  Jacques Cohen,et al.  Constraint logic programming languages , 1990, CACM.

[22]  Letizia Tanca,et al.  The LOGIDATA+ Model and Language , 1990, East/West Database Workshop.

[23]  David Maier,et al.  Development of an object-oriented DBMS , 1986, OOPLSA '86.

[24]  François Banciihon.  Object-oriented database systems , 1988, PODS 1988.

[25]  Joxan Jaffar,et al.  Constraint logic programming , 1987, POPL '87.

[26]  Jay Banerjee,et al.  Data model issues for object-oriented applications , 1987, TOIS.

[27]  Christophe Lécluse,et al.  Modeling complex structures in object-oriented logic programming , 1989, PODS.

[28]  Serge Abiteboul,et al.  Object identity as a query language primitive , 1989, SIGMOD '89.

[29]  Fernando Vélez,et al.  O2, an Object-Oriented Data Model , 1992, Building an Object-Oriented Database System, The Story of O2.

[30]  Krzysztof R. Apt,et al.  Logic Programming , 1990, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

[31]  Gabriel M. Kuper,et al.  A new approach to database logic , 1984, PODS.

[32]  Jeffrey D. Ullman,et al.  Principles Of Database And Knowledge-Base Systems , 1979 .

[33]  David J. DeWitt,et al.  The Object-Oriented Database System Manifesto , 1994, Building an Object-Oriented Database System, The Story of O2.