A formal framework for independence with respect to transactions in the universal relation model (Q803778)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 4201602
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | A formal framework for independence with respect to transactions in the universal relation model |
scientific article; zbMATH DE number 4201602 |
Statements
A formal framework for independence with respect to transactions in the universal relation model (English)
0 references
1991
0 references
Informally, a database scheme is ``independent'' if the base relations may be updated individually with no implications for the contents of other relations. This paper proposes a formal and somewhat broader concept of independence in the universal relation model. It is shown that several known results on independence can be restated in the new frame. The problem of handling non-independent database schemes is considered. An original solution is proposed which restricts the set of available transactions. In addition, the semantics of this usuable set of transactions is reformulated. It appears that this idea might lead to important theoretical and practical developments.
0 references
relational database
0 references
database scheme
0 references
independence
0 references
0.8296326398849487
0 references
0.8229649662971497
0 references
0.8160109519958496
0 references
