A conceptual model for semantic integrity checking

Authors:
Gerald A. Wilson
Affiliations:
-
Venue:
VLDB '80 Proceedings of the sixth international conference on Very Large Data Bases - Volume 6
Year:
1980

Citing 3
Cited 0

Can programming be liberated from the von Neumann style?: a functional style and its algebra of programs

Communications of the ACM
Implementation of integrity constraints and views by query modification

SIGMOD '75 Proceedings of the 1975 ACM SIGMOD international conference on Management of data
Efficient monitoring of database assertions

SIGMOD '78 Proceedings of the 1978 ACM SIGMOD international conference on management of data

Quantified Score

Hi-index	0.00

Visualization

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.