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.
|Title of host publication||Eigth International Conference on Very Large Data Bases|
|Publication status||Published - 1982|
|Event||Eigth International Conference on Very Large Data Bases - |
Duration: 1 Jan 1982 → …
|Conference||Eigth International Conference on Very Large Data Bases|
|Period||01/01/1982 → …|