Update semantics of relational views

ABSTRACT

A database view is a portion of the data structured in a way suitable to a specific application. Updates on views must be translated into updates on the underlying database. This paper studies the translation process in the relational model. The procedure is as follows: first, a “complete” set of updates is defined such that together with every update the set contains a “return” update, that is, one that brings the view back to the original state; given two updates in the set, their composition is also in the set. To translate a complete set, we define a mapping called a “translator,” that associates with each view update a unique database update called a “translation.” The constraint on a translation is to take the database to a state mapping onto the updated view. The constraint on the translator is to be a morphism. We propose a method for defining translators. Together with the user-defined view, we define a “complementary” view such that the database could be computed from the view and its complement. We show that a view can have many different complements and that the choice of a complement determines an update policy. Thus, we fix a view complement and we define the translation of a given view update in such a way that the complement remains invariant (“translation under constant complement”). The main result of the paper states that, given a complete set U of view updates, U has a translator if and only if U is translatable under constant complement.

REFERENCES

• 1: ARMSTRONG, W.W. Dependency structures of data base relationships. Information Processing 74, North-Holland, Amsterdam, 1974, pp. 580-583.
• 2: M. M. Astrahan , M. W. Blasgen , D. D. Chamberlin , K. P. Eswaran , J. N. Gray , P. P. Griffiths , W. F. King , R. A. Lorie , P. R. McJones , J. W. Mehl , G. R. Putzolu , I. L. Traiger , B. W. Wade , V. Watson, System R: relational approach to database management, ACM Transactions on Database Systems (TODS), v.1 n.2, p.97-137, June 1976 [doi>10.1145/320455.320457]
• 3: BANCILHON, F.M., AND SPYRATOS, N. Independent views of relational data bases. To appear.
• 4: CnAMBERLIN, D.D., ET AL. Views, authorization and locking in a relational data base system. In Proc. 1975 Nat. Computer Conf., AFIPS Press, Arlington, Va.
• 5: DAYAL, U., AND BERNSTEIN, P.A. On the updatability of relational views. In Proc. 4th VLDN Conf., West Berlin, Sept. 1978.
• 6: SEVCIK, K.C.., AND FURTAOO, A.L. Complete and compatible sets of update operations. In Proc. ICMOD 78 Conf., Milano, Italy, June 1978, pp. 247-260.
• 7: Michael Stonebraker , Gerald Held , Eugene Wong , Peter Kreps, The design and implementation of INGRES, ACM Transactions on Database Systems (TODS), v.1 n.3, p.189-222, Sept. 1976 [doi>10.1145/320473.320476]

INDEX TERMS

Primary Classification:
  H. Information Systems
  H.2 DATABASE MANAGEMENT
      H.2.4 Systems
          Subjects: Relational databases

Additional Classification:
  F. Theory of Computation
  F.3 LOGICS AND MEANINGS OF PROGRAMS

  H. Information Systems
  H.2 DATABASE MANAGEMENT
      H.2.1 Logical Design
          Subjects: Data models

General Terms:
Algorithms, Design

Keywords:
conceptual model, data model, data semantics, database view, relation, relational model database, update translation, view updating