Issue No.03 - June (1996 vol.8)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/69.506716
<p><b>Abstract</b>—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.</p>
Data modeling, database updates, constraint maintenance, schema checking, data consistency, active databases.
Fred Maryanski, Joan Peckham, "Towards the Correctness and Consistency of Update Semantics in Semantic Database Schema", IEEE Transactions on Knowledge & Data Engineering, vol.8, no. 3, pp. 503-507, June 1996, doi:10.1109/69.506716