Translating View Updates Using Inversion of Relational Algebra Translating View Updates Using Inversion of Relational Algebra

Views over databases have been studied in various directions for many years. Among these directions , translating view updates in terms of updates on the base relations BS81, IL83], and materialized views and their maintenance BLT86, CW91] have motivated many research eeorts. Nowadays, materialized views are nding increased research activity with applications in decision support which is relevant for data warehousing. In this paper, we study the translation process in the relational model. We propose a method for characterizing translations of view updates, based on the notion of inverse of a relational expression. Moreover, we characterize two kinds of updates: (1) deterministic updates regardless to the database state, and (2) deterministic updates according to some database state, and nally, we give an overview of performing view updates using the criterion of updates determinism. Les vues relationnelles ont fait l'objet de plusieurs etudes depuis plusieurs ann ees. Parmi ces etudes, la traduction des mises a jour de vues en termes de mises a jour sur les relations de la base BS81, IL83] et la maintenance de vues mat erialis ees BLT86, CW91] ont motiv e plusieurs chercheurs. De nos jours, les vues mat erialis ees accusent un essort consid erable dans le domaine du data warehousing. Dans ce papier, nous etudions le processus de traduction de mises a jour au travers de vues. Nous proposons une m ethode qui caract erise ces traductions. Cette m ethode est bas ee sur la notion d'inverse d'une expression relationnelle. De plus, nous caract erisons deux sortes de mises a jour : (1) des mises a jour d eterministes ind ependamment de l' etat de la base, et (2) des mises a jour d eterministes par rapport a un etat donn e de la base. Mots cl es : vues relationnelles, traductions de mises a jour au travers de vues, inverses, images r eciproques, mises a jour fortement d eterministes, mises a jour faiblement d eterministes.