Title :
Towards the correctness and consistency of update semantics in semantic database schema
Author :
Peckham, Joan ; Maryanski, Fred ; Demurjian, Steven A.
Author_Institution :
Dept. of Comput. Sci. & Stat., Rhode Island Univ., Kingston, RI, USA
fDate :
6/1/1996 12:00:00 AM
Abstract :
Discusses a paradigm and prototype system for the design-time expression, checking and automatic implementation of the semantics of database updates. Enforcement rules are viewed as the implementation of constraints and are specified, checked for consistency, and then finally mapped to object-oriented code during database design. A classification of enforcement rule types is provided as a basis for these design activities, and the general strategy for specification, analysis and implementation of these rules within a semantic modeling paradigm is discussed. SORAC (Semantics, Objects, Relationships And Constraints), a prototype database design system of the University of Rhode Island, is also described
Keywords :
active databases; data integrity; data structures; database theory; object-oriented programming; semantic networks; Data modeling; SORAC; active databases; automatic implementation; consistency checking; constraint maintenance; constraints; data consistency; database design system; design-time expression; enforcement rule types; object-oriented code; rule specification; schema checking; semantic database schema; semantic modeling paradigm; update semantics consistency; update semantics correctness; Application software; Computer science; Data analysis; Database systems; Design automation; Information analysis; Object oriented databases; Object oriented modeling; Prototypes; Real time systems;
Journal_Title :
Knowledge and Data Engineering, IEEE Transactions on
