A relational model of data for large shared data banks
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
Programming with abstract data types
Proceedings of the ACM SIGPLAN symposium on Very high level languages
An approach to proving the correctness of data base operations
SIGFIDET '72 Proceedings of 1972 ACM-SIGFIDET workshop on Data description, access and control
On interaction with data bases
SIGFIDET '74 Proceedings of the 1974 ACM SIGFIDET (now SIGMOD) workshop on Data description, access and control
SEQUEL: A structured English query language
SIGFIDET '74 Proceedings of the 1974 ACM SIGFIDET (now SIGMOD) workshop on Data description, access and control
Interactive support for non-programmers: The relational and network approaches
SIGFIDET '74 Proceedings of the 1974 ACM SIGFIDET (now SIGMOD) workshop on Data description, access and control: Data models: Data-structure-set versus relational
The relational and network approaches: Comparison of the application programming interfaces
SIGFIDET '74 Proceedings of the 1974 ACM SIGFIDET (now SIGMOD) workshop on Data description, access and control: Data models: Data-structure-set versus relational
Specifying queries as relational expressions
SIGPLAN '73 Proceedings of the 1973 meeting on Programming languages and information retrieval
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
IJCAI'81 Proceedings of the 7th international joint conference on Artificial intelligence - Volume 1
Generic entity resolution with negative rules
The VLDB Journal — The International Journal on Very Large Data Bases
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
Hi-index | 0.00 |
As a model of some aspect(s) of the real world, the data in a data base must be accurate. In the context of a relational data base system, a facility to allow the expression and enforcement of a set of semantic integrity constraints is discussed. Semantic integrity constraints may describe properties of and relationships between data objects (in a relational data base) that are to hold (state snapshot constraints). Constraints may also place limitations on permissible data base operations (state transition constraints). A second type of semantic integrity information that is important in the context of a relational data base system is the precise description of domains (viewed as sets of atomic data objects), and the specification of their use as underlying domains of columns of relations in a data base. High-level nonprocedural languages to facilitate the expression of these two types of semantic integrity information are introduced and examples are presented.