Abstract
Drawing upon an analogy between Programming
Language Systems and Database Systems we outline
the requirements that architectural specifications
of database systems must futfitl, and argue
that only formal, mathematical definitions may 6atisfy
these. Then we illustrate home aspects and
touch upon come ueee of formal definitions of data
models and databaee management systems. A formal
model of INS will carry this discussion. Finally
we survey some of the exkting literature on formal
definitions of database systems. The emphasis will
be on constructive definitions in the denotationul
semantics style of the VCM: Vienna Development Nethd.
The role of formal definitions in international
standardiaation efforts is briefly mentioned.
| Original language | English |
|---|---|
| Title of host publication | Eigth International Conference on Very Large Data Bases |
| Publication date | 1982 |
| Pages | 334-347 |
| Publication status | Published - 1982 |
| Event | Eigth International Conference on Very Large Data Bases - Duration: 1 Jan 1982 → … |
Conference
| Conference | Eigth International Conference on Very Large Data Bases |
|---|---|
| Period | 01/01/1982 → … |