A straightforward formalization of the relational model (Q1064084)
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 straightforward formalization of the relational model |
scientific article; zbMATH DE number 3919866
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A straightforward formalization of the relational model |
scientific article; zbMATH DE number 3919866 |
Statements
A straightforward formalization of the relational model (English)
0 references
1985
0 references
The aim of the paper is to provide a simple, easily understandable formalization of the relational model preserving the power and exactness of denotational semantics and abstract data types. Projections, dependencies, queries, and time-invariants are considered in detail.
0 references
relational database
0 references
denotational semantics
0 references
abstract data types
0 references
