ACM SIGMOD Anthology VLDB dblp.uni-trier.de

A Conceptual Model for Semantic Integrity Checking.

Gerald A. Wilson: A Conceptual Model for Semantic Integrity Checking. VLDB 1980: 111-125
@inproceedings{DBLP:conf/vldb/Wilson80,
  author    = {Gerald A. Wilson},
  title     = {A Conceptual Model for Semantic Integrity Checking},
  booktitle = {Sixth International Conference on Very Large Data Bases, October
               1-3, 1980, Montreal, Quebec, Canada, Proceedings},
  publisher = {IEEE Computer Society},
  year      = {1980},
  pages     = {111-125},
  ee        = {db/conf/vldb/Wilson80.html},
  crossref  = {DBLP:conf/vldb/80},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
BibTeX

Abstract

The problem of maintaining the semantic integrity of a database is one of assuring that the database contents are consistent with the real world. This requires the use of knowledge about real world constraints upon the database, and a means for applying that knowledge to the database. The knowledge which relates the database to the real world is the conceptual model of the database. This paper presents a means for representing and applying semantic integrity knowledge to existing databases maintained by existing DBMS's. The method employed to represent the real world knowledge in the Cooperative Overt Passive Errordetection (COPE) svstem is described, and examples are shown of the ways in which COPE can apply that knowledge. Means by which COPE can incorporate other, less general, semantic integrity checking approaches are also described.

Copyright © 1980 by The Institute of Electrical and Electronic Engineers, Inc. (IEEE). Abstract used with permission.

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

Printed Edition

Sixth International Conference on Very Large Data Bases, October 1-3, 1980, Montreal, Quebec, Canada, Proceedings. IEEE Computer Society 1980
Contents BibTeX

References

[1]
...
[2]
...
[3]
John W. Backus: Can Programming Be Liberated From the von Neumann Style? A Functional Style and its Algebra of Programs. Commun. ACM 21(8): 613-641(1978) BibTeX
[4]
Philip A. Bernstein, Barbara T. Blaustein, Edmund M. Clarke: Fast Maintenance of Semantic Integrity Assertions Using Redundant Aggregate Data. VLDB 1980: 126-136 BibTeX
[5]
...
[6]
...
[7]
...
[8]
E. F. Codd: Data Base Sublanguage Founded on the Relational Calculus. IBM Research Report, San Jose, California RJ893: (1971) BibTeX
[9]
...
[10]
...
[11]
Kapali P. Eswaran, Donald D. Chamberlin: Functional Specifications of Subsystem for Database Integrity. VLDB 1975: 48-68 BibTeX
[12]
...
[13]
J. J. Florentin: Consistency Auditing of Databases. Comput. J. 17(1): 52-58(1974) BibTeX
[14]
Robert W. Graves: Integrity Control in a Relational Data Description Language. ACM Pacific 1975: 108-113 BibTeX
[15]
Michael Hammer, Dennis McLeod: Semantic Integrity in a Relational Data Base System. VLDB 1975: 25-47 BibTeX
[16]
Michael Hammer, Sunil K. Sarin: Efficient Monitoring of Database Assertions (Abstract). SIGMOD Conference 1978: 159 BibTeX
[17]
...
[18]
...
[19]
...
[20]
...
[21]
Michael Stonebraker: Implementation of Integrity Constraints and Views by Query Modification. SIGMOD Conference 1975: 65-78 BibTeX
[22]
...
[23]
Gerald A. Wilson, Sandra B. Salazar: A System for Interactive Error Detection. VLDB 1979: 32-51 BibTeX
[24]
...
[25]
...

Referenced by

  1. Gerald A. Wilson, Eric A. Domeshek, Ellen L. Drascher, Jeffrey S. Dean: The Multipurpose Presentation System. VLDB 1983: 56-69
  2. Jonathan J. King: QUIST: A System for Semantic Query Optimization in Relational Databases. VLDB 1981: 510-517
  3. Robert M. Curtice: Data Dictionaries: An Assessment of Current Practice and Problems. VLDB 1981: 564-570
BibTeX
ACM SIGMOD Anthology - DBLP: [Home | Search: Author, Title | Conferences | Journals]
VLDB Proceedings (1977-1981): Copyright © by IEEE,
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:45:08 2009