A computational model of relational algebra (Q1091810)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: A computational model of relational algebra |
scientific article; zbMATH DE number 4011923
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A computational model of relational algebra |
scientific article; zbMATH DE number 4011923 |
Statements
A computational model of relational algebra (English)
0 references
1985
0 references
A relational logic is constructed in the form of a computational model. Its relationship with boolean algebra is shown and a method of supporting derived domains is introduced (a mechanism of ''modes''). The computational model is rendered intrinsically dynamic by introduction of ''possible worlds''. The proposed method was applied for development and implementation of the LISP/R relational DBMS.
0 references
relational logic
0 references
boolean algebra
0 references
computational model
0 references
possible worlds
0 references
