Functional Specifications of Subsystem for Database Integrity

  title={Functional Specifications of Subsystem for Database Integrity},
  author={Kapali P. Eswaran and Donald D. Chamberlin},
This paper defines an integrity subsystem for an integrated data base management system, and shows how integrity is distinguished from the related areas of security, consistency, and reliability. The integrity subsystem guards the data base against semantic errors by permitting users to make assertions which define the correctness of the data base, and to specify actions to be taken when the assertions are not satisfied. Several categories of assertions are considered, including tuple-vs. set… CONTINUE READING