An introduction to database systems (7th ed.)
An introduction to database systems (7th ed.)
The notions of consistency and predicate locks in a database system
Communications of the ACM
A relational model of data for large shared data banks
Communications of the ACM
SEQUEL: A structured English query language
SIGFIDET '74 Proceedings of the 1974 ACM SIGFIDET (now SIGMOD) workshop on Data description, access and control
Extending relational database technology for new applications
IBM Systems Journal
Relational database: a practical foundation for productivity
ACM Turing award lectures
A generalized method for maintaining views
AFIPS '84 Proceedings of the July 9-12, 1984, national computer conference and exposition
Error detection in data base systems
AFIPS '76 Proceedings of the June 7-10, 1976, national computer conference and exposition
Integrity aspects of a shared data base
AFIPS '76 Proceedings of the June 7-10, 1976, national computer conference and exposition
Database semantic integrity for a network data manager
AFIPS '80 Proceedings of the May 19-22, 1980, national computer conference
Properties of relationships and their representation
AFIPS '80 Proceedings of the May 19-22, 1980, national computer conference
SEQUEL 2: a unified approach to data definition, manipulation, and control
IBM Journal of Research and Development
Generic entity resolution with negative rules
The VLDB Journal — The International Journal on Very Large Data Bases
A compositional multiple policies operating system security model
WISA'07 Proceedings of the 8th international conference on Information security applications
Revisiting and improving a result on integrity preservation by concurrent transactions
OTM'10 Proceedings of the 2010 international conference on On the move to meaningful internet systems
Integrity theory for resource space model and its application
WAIM'05 Proceedings of the 6th international conference on Advances in Web-Age Information Management
High level definition of abstract domains in a relational data base system
Computer Languages
An overview of recent data base research
ACM SIGMIS Database
Hi-index | 0.00 |
This paper defines an integrity subsystem for an integrated data base management system, and shows how integrity is distinguished from the related areas of security, consistency, and reliability. The integrity subsystem guards the data base against semantic errors by permitting users to make assertions which define the correctness of the data base, and to specify actions to be taken when the assertions are not satisfied. Several categories of assertions are considered, including tuple-vs. set-oriented, state- vs. transition-oriented, immediate vs. delayed, and "hard" vs. "soft" assertions. The related areas of data definition facilities, compatibility of data items, and handling of null values are explored. Facilities are specified by means of which a user may create, drop, or examine integrity assertions.