FAST MAINTENANCE OF SEMANTIC INTEGRITY ASSERTIONS USING REDUNDANT AGGREGATE DATA**This work was supported by the National Science Foundation under grants MCS-77-05314, MCS-79-07762, and MCS-79-08365

This publication has 6 references indexed in Scilit:

• Programming Language Constructs for Which It Is Impossible To Obtain Good Hoare Axiom Systems
  Journal of the ACM, 1979
• Efficient monitoring of database assertions
  Published by Association for Computing Machinery (ACM) ,1978
• Implementation of integrity constraints and views by query modification
  Published by Association for Computing Machinery (ACM) ,1975
• Semantic integrity in a relational data base system
  Published by Association for Computing Machinery (ACM) ,1975
• An axiomatic definition of the programming language PASCAL
  Acta Informatica, 1973
• An axiomatic basis for computer programming
  Communications of the ACM, 1969