Formal definition of mappings in a data base

  • Authors:
  • P. Paolini;G. Pelagatti

  • Affiliations:
  • Istituto di Elettrotecnica ed Elettronica - Politecnico di Milano - Italy;Istituto di Elettrotecnica ed Elettronica - Politecnico di Milano - Italy

  • Venue:
  • SIGMOD '77 Proceedings of the 1977 ACM SIGMOD international conference on Management of data
  • Year:
  • 1977

Quantified Score

Hi-index 0.00

Visualization

Abstract

The purpose of this paper is to analyze the problem of mapping between different levels of a data base.A data Base is viewed as an Abstract Object upon which it is possible to operate with a given set of operations, the result of which depends both on the "type" of the object and on its state.Following this approach and utilizing some algebraic formalism we analyze the mappings between external views of a data base and the conceptual view of the data base itself. The main result is a requirement on the consistency between the process of deriving an external view from the conceptual view and the translation of external (user) operations into conceptual operations.It is also shown that this requirement is not sufficient to characterize the "interference" arising from a shared use of a Data Base.Informal and formal examples illustrating these concepts are given.