Skip to main content
SpringerLink
Log in

Enforcement of integrity constraints in a semantic data model

  • Conference paper
  • First Online:
Book cover CSL '88 (CSL 1988)

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

Included in the following conference series:

Abstract

In this paper the problem of enforcing static integrity constraints in an extended entity-relationship environment is investigated. First we give a formal definition of the data model including a first order language and a set of operators. Each data structure of our model induces a set of structural integrity constraints which are never violated by the operators.

Semantic integrity constraints are expressed in the first order language. Our objective is to transform such formulas into simpler ones. Because of the relatively rich structural properties of our model a first transformation step can be performed at the time of definition of the data structure and the semantic constraints; the transformation depends on the operator to be applied. A second step to be performed at run-time uses instantiation of variables by actual parameters of the given operator and tries to simplify the integrity constraints without accessing the data base.

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. P. Asirelli, P. Inverardi, A. Mustaro: Improving Integrity Constraints Checking in Deductive Databases, in: M. Gyssens, J. Paredaens, D. Van Gucht (eds): Proc. 2nd Intern. Conf. on Database Theory, Bruges, Springer-Verlag, Berlin, 1988, p.72–86

    Google Scholar 

  2. P.A.Bernstein, B.T.Blaustein, E.M.Clarke: Fast Maintenance of Semantic Integrity Assertions Using Redundant Aggregate Data, Proc. 6th Intern. Conf. on Very Lanrge Data Bases, Montreal 1980, p.126–136

    Google Scholar 

  3. P.A.Bernstein, B.T.Blaustein: A Simplification Algorithm for Integrity Assertions and Concrete Views, Proc. 5th Intern. Comp. Software And Application Conf., Chicago 1981, p.90–99

    Google Scholar 

  4. M. Brodie: On the Development of Data Models, in: M. Brodie, J. Mylopoulos, J. Schmidt (eds): On Conceptual Modeling, Springer-Verlag, Berlin, 1984, p.19–48

    Google Scholar 

  5. S. Ceri (ed): Methodology and Tools for Data Base Design, North Holland, Amsterdam 1983

    Google Scholar 

  6. P.P. Chen: The Entity-Relationship Model: Towards a Unified View of Data, ACM TODS, Vol 1,1 1976, p.9–36

    Article  Google Scholar 

  7. A.Hsu, T.Imielinski: Integrity Checking for Multiple Updates, Proc. of ACM SIGMOD 85, Austin, Texas 1985, p.152–168

    Google Scholar 

  8. I. Kobayashi: Validating Database Updates, Information Systems Vol 9,1, p.1–17, 1984

    Article  Google Scholar 

  9. U.W. Lipeck, G. Saake: Monitoring Dynamic Integrity Constraints Based on Temporal Logic, Information Systems Vol 12,3 1987, 255–269

    Article  Google Scholar 

  10. J.-M. Nicolas: Logic for Improving Integrity Checking in Relational Databases, Acta Informatica Vol 18, 1982, p.227–253

    Article  Google Scholar 

  11. P. Scheuermann, G. Schiffner, H. Weber: Abstraction Capabilities and Invariant Properties Modelling within an Extended Entity-Relationship Model, in: P.P. Chen (ed): Entity-Relationship Approach to Systems Analysis and Design, North Holland, Amsterdam 1981, p.121–140.

    Google Scholar 

  12. J.M. Smith, D.C.P. Smith: Database Abstractions: Aggregation and Generalization, ACM TODS Vol 2,2 1977, p.105–133

    Article  Google Scholar 

  13. N. Südkamp: Untersuchungen zur Überprüfung von statischen Integritäts bedingungen in einem erweiterten Entity-Relationship-Datenmodell, Bericht Nr.8605, Institut für Informatik, Universität Kiel 1986

    Google Scholar 

  14. D. Tsichritzis, F. Lochovsky: Data Models, Prentice Hall, Englewood Cliffs, 1982

    Google Scholar 

  15. W. Weber: Ein Subsystem zur Aufrechterhaltung der semantischen Integrität in Datenbanken (Dissertation), J.Heizmann Verlag, Karlsruhe 1981

    Google Scholar 

  16. W. Weber, J. Karszt, W. Stucky: Integrity Checking in Data Base Systems, Information Systems Vol 8,2 1983, p.125–136

    Article  Google Scholar 

Download references

Author information

Author notes

  1. Norbert Südkamp

    Present address: IBM Wissenschaftliches Zentrum Heidelberg, Germany

Authors and Affiliations

  1. Universität Kiel, Germany

    Norbert Südkamp & Peter Kandzia

Authors
  1. Norbert Südkamp
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Peter Kandzia
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Egon Börger Hans Kleine Büning Michael M. Richter

Rights and permissions

Reprints and permissions

Copyright information

© 1989 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Südkamp, N., Kandzia, P. (1989). Enforcement of integrity constraints in a semantic data model. In: Börger, E., Büning, H.K., Richter, M.M. (eds) CSL '88. CSL 1988. Lecture Notes in Computer Science, vol 385. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0026310

Download citation

  • DOI: https://doi.org/10.1007/BFb0026310

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-51659-0

  • Online ISBN: 978-3-540-46736-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation