Towards the Correctness and Consistency of Update Semantics in Semantic Database Schema

0
72

Authors: Fred Maryanski, Joan Peckham, Steven A. Demurjian

Tags: 1996, conceptual modeling

This paper discusses a paradigm and prototype system for the design-time expression, checking, and automatic implementation of the semantics of database updates. Here, 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 (semantic. objects, relationships, and constraints), a prototype database design system at the University of Rhode Island, is also described.

Read the full paper here: https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=506716