Constraint Analysis: A Design Process for Specifying Operations on Objects

A design process for an object-oriented database design environment, known as constraint analysis, is presented. Given the increased level of semantics associated with an object-oriented database schema, constraint analysis makes use of semantics expressed as database constraints to support the flexible specification of propagation actions for operations on objects. Constraints are formally represented using Horn logic. The constraint analysis process then reasons about constraints at design time to help the designer understand the effects of constraints on object manipulation, identifying possible constraint violations as well as design alternatives for handling violations. An advantage of constraint analysis is that both inherent and explicit schema constraints are included in the analysis process. A formal representation is given that supports the analysis of constraints and the automatic identification of design alternatives for responding to constraint violations. >

[1]  Serge Abiteboul,et al.  Update Propagation in the IFO Database Model , 1985, FODO.

[2]  Dzenan Ridjanovic,et al.  On the Design and Specification of Database Transactions , 1982, On Conceptual Modelling.

[3]  Robert Balzer,et al.  Specification-based computing environments for information management , 1984, 1984 IEEE First International Conference on Data Engineering.

[4]  Mark Stefik,et al.  Planning with Constraints (MOLGEN: Part 1) , 1981, Artif. Intell..

[5]  John Mylopoulos,et al.  A language facility for designing database-intensive applications , 1980, TODS.

[6]  K. R. Dittrich.  Lecture notes in computer science on Advances in object-oriented database systems , 1988 .

[7]  Nick Roussopoulos,et al.  Self-Describing and Self-Documenting Database Systems , 1985 .

[8]  Sol Jaffe Greenspan,et al.  Requirements modeling: a knowledge representation approach to software requirements definition , 1984 .

[9]  Serge Abiteboul,et al.  IFO: a formal semantic database model , 1987, TODS.

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

[11]  Larry Kerschberg,et al.  Constraint Management in Expert Database Systems , 1984, Expert Database Workshop.

[12]  David W. Stemple,et al.  On the modes and meaning of feedback to transaction designers , 1987, SIGMOD '87.

[13]  Susan D. Urban,et al.  Constraint analysis for the design of semantic database update operations , 1987 .

[14]  Lois M. L. Delcambre,et al.  Constraint Analysis: A Tool for Explaining the Semantics of Complex Objects , 1988, OODBS.

[15]  W. Shipman David,et al.  The functional data model and the data language DAPLEX , 1988 .

[16]  Nick Roussopoulos,et al.  The New Database Architecture Framework - A Progress Report , 1985, Information Systems - Theoretical and Formal Aspects.

[17]  Reid G. Smith,et al.  Implementation Of A Semantic Integrity Manager With A Knowledge Representation System , 1984, Expert Database Workshop.

[18]  Stanley B. Zdonik,et al.  Issues in the design of object-oriented database programming languages , 1987, OOPSLA 1987.

[19]  David Hung-Chang Du,et al.  A Framework for efficient IC/VLSI CAD databases , 1989, Inf. Sci..

[20]  Nick Roussopoulos,et al.  Metadata Management , 1986, Computer.

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

[22]  Larry Kerschberg,et al.  Prism: a knowledge based system for semantic integrity specification and enforcement in database systems , 1984, SIGMOD '84.

[23]  Matthew Morgenstern.  Active Databases as a Paradigm for Enhanced Computing Environments , 1983, VLDB.

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

[25]  Umeshwar Dayal,et al.  Active Database Management Systems , 1988, JCDKB.

[26]  Matthew Morgenstern,et al.  The Role of Constraints in Databases, Expert Systems, and Knowledge Representation , 1984, Expert Database Workshop.

[27]  Alan Borning,et al.  ThingLab: a constraint-oriented simulation laboratory , 1979 .

[28]  Sharma Chakravarthy.  Rule management and evaluation: an active DBMS perspective , 1989, SGMD.

[29]  Lois M. L. Delcambre,et al.  Constraint analysis for specifying perspectives of class objects , 1989, [1989] Proceedings. Fifth International Conference on Data Engineering.

[30]  Lois M. L. Delcambre,et al.  Perspectives of a semantic schema , 1987, 1987 IEEE Third International Conference on Data Engineering.

[31]  Jean-Marie Nicolas,et al.  Integrity Checking in Deductive Data Bases , 1977, Logic and Data Bases.

[32]  A Unified Model and Methodology for Conceptual Database Design , 1982, On Conceptual Modelling.

[33]  David W. Shipman,et al.  The functional data model and the data languages DAPLEX , 1981, TODS.