Functional Specifications of Subsystem for Database Integrity.

Kapali P. Eswaran, Donald D. Chamberlin: Functional Specifications of Subsystem for Database Integrity. VLDB 1975: 48-68

@inproceedings{DBLP:conf/vldb/EswaranC75,
  author    = {Kapali P. Eswaran and
               Donald D. Chamberlin},
  editor    = {Douglas S. Kerr},
  title     = {Functional Specifications of Subsystem for Database Integrity},
  booktitle = {Proceedings of the International Conference on Very Large Data
               Bases, September 22-24, 1975, Framingham, Massachusetts, USA},
  publisher = {ACM},
  year      = {1975},
  pages     = {48-68},
  ee        = {db/conf/vldb/EswaranC75.html},
  crossref  = {DBLP:conf/vldb/75},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

This paper defines an integrity subsystem for an integrated data base management system, and shows how integrity is distinguished from the related areas of security, consistency, and reliability. The integrity subsystem guards the data base against semantic errors by permitting users to make assertions which define the correctness of the data base, and to specify actions to be taken when the assertions are not satisfied. Several categories of assertions are considered, including tuple- vs. set-oriented, state- vs. transition-oriented, immediate vs. delayed, and "hard" vs. "soft" assertions. The related areas of data definition facilities, compatibility of data items, and handling of null values are explored. Facilities are specified by means of which a user may create, drop, or examine integrity assertions.

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 ...

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

DVD Version: Load ACM SIGMOD Anthology DVD 1" and ...

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

Douglas S. Kerr (Ed.): Proceedings of the International Conference on Very Large Data Bases, September 22-24, 1975, Framingham, Massachusetts, USA. ACM 1975
Contents

References

[1]: E. F. Codd: A Relational Model of Data for Large Shared Data Banks. Commun. ACM 13(6): 377-387(1970)
[2]: ...
[3]: ...
[4]: ...
[5]: ...
[6]: 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)
[7]: E. F. Codd: Data Base Sublanguage Founded on the Relational Calculus. IBM Research Report, San Jose, California RJ893: (1971)
[8]: Donald D. Chamberlin, Raymond F. Boyce: SEQUEL: A Structured English Query Language. SIGMOD Workshop, Vol. 1 1974: 249-264
[9]: E. F. Codd: Relational Completeness of Data Base Sublanguages. In: R. Rustin (ed.): Database Systems: 65-98, Prentice Hall and IBM Research Report RJ 987, San Jose, California : (1972)
[10]: ...
[11]: ...
[12]: ...