Incorporation of units into programming languages
Communications of the ACM
Abstract data types and the development of data structures
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
Notes on Data Base Operating Systems
Operating Systems, An Advanced Course
Programming with abstract data types
Proceedings of the ACM SIGPLAN symposium on Very high level languages
A framework for data base semantic integrity
ICSE '76 Proceedings of the 2nd international conference on Software engineering
HIGH LEVEL EXPRESSION OF SEMANTIC INTEGRITY SPECIFICATIONS IN A RELATIONAL DATA BASE SYSTEM
HIGH LEVEL EXPRESSION OF SEMANTIC INTEGRITY SPECIFICATIONS IN A RELATIONAL DATA BASE SYSTEM
Semantic integrity in a relational data base system
VLDB '75 Proceedings of the 1st International Conference on Very Large Data Bases
Functional specifications of a subsystem for data base integrity
VLDB '75 Proceedings of the 1st International Conference on Very Large Data Bases
On the updatability of relational views
VLDB '78 Proceedings of the fourth international conference on Very Large Data Bases - Volume 4
Monitoring integrity constraints in a CODASYL-like DBMS
VLDB '79 Proceedings of the fifth international conference on Very Large Data Bases - Volume 5
Integrity aspects of a shared data base
AFIPS '76 Proceedings of the June 7-10, 1976, national computer conference and exposition
| Hi-index | 0.00 |
The goal of semantic integrity is assuring that data within a database is logically correct. Logical correctness is evaluated by showing that the data represents a valid abstraction or model of a 'real world' application. This is required for effective use of the database.