Title :
Constraint analysis: a design process for specifying operations on objects
Author :
Urban, Susan D. ; Delcambre, Lois M L
Author_Institution :
Dept. of Comput. Sci. & Eng., Arizona State Univ., Tempe, AZ, USA
fDate :
12/1/1990 12:00:00 AM
Abstract :
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
Keywords :
formal logic; formal specification; object-oriented databases; object-oriented programming; Horn logic; automatic identification; constraint analysis; constraint violations; database constraints; design alternatives; design process; explicit schema constraints; flexible specification; formal representation; object manipulation; object-oriented database design environment; object-oriented database schema; propagation actions; semantics; Data analysis; Data models; Database systems; Logic; Object oriented databases; Object oriented modeling; Process design; Protection; Time factors; Transaction databases;
Journal_Title :
Knowledge and Data Engineering, IEEE Transactions on
