Correctness of semantic integrity checking in database management systems
- 52 Downloads
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.
KeywordsModify Operation Base Relation Integrity Constraint Relational Algebra Database State
Unable to display preview. Download preview PDF.
- [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
- [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
- [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
- [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
- [BLAU81] Blaustein, B.: Enforcing database assertions: techniques and applications. Ph.D. Thesis, Harvard University, 1981Google Scholar
- [BROD78] Brodie, M.: Specification and verification of database semantic integrity. Ph.D. Thesis, Toronto University, 1978Google Scholar
- [DATE83] Date, C.J.: An introduction to database systems. Vol. II. Reading: Addison-Wesley Ed. 1983Google Scholar
- [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
- [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
- [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
- [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