ACM SIGMOD Anthology VLDB dblp.uni-trier.de

Semantic Integrity in a Relational Data Base System.

Michael Hammer, Dennis McLeod: Semantic Integrity in a Relational Data Base System. VLDB 1975: 25-47
@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

CDROM Version: Load the CDROM "Volume 1 Issue 4, VLDB '75-'88" and ... DVD Version: Load ACM SIGMOD Anthology DVD 1" and ...

Printed Edition

Douglas S. Kerr (Ed.): Proceedings of the International Conference on Very Large Data Bases, September 22-24, 1975, Framingham, Massachusetts, USA. ACM 1975
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

References

[1]
...
[2]
...
[3]
Donald D. Chamberlin, Raymond F. Boyce: SEQUEL: A Structured English Query Language. SIGMOD Workshop, Vol. 1 1974: 249-264 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[4]
...
[5]
E. F. Codd: A Relational Model of Data for Large Shared Data Banks. Commun. ACM 13(6): 377-387(1970) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[6]
E. F. Codd: A Database Sublanguage Founded on the Relational Calculus. SIGFIDET Workshop 1971: 35-68 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[7]
E. F. Codd: Further Normalization of the Data Base Relational Model. IBM Research Report, San Jose, California RJ909: (1971) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[8]
E. F. Codd: Normalized Data Structure: A Brief Tutorial. SIGFIDET Workshop 1971: 1-17 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[9]
E. F. Codd: Recent Investigations in Relational Data Base Systems. IFIP Congress 1974: 1017-1021 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[10]
E. F. Codd, C. J. Date: Interactive Support For Non-Programmers: The Relational and Network Approaches. SIGMOD Workshop, Vol. 2 1974: 11-41 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[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) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[14]
...
[15]
Igor Hawryszkiewycz, Jack B. Dennis: An Approach to Proving the Correctness of Data Base Operations. SIGFIDET Workshop 1972: 323-348 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[16]
...
[17]
Barbara Liskov, Stephen N. Zilles: Programming with Abstract Data Types. SIGPLAN Notices 9(4): 50-59(1974) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[18]
...
[19]
Naftaly H. Minsky: On Interaction with Data Bases. SIGMOD Workshop, Vol. 1 1974: 51-62 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[20]
...
[21]
...
[22]
...
[23]
Michael Stonebraker: Implementation of Integrity Constraints and Views by Query Modification. SIGMOD Conference 1975: 65-78 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[24]
...
[25]
...
[26]
...

Copyright © Tue Mar 16 02:21:54 2010 by Michael Ley (ley@uni-trier.de)