Electrical Engineering
      and Computer Sciences

Electrical Engineering and Computer Sciences

COLLEGE OF ENGINEERING

UC Berkeley

Properties and Update Semantics of Consistent Views

G. Gottlob, P. Paolini and Roberto Zicari

EECS Department
University of California, Berkeley
Technical Report No. UCB/CSD-86-258
September 1985

http://www.eecs.berkeley.edu/Pubs/TechRpts/1986/CSD-86-258.pdf

We consider the problem of the translation of view updates to database updates. Our research uses an algebraic approach in order to classify different properties of views with respect to the treatment of updates. In our classification, special attention is paid to a class of views that we call "consistent". Informally speaking, a consistent view is a view with the following property: if the effect of a view update program on a view state is determined, then the corresponding database update is unambiguously determined. Thus, in order to know how to translate a given view update into a database update, it is not necessary to know the sequence of particular operations of the view update program; it is sufficient to be aware of a functional specification of such a program. We show how conditional updates can be modeled and prove that consistent views have a number of interesting properties with respect to the concurrency of update transactions. Moreover, we show that the class of consistent views includes, as a particular subset, the class of views which translate updates under maintenance of a constant complement. However, we give examples of important realistic views that are consistent but do not translate updates under constant complement. The results of Bancillion and Spyratos [ACM-TODS 6:4, 1981] are generalized in order to capture the update semantics of the entire class of consistent views.


BibTeX citation:

@techreport{Gottlob:CSD-86-258,
    Author = {Gottlob, G. and Paolini, P. and Zicari, Roberto},
    Title = {Properties and Update Semantics of Consistent Views},
    Institution = {EECS Department, University of California, Berkeley},
    Year = {1985},
    Month = {Sep},
    URL = {http://www.eecs.berkeley.edu/Pubs/TechRpts/1985/6078.html},
    Number = {UCB/CSD-86-258},
    Abstract = {We consider the problem of the translation of view updates to database updates. Our research uses an algebraic approach in order to classify different properties of views with respect to the treatment of updates. In our classification, special attention is paid to a class of views that we call "consistent". Informally speaking, a consistent view is a view with the following property: if the effect of a view update program on a view state is determined, then the corresponding database update is unambiguously determined. Thus, in order to know how to translate a given view update into a database update, it is not necessary to know the sequence of particular operations of the view update program; it is sufficient to be aware of a functional specification of such a program. We show how conditional updates can be modeled and prove that consistent views have a number of interesting properties with respect to the concurrency of update transactions. Moreover, we show that the class of consistent views includes, as a particular subset, the class of views which translate updates under maintenance of a constant complement. However, we give examples of important realistic views that are consistent but do not translate updates under constant complement. The results of Bancillion and Spyratos [ACM-TODS 6:4, 1981] are generalized in order to capture the update semantics of the entire class of consistent views.}
}

EndNote citation:

%0 Report
%A Gottlob, G.
%A Paolini, P.
%A Zicari, Roberto
%T Properties and Update Semantics of Consistent Views
%I EECS Department, University of California, Berkeley
%D 1985
%@ UCB/CSD-86-258
%U http://www.eecs.berkeley.edu/Pubs/TechRpts/1985/6078.html
%F Gottlob:CSD-86-258