A straightforward formalization of the relational model (Q1064084)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A straightforward formalization of the relational model |
scientific article |
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
