Data model for extensible support of explicit relationships in design databases

We describe the conceptual model of SORAC, a data modeling system developed at the University of Rhode Island. SORAC supports both semantic objects and relationships, and provides a tool for modeling databases needed for complex design domains. SORAC's set of built-in semantic relationships permits the schema designer to specify enforcement rules that maintain constraints on the object and relationship types. SORAC then automatically generates C++ code to maintain the specified enforcement rules, producing a schema that is compatible with Ontos. This facilitates the task of the schema designer, who no longer has to ensure that all methods on object classes correctly maintain necessary constraints. In addition, explicit specification of enforcement rules permits automated analysis of enforcement propagations. We compare the interpretations of relationships within the semantic and object-oriented models as an introduction to the mixed model that SORAC supports. Next, the set of built-in SORAC relationship types is presented in terms of the enforcement rules permitted on each relationship type. We then use the modeling requirements of an architectural design support system, called Arch Objects, to demonstrate the capabilities of SORAC. The implementation of the current SORAC prototype is also briefly discussed.

[1]  Mark S. Fox,et al.  Representation of Activity Knowledge for Project Management , 1985, IEEE Transactions on Pattern Analysis and Machine Intelligence.

[2]  David Maier,et al.  Readings in Object-Oriented Database Systems , 1989 .

[3]  S.D. Urban,et al.  The implementation and evaluation of integrity maintenance rules in an object-oriented database , 1992, [1992] Eighth International Conference on Data Engineering.

[4]  Elisa Bertino,et al.  Composite objects revisited , 1989, SIGMOD '89.

[5]  Roger King,et al.  Semantic Data Models , 1985, Principles of Database Design.

[6]  Matthew Morgenstern Constraint Equations: Declarative Expression of Constraints With Automatic Enforcement , 1984, VLDB.

[7]  James Geller,et al.  "Part" Relations for Object-Oriented Databases , 1992, ER.

[8]  Joan Peckham,et al.  RTSORAC: A Real-Time Object-Oriented Database Model , 1994, DEXA.

[9]  Roger King,et al.  The Cactis Project: Database Support for Software Environment , 1988, IEEE Trans. Software Eng..

[10]  Ellis Horowitz,et al.  Object-oriented databases with applications to CASE, networks, and VLSI CAD , 1991 .

[11]  Won Kim,et al.  Object-Oriented Concepts, Databases, and Applications , 1989 .

[12]  Dennis McLeod,et al.  Database description with SDM: a semantic database model , 1981, TODS.

[13]  Jennifer Widom,et al.  Set-oriented production rules in relational database systems , 1990, SIGMOD '90.

[14]  Joan Peckham,et al.  Representing Design Objects in SORAC , 1992 .

[15]  Joan Peckham,et al.  Constraint based analysis of database update propagation , 1989, ICIS '89.

[16]  Peter P. Chen The Entity-Relationship Model: Towards a unified view of Data , 1976 .

[17]  Peter P. Chen,et al.  An Integrity System for a Relational Database Architecture , 1989, ER.

[18]  Peter P. Chen The entity-relationship model: toward a unified view of data , 1975, VLDB '75.

[19]  Roger King,et al.  Semantic database modeling: survey, applications, and research issues , 1987, CSUR.

[20]  Chris Laffra,et al.  Propagators and concurrent constraints , 1991, OOPSLA/ECOOP '90.

[21]  Gio Wiederhold,et al.  Updating relational databases through object-based views , 1991, SIGMOD '91.

[22]  Joan Peckham,et al.  Implementing Relationships and Constraints in an Object-Oriented Database Using a Monitor Construct , 1993, Rules in Database Systems.

[23]  James E. Rumbaugh,et al.  Relations as semantic constructs in an object-oriented language , 1987, OOPSLA '87.

[24]  Yoshiyasu Takefuji,et al.  Databases and cell-selection algorithms for VLSI cell libraries , 1990, Computer.

[25]  Won Kim,et al.  Modeling concepts for VLSI CAD objects , 1985, TODS.

[26]  Renzo Orsini,et al.  A Relationship Mechanism for a Strongly Typed Object-Oriented Database Programming Language , 1991, VLDB.

[27]  Bonnie MacKellar,et al.  ArchObjects: design codes as constraints in an object-oriented KBMS , 1991 .

[28]  Daniel G. Bobrow,et al.  Object-Oriented Programming: Themes and Variations , 1989, AI Mag..

[29]  William Kent,et al.  Object-Oriented Databases: Analysis, Design and Construction , 1991 .

[30]  Dominique Rieu,et al.  Representing design objects , 1991 .

[31]  Elisabeth Métais,et al.  Semantic Modeling of Object Oriented Databases , 1991, VLDB.

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

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

[34]  Scott Curland Chase,et al.  A data model for design databases , 1991 .

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

[36]  James E. Rumbaugh Relations as semantic constructs in an object-oriented language , 1987, OOPSLA 1987.

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

[38]  Joan Peckham,et al.  Towards the Correctness and Consistency of Update Semantics in Semantic Database Schema , 1996, IEEE Trans. Knowl. Data Eng..

[39]  Won Kim,et al.  Introduction to Object-Oriented Databases , 1991, Computer systems.

[40]  James Geller Propositional Representation for Graphical Knowledge , 1991, Int. J. Man Mach. Stud..