Stanford InfoLab Publication Server

Correct View Update Translations via Containment

Tomasic, A. (1993) Correct View Update Translations via Containment. Technical Report. Stanford University.




One approach to the view update problem for deductive databases proves properties of translations that is, a language specifies the meaning of an update to the intensional database (IDB) in terms of updates to the extensional database We argue that the view update problem should be viewed as a question of the expressive power of the translation language and the computational cost of demonstrating properties of a translation. We use an active rule based database language as a means of specifying translations of updates on the IDB into updates on the EDB. This paper uses the containment of one datalog program (or conjunctive query) by another to demonstrate that a translation is semantically correct. We show that the complexity of correctness is lower for insertion than deletion. Finally, we discuss extension to the translation language.

Item Type:Techreport (Technical Report)
Subjects:Computer Science
Related URLs:Project Homepage
ID Code:38
Deposited By:Import Account
Deposited On:25 Feb 2000 16:00
Last Modified:02 Dec 2008 14:44

Download statistics

Repository Staff Only: item control page