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

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

Printed Edition

Sixth International Conference on Very Large Data Bases, October 1-3, 1980, Montreal, Quebec, Canada, Proceedings. IEEE Computer Society 1980
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

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) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[4]
Philip A. Bernstein, Barbara T. Blaustein, Edmund M. Clarke: Fast Maintenance of Semantic Integrity Assertions Using Redundant Aggregate Data. VLDB 1980: 126-136 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[5]
...
[6]
...
[7]
...
[8]
E. F. Codd: Data Base Sublanguage Founded on the Relational Calculus. IBM Research Report, San Jose, California RJ893: (1971) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[9]
...
[10]
...
[11]
Kapali P. Eswaran, Donald D. Chamberlin: Functional Specifications of Subsystem for Database Integrity. VLDB 1975: 48-68 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[12]
...
[13]
J. J. Florentin: Consistency Auditing of Databases. Comput. J. 17(1): 52-58(1974) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[14]
Robert W. Graves: Integrity Control in a Relational Data Description Language. ACM Pacific 1975: 108-113 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[15]
Michael Hammer, Dennis McLeod: Semantic Integrity in a Relational Data Base System. VLDB 1975: 25-47 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[16]
Michael Hammer, Sunil K. Sarin: Efficient Monitoring of Database Assertions (Abstract). SIGMOD Conference 1978: 159 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[17]
...
[18]
...
[19]
...
[20]
...
[21]
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
[22]
...
[23]
Gerald A. Wilson, Sandra B. Salazar: A System for Interactive Error Detection. VLDB 1979: 32-51 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[24]
...
[25]
...

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