Acta Informatica

, Volume 26, Issue 1–2, pp 25–57 | Cite as

Correctness of semantic integrity checking in database management systems

  • E. Bertino
  • D. Musto


Although today’s applications are very demanding with regard to semantic integrity, few database systems provide capabilities of this type. In this paper, a definition of integrity constraint is given in terms of Relational Algebra and certain aspects are then discussed concerning transaction management in the presence of such integrity constraints. In particular, the problem of when to enforce a set of integrity constraints during the execution of a transaction is addressed. For this purpose the notion ofIntegrity Enforcement Schedule is introduced. An Integrity Enforcement Schedule represents the sequence of integrity checking actions performed during the execution of a transaction. A correctness criterion for the Integrity Enforcement Schedules is established, and a sufficient condition for the correctness is provided. Finally the notion ofMinimal Integrity Enforcement Schedule is introduced. The Minimal Integrity Enforcement Schedules are those Integrity Enforcement Schedules in which every constraint is verified ‘as soon as possible”. For this reason they are really desirable in the transaction management to avoid expensive rollingback operations. Algorithms for their construction are presented, together with the associated correctness proofs.


Modify Operation Base Relation Integrity Constraint Relational Algebra Database State 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [BERN 82] Bernstein, P.A., Blaustein, B.T.: Fast methods for testing quantified relational calculus assertions. In: Proceedings of the ACM-SIGMOD International Conference on the Management of Data, Orlando, Florida, June 2–4, 1982, pp. 39–50. New York: ACM 1982CrossRefGoogle Scholar
  2. [BERT84] Bertino, E., Apuzzo, D.: Integrity aspects in database management systems In: Proceedings of the International Trends and Application Conference, Gaithersburg, MD., May 23–24, 1984, pp. 43–52. Silver Spring, MD: IEE Computer Society Press 1984Google Scholar
  3. [BERT86a] Bertino, E., Musto, D.: Semantic query transformation. In: Proceedings of the INFORSID Conference, Abbaye de Fontevraud (France), May 27–30, 1986, pp. 141–171. Nantes: H. Briand and Hebrias edit., LIANA 1986Google Scholar
  4. [BERT 86b] Bertino, E., Musto, D.: Query simplification using knowledge about data semantics. I.E.I.-C.N.R. Technical Report No. B4-65, December 1986Google Scholar
  5. [BERT87] Bertino, E., Musto, D.: Correctness of semantic integrity constraints in database management systems. I.E.I.-C.N.R. Technical Report No. B4-17, Sept. 1987Google Scholar
  6. [BLAU81] Blaustein, B.: Enforcing database assertions: techniques and applications. Ph.D. Thesis, Harvard University, 1981Google Scholar
  7. [BROD78] Brodie, M.: Specification and verification of database semantic integrity. Ph.D. Thesis, Toronto University, 1978Google Scholar
  8. [CODD70] Codd, E.F.: A relational model for large shared data banks. Commun. ACM13, 377–387 (1970)zbMATHCrossRefGoogle Scholar
  9. [CODD79] Codd, E.F.: Extending the data base relational data model to capture more meaning. ACM Trans. Database Syst.4, 397–434 (1979)CrossRefGoogle Scholar
  10. [DATE83] Date, C.J.: An introduction to database systems. Vol. II. Reading: Addison-Wesley Ed. 1983Google Scholar
  11. [ESWA75] Eswaran, K., Chamberlin, D.: Functional specification of a subsystem for data base integrity. In: Proceedings of the First International Conference on Very Large Databases, Framingham, USA, September 22–24, 1975, pp. 48–68. New York: ACM 1975Google Scholar
  12. [GRAY82] Gray, J.N., McIones, P., Blasgen, M., Lindsay, B., Lorie, R., Price, T., Putzolu, F., Traiger, I.L.: The recovery manager of systemR database managen. ACM Comp. Surveys13, 223–241 (1982)CrossRefGoogle Scholar
  13. [HAMM75] Hammer, M.M., McLeod, D.J.: Semantic integrity in a relational data base system. Proceedings of the First International Conference on Very Large Databases, Framingham, USA, Sept. 22–24, 1975, pp. 25–47. New York: ACM 1975Google Scholar
  14. [HAMM81] Hammer, M.M., McLeod, D.J.: Database description with SDM: a semantic database model. ACM Trans. Database Syst.6, 351–386 (1981)CrossRefGoogle Scholar
  15. [HENS83] Henschen, L.J., McCune, W.W., Navqi, S.A.: Compiling constraint-checking programs from first-order formulas. In: Gallaire, H., Minker, J., Nicolas, J. (eds.) Advances in data base theory, vol. II, pp. 145–169, New York: Plenum Press 1983Google Scholar
  16. [KLUG82] Klug, A.: Equivalence of relational algebra and relational calculus query languages having aggregate functions. ACM.29, 699–717 (1982).zbMATHCrossRefGoogle Scholar
  17. [MAIER83] Maier, D.: The theory of relational databases. Rockville, MD: Computer Science Press 1983zbMATHGoogle Scholar
  18. [MCLE81] McLeod, D., Smith, J.M.: Abstraction in databases. In: Proceedings of the Workshop on Data Abstraction, Databases, and Conceptual Modelling. ACM-SIGMOD Record11, 19–25 (1981)Google Scholar
  19. [NICO82] Nicolas, J.M.: Logic for improving integrity checking in relational data bases. Acta Informatica18, 227–253 (1982)zbMATHCrossRefMathSciNetGoogle Scholar
  20. [STON75] Stonebraker, M.: Implementation of integrity constraints and views of query modification. In: Proceedings of the ACM-SIGMOD International Conference on the Management of Data, May 14–16, 1975, pp. 65–78. New York: ACM 1975CrossRefGoogle Scholar
  21. [STON76] Stonebraker, M., Wong, E., Kreps, P.: The design and implementation of INGRES. ACM Trans. Database Syst.1, 189–222 (1976)CrossRefGoogle Scholar
  22. [ULLM82] Ullman, J.: Principles of database systems Rockville, MD: Computer Science Press 1982zbMATHGoogle Scholar

Copyright information

© Springer-Verlag 1988

Authors and Affiliations

  • E. Bertino
    • 1
  • D. Musto
    • 1
  1. 1.Istituto di Elaborazlone dell’InformazioneItalian National Research CouncilPisaItaly

Personalised recommendations