Skip to main content

Die Überprüfung von semantischen Integritätsbedingungen in Relationalen Datenbanksystemen

  • Conference paper
GI — 6. Jahrestagung

Part of the book series: Informatik — Fachberichte ((INFORMATIK,volume 5))

  • 35 Accesses

Zusammenfassung

In einem Datenbanksystem werden semantische Integritätsbedingungen in einem Subsystem zentral angeordnet und überprüft. Die Prüfungen der Bedingungen können als Regel prüfungen oder als Sonderprüfungen durchgeführt werden. Regel prüfungen sind nach Datenänderungen vorzunehmen, während zeitaufwendige Sonderprüfungen besondere Anlässe voraussetzen. Die Bedingungen werden aus Gründen der Vereinheitlichung in der nicht-prozeduralen Sprache SEQUEL formuliert. Be-rechnungsmethoden für den Zeitbedarf der Prüfungen werden angegeben.

Abstract

In a database system semantical integrity constraints are assorted in a subsystem and are enforced by the system itself and not by application programmers. The verification of integrity constraints can be accomplished by regular controls in case of data maintenance or by time consuming special controls for a particular purpose. The constraints are described in the non-procedural language SEQUEL in order to look at the user’s representation of queries and integrity constraints in a unified way. Outlines are given for computation of time requirements to check the constraints.

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

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 69.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Literaturverzeichnis

  1. Astrahan, M.M und Chamberlin, D.D.: Implementation of a Structured English Query Language, in: Comm. of the ACM, Vol. 18 (1975), No. 10, October 1975, S. 580–588.

    Google Scholar 

  2. Astrahan, M.M. et. al.: System R: A Relational Approach to Data Base Management, Part 2: The Relational Data System (unveröffentlichtes Manuskript), erscheint 1976 in den Comm. of the ACM.

    Google Scholar 

  3. Belford, G., Bunch, St. und Day, J.D.: A State-of-the Art Reporter on Network Data Management and Related Technology, Center for Advanced Compu-tion, University of Illinois at Urbana, April 1, 1975.

    Google Scholar 

  4. Boyce, R.F. und Chamberlin, D.D.: Using a Structured English Query Language as a Data Definition Facility, IBM Research Report, RJ 1318, Dec. 10, 1973.

    Google Scholar 

  5. Chamberíin, D.D., Gray, J.N. und Traiger, I.L.: Views, Authorization and Locking in a Relational Data Base System, IBM Research Report, RJ 1486, San José, Dec. 19, 1974.

    Google Scholar 

  6. Chamberlin, D.D., Boyce, R.F.: SEQUEL: A Structured English Query Language, in: Proc of 1974 ACM SIGFIDET Workshop on Data Description, Access and Control, Ann Arbor, Michigan 1974, S. 249–264.

    Google Scholar 

  7. Codd, E.F.: Relational Completeness of Data Base Sublanguages, in: R. Rustin (Hrsg.): Data Base Systems, Prentice-Hall, Englewood Cliffs, 1972, S. 65–98.

    Google Scholar 

  8. Eswaran, K.P., Gray, J.K., Lorie, R.A. und Traiger, I.L.: On the notions of consitency and predicate locks in a data base systems, IBM Research Report, RJ 1487, San Jose, Dec. 30, 1974.

    Google Scholar 

  9. Eswaran, K.P. und Chamberlin, D.D.: Functional Specifikations of a Subsystem for Data Base Integrity, IBM Research Report, RJ 1601, San José, June 24, 1975.

    Google Scholar 

  10. Gray, J.N., Lorie, R.A., Potzolu, G.R und Traiger, L.L.: Granularity of Locks and Degrees of Consistency in a Shared Data Base, IBM Research Report, RJ 1654, San José, Sept. 19, 1975.

    Google Scholar 

  11. Härder, Th.: Auswahl optimaler Indexmengen, Forschungsbericht DV 75–2, Forschungsgruppe Datenverwaltungssysteme, TH Darmstadt, Sep. 1975.

    Google Scholar 

  12. Senko, M.E., Altmann, E.B., Astrahan, M.M und Fehder, P.L.: Data Structures and Accessing in Data Base Systems, in: IBM Systems Journal, Vol. 12 (1973), No. 1, S. 30–93.

    Google Scholar 

  13. Stonebraker, M.: Implementation of Integrity Constraints and Views by Query Modification, in: ACM SIGMOD, May14–16, 1975, San José, S. 65–77.

    Google Scholar 

  14. Wedekind, H.: Systemanalyse — Die Entwicklung von Anwendungssystemen für Datenverarbeitungsanlagen, Carl Hanser-Verlag, München 1973.

    MATH  Google Scholar 

  15. Wedekind, H.: On the Selection of Access Paths in a Data Base System in: J.W. Klimbie u.a. (Hrsg.): Data Base Management, North Holland, Amsterdam, 1974, S. 385–397.

    Google Scholar 

  16. Wedekind, H.: Datensicherheit In Datenbanksystemen, in: G. Goos und J. Hartman is (Hrsg.): Data Base Systems, Lecture Notes in Computer Science, Springer-Verlag, Berlin-Heidelberg-New-York, 1976, S. 315–338.

    Google Scholar 

  17. Wedekind, H.: Datenbanksysteme I, Bibliographisches Institut, Mannheim, 1974

    MATH  Google Scholar 

  18. Wedekind, H. und Härder, Th.: Datenbanksysteme II, Bibliographisches Institut, Mannheim, 1976.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 1976 Springer-Verlag Berlin · Heidelberg

About this paper

Cite this paper

Wedekind, H. (1976). Die Überprüfung von semantischen Integritätsbedingungen in Relationalen Datenbanksystemen. In: Neuhold, E.J. (eds) GI — 6. Jahrestagung. Informatik — Fachberichte, vol 5. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-95289-0_21

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-95289-0_21

  • Publisher Name: Springer, Berlin, Heidelberg

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

  • Online ISBN: 978-3-642-95289-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics