By Topic

Using invariants of an extended conceptual model to generate reusable consistency control

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$33 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

1 Author(s)
Winter, R. ; Inst. of Inf. Manage., St. Gallen Univ., Switzerland

A methodology is presented that allows to specify and implement an important portion of consistency control in information systems in integrated and reusable form. An extension of the structured entity relationship model is proposed that captures not only all relevant variants of database abstractions, but also derivation rules. Invariant properties of this extended conceptual model are identified and formally specified. From that formal specification, general rejection and propagation rules are derived which can be used to generate database triggers. Being an integral component of the procedurally extended database, the generated triggers are reused by every application within the information system. The methodology was integrated into commercial CASE environments and applied to develop a production management information system for a large mechanical engineering company

Published in:

System Sciences, 1997, Proceedings of the Thirtieth Hawaii International Conference on  (Volume:3 )

Date of Conference:

7-10 Jan 1997