Formalization of Database Systems -- and a Formal Definition of {IMS}

Dines Bjørner, Hans Henrik Løvengreen

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    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 languageEnglish
    Title of host publicationEigth International Conference on Very Large Data Bases
    Publication date1982
    Pages334-347
    Publication statusPublished - 1982
    EventEigth International Conference on Very Large Data Bases -
    Duration: 1 Jan 1982 → …

    Conference

    ConferenceEigth International Conference on Very Large Data Bases
    Period01/01/1982 → …

    Cite this