Formalization of Database Systems - and a Formal Definition of IMS (Invited Paper)

Abstract

ion Techniques, Functional & Logic Programming, me/Post conditions, Datastructure Invariant-s 0. Introductim 1. Specification Etequirements & Objectives 2. Formal Definitions h Their Uses 3. Related P&rk An Annotated Bibliography 4. Conclusion References (2) This Was the first step of our analogy. In our next step = relate programning language processors to… (More)

Topics

Cite this paper

@inproceedings{Bjrner1982FormalizationOD, title={Formalization of Database Systems - and a Formal Definition of IMS (Invited Paper)}, author={Dines Bj\orner and Hans Henrik L\ovengreen}, booktitle={VLDB}, year={1982} }