Skip to main content
SpringerLink
Log in

The development of a semantic integrity constraint subsystem for a distributed database (SICSDD)

  • Technical Papers
  • Conference paper
  • First Online:
Advances in Databases (BNCOD 1996)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1094))

Included in the following conference series:

Abstract

This paper presents a strategy for validating the semantic integrity constraints of a distributed database. The general method detects inconsistency by performing integrity tests against the database whenever an update occurs. The integrity test is much cheaper and easier to validate than the initial constraint. We use a two level approach where constraint validation can be performed before or after an update is made. We adopt the algorithm proposed by [NIC82] to generate post-tests and modify it to generate pre-tests which allow the initial constraints to be checked locally. This strategy has been implemented in a prototype system called SICSDD.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Barbard, D. and Garcia-Molina, H. The Demarcation Protocol: A Technique for Maintaining Linear Arithmetic Constraints in Distributed Database Systems. Extending Database Technology Conference, LNCS 580, March 1992, pp. 373–397.

    Google Scholar 

  2. Grefen, W.P.J., Flokstra, J. and Apers, P.M.G. Parallel Handling of Integrity Constraints. Proceedings of the Prisma Workshop, 1990, pp. 242–258.

    Google Scholar 

  3. Grefen, P.W.P.J. and Apers, P.M.G. Parallel Handling of Integrity Constraints On Fragment Relations. Proceedings of the 2nd DEXA Conference, Germany, August 1991.

    Google Scholar 

  4. Gupta, A. and Widom, J. Local Verification of Global Integrity Constraints in Distributed Databases. ACM SIGMOD, 1993, pp. 49–58.

    Google Scholar 

  5. Henschen, L.J., McCune, W.W. and Naqvi, S.A. Compiling Constraint-Checking Programs from First-Order Formulas. Advances in Database Theory, Vol. 2, Gallaire, H., Minker, J. and Nicolas, J.M., Eds. Plenum Press, 1984, pp. 145–170.

    Google Scholar 

  6. Hsu, A. Integrity Checking for Multiple Updates. Proceedings of the ACM SIGMOD International Conference on the Management of Data, 1985, pp. 152–168.

    Google Scholar 

  7. Mazumdar, S. Optimizing Distributed Integrity Constraints. Proceedings of the 3rd International Symposium on Database Systems for Advanced Applications, Korea, April 1993, pp. 327–334.

    Google Scholar 

  8. McCarroll, N. and Kerridge, J. A Strategy for Semantic Integrity Enforcement in a Parallel Database Machine. Proceedings of the 12th British National Conference on Databases, July 1994, pp. 137–152.

    Google Scholar 

  9. McCune, W.W. and Henschen, L.J. Maintaining State Constraints in Relational Databases: A Proof Theoretic Basis. Journal of the Association for Computing Machinery, Vol. 36, No. 1, January 1989, pp. 46–68.

    Google Scholar 

  10. Nicolas, J.M. Logic for Improving Integrity Checking in Relational Data Bases. Acta Informatica, Vol. 8, No. 3, 1982, pp. 227–253.

    Google Scholar 

  11. Oszu, T.M. and Valduriez, P. Principles of Distributed Database Systems. Prentice-Hall, Englewood Cliffs, New Jersey, 1991.

    Google Scholar 

  12. Qian, X. and Wiederhold, G. Knowledge-based Integrity Constraint Validation. Proceedings of the 12th International Conference on Very Large Data Bases, Kyoto, August 1986, pp. 3–12.

    Google Scholar 

  13. Qian, X. and Smith, D. R. Integrity Constraint Reformulation for Efficient Validation. Proceedings of the 13th International Conference on Very Large Data Bases, Brighton, 1987, pp. 417–425.

    Google Scholar 

  14. Qian, X. An Effective Method for Integrity Constraint Simplification. IEEE DE 4, 1988, pp. 338–345.

    Google Scholar 

  15. Qian, X. Distribution Design of Integrity Constraints. Proceedings of the 2nd International Conference on Expert Database Systems, 1989, pp. 205–226.

    Google Scholar 

  16. Simon, E. and Valduriez, P. Integrity Control in Distributed Database Systems. Proceedings of the 19th Hawaii International Conference on System Science, 1986, pp. 622–632.

    Google Scholar 

  17. Zhang, X. and Ozsoyoglu, Z.M. Reasoning with Implication and Referential Constraints in Semantic Query Optimization. Proceedings of POST-ILPS'94 Workshop on Constraints and Databases, USA, November 1994.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, UWCC, Cardiff, UK

    H. Ibrahim, W. A. Gray & N. J. Fiddian

  2. Department of Computer Science, University of Agriculture Malaysia, Malaysia

    H. Ibrahim

Authors
  1. H. Ibrahim
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. W. A. Gray
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. N. J. Fiddian
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Ron Morrison Jessie Kennedy

Rights and permissions

Reprints and permissions

Copyright information

© 1996 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Ibrahim, H., Gray, W.A., Fiddian, N.J. (1996). The development of a semantic integrity constraint subsystem for a distributed database (SICSDD). In: Morrison, R., Kennedy, J. (eds) Advances in Databases. BNCOD 1996. Lecture Notes in Computer Science, vol 1094. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-61442-7_5

Download citation

  • DOI: https://doi.org/10.1007/3-540-61442-7_5

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-61442-5

  • Online ISBN: 978-3-540-68589-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation