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.

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

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

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