A relational model of data for large shared data banks
Communications of the ACM
A decompositional approach to database constraint enforcement
CSC '93 Proceedings of the 1993 ACM conference on Computer science
Semantic integrity in a relational data base system
VLDB '75 Proceedings of the 1st International Conference on Very Large Data Bases
Bibliography on data base structures
ACM SIGMIS Database
Hi-index | 0.00 |
Work on the development of a precise semantic model for data base systems is presented. Our model is intended to provide a formal basis for investigating suitable semantic principles for data base systems where many users may be performing tasks concurrently, and where data bases are shared among users. The application programs of system users are assumed to be expressed in terms of a modified relational data base model. The semantics of primitive data base operations are expressed in terms of semantic routines that specify transformations of abstract data structures which represent states of the data base system. Our approach to establishing correctness of semantic routines in the presence of concurrent system activities is described.