ACM SIGMOD Anthology ACM SIGMOD dblp.uni-trier.de

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

Online Edition: ACM Digital Library

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

  1. Paul De Bra, Jan Paredaens: Removing Redundancy and Updating Databases. ICDT 1990: 245-256
  2. 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