Semantic Integrity in a Relational Data Base System.

@inproceedings{DBLP:conf/vldb/HammerM75,
  author    = {Michael Hammer and
               Dennis McLeod},
  editor    = {Douglas S. Kerr},
  title     = {Semantic Integrity in a Relational Data Base System},
  booktitle = {Proceedings of the International Conference on Very Large Data
               Bases, September 22-24, 1975, Framingham, Massachusetts, USA},
  publisher = {ACM},
  year      = {1975},
  pages     = {25-47},
  ee        = {db/conf/vldb/HammerM75.html},
  crossref  = {DBLP:conf/vldb/75},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

As a model of some aspect(s) of the real world, the data in a data base must be accurate. In the context of a relational data base system, a facility to allow the expression and enforcement of a set of semantic integrity constraints is discussed. Semantic integrity constraints may describe properties of and relationships between data objects (in a relational data base) that are to hold (state snapshot constraints). Constraints may also place limitations on permissible data base operations (state transition constraints).

A second type of semantic integrity information that is important in the context of a relational data base system is the precise-description of domains (viewed as sets of atomic data objects), and the specification of their use as underlying domains of columns of relations in a data base.

High-level nonprocedural languages to facilitate the expression of these two types of semantic integrity information are introduced and examples are presented.

Copyright © 1975 by the ACM, Inc., used by permission. Permission to make digital or hard copies is granted provided that copies are not made or distributed for profit or direct commercial advantage, and that copies show this notice on the first page or initial screen of a display along with the full citation.

ACM SIGMOD Anthology

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the CD and click on the path of your mount point:
  /Anthology/vldb7588 or /cdrom

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the DVD and click on the path of your mount point:
  /Anthology/aDVD1 or /dvd

Printed Edition

References

[1]

...

[2]

...

[3]

Donald D. Chamberlin, Raymond F. Boyce: SEQUEL: A Structured English Query Language. SIGMOD Workshop, Vol. 1 1974: 249-264

[4]

...

[5]

E. F. Codd: A Relational Model of Data for Large Shared Data Banks. Commun. ACM 13(6): 377-387(1970)

[6]

E. F. Codd: A Database Sublanguage Founded on the Relational Calculus. SIGFIDET Workshop 1971: 35-68

[7]

E. F. Codd: Further Normalization of the Data Base Relational Model. IBM Research Report, San Jose, California RJ909: (1971)

[8]

E. F. Codd: Normalized Data Structure: A Brief Tutorial. SIGFIDET Workshop 1971: 1-17

[9]

E. F. Codd: Recent Investigations in Relational Data Base Systems. IFIP Congress 1974: 1017-1021

[10]

E. F. Codd, C. J. Date: Interactive Support For Non-Programmers: The Relational and Network Approaches. SIGMOD Workshop, Vol. 2 1974: 11-41

[11]

C. J. Date, E. F. Codd: The Relational and Network Approaches: Comparison of the Application Programming Interfaces. SIGMOD Workshop, Vol. 2 1974: 83-113

[12]

...

[13]

Kapali P. Eswaran, Jim Gray, Raymond A. Lorie, Irving L. Traiger: The Notions of Consistency and Predicate Locks in a Database System. Commun. ACM 19(11): 624-633(1976)

[14]

...

[15]

Igor Hawryszkiewycz, Jack B. Dennis: An Approach to Proving the Correctness of Data Base Operations. SIGFIDET Workshop 1972: 323-348

[16]

...

[17]

Barbara Liskov, Stephen N. Zilles: Programming with Abstract Data Types. SIGPLAN Notices 9(4): 50-59(1974)

[18]

...

[19]

Naftaly H. Minsky: On Interaction with Data Bases. SIGMOD Workshop, Vol. 1 1974: 51-62

[20]

...

[21]

...

[22]

...

[23]

Michael Stonebraker: Implementation of Integrity Constraints and Views by Query Modification. SIGMOD Conference 1975: 65-78

[24]

...

[25]

...

[26]

...