Formal Limits on the Automatic Generation and Maintenance of Integrity Constraints.
James P. Delgrande:
Formal Limits on the Automatic Generation and Maintenance of Integrity Constraints.
PODS 1987: 190-196@inproceedings{DBLP:conf/pods/Delgrande87,
author = {James P. Delgrande},
title = {Formal Limits on the Automatic Generation and Maintenance of
Integrity Constraints},
booktitle = {Proceedings of the Sixth ACM SIGACT-SIGMOD-SIGART Symposium on
Principles of Database Systems, March 23-25, 1987, San Diego,
California},
publisher = {ACM},
year = {1987},
isbn = {0-89791-223-3},
pages = {190-196},
ee = {http://doi.acm.org/10.1145/28659.28680, db/conf/pods/Delgrande87.html},
crossref = {DBLP:conf/pods/87},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
BibTeX
Abstract
A formal approach to the automatic generation and maintenance of integrity constraints in relational databases is presented. It is assumed that some portion of the database extension is known and that constraints are to be formed on the basis of this portion. Since this portion may be updated or new relations added to the database the set of hypothesised constraints may require occasional revision. The goal of this paper is to characterise those constraints that may potentiallv be formed on the basis of a part of the extension. Formal systems are derived by means of which the set of constraints that can be formed is precisely specified. A procedure is derived for restoring the consistency of a set of constraints after conflicting tuples are encountered. It is shown that the set of constraints to which the procedure may be applied corresponds with minor limitations to the sentences of relational algebra.
Copyright © 1987 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.
Load The ACM SIGMOD Anthology, CDROM Edition, Volume 1-3, PODS '82-'98.
and ...
Load The ACM SIGMOD Anthology, Silver Edition, DVD 1, Proceedings.
and ...
BibTeX
Printed Edition
Proceedings of the Sixth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, March 23-25, 1987, San Diego, California.
ACM 1987, ISBN 0-89791-223-3
Contents BibTeX
References
- [1]
- ...
- [2]
- ...
- [3]
- ...
- [4]
- Edward P. F. Chan, Alberto O. Mendelzon:
Independent and Separable Database Schemes.
PODS 1983: 288-296 BibTeX
- [5]
- ...
- [6]
- ...
- [7]
- ...
- [8]
- ...
- [9]
- ...
- [10]
- ...
- [11]
- ...
- [12]
- ...
- [13]
- ...
- [14]
- David Maier:
The Theory of Relational Databases.
Computer Science Press 1983, ISBN 0-914894-42-0
Contents BibTeX
- [15]
- ...
- [16]
- John C. Mitchell:
Inference Rules for Functional and Inclusion Dependencies.
PODS 1983: 58-69 BibTeX
- [17]
- ...
- [18]
- ...
- [19]
- ...
- [20]
- ...
- [21]
- ...
- [22]
- Moshe Y. Vardi:
On Decomposition of Relational Databases.
FOCS 1982: 176-185 BibTeX
- [23]
- ...
- [24]
- ...
Referenced by
- Paul De Bra, Jan Paredaens:
Removing Redundancy and Updating Databases.
ICDT 1990: 245-256
- Heikki Mannila, Kari-Jouko Räihä:
Dependency Inference.
VLDB 1987: 155-158
BibTeX
ACM SIGMOD Anthology - DBLP:
[Home | Search: Author, Title | Conferences | Journals]
ACM SIGMOD Anthology: Copyright © by ACM (info@acm.org), Corrections: anthology@acm.org
DBLP: Copyright © by Michael Ley (ley@uni-trier.de), last change: Sat May 16 23:33:51 2009