See this document in CiteSeerX!

Correct View Update Translations via Containment (1993)  (Make Corrections)  
Anthony Tomasic



  Home/Search   Context   Related

 
View or download:
stanford.edu/pub/p...stan.cs.tn.93.3.ps
stanford.edu/pub/t...stan.cs.tn.93.3.ps
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  stanford.edu/pub/papers/ (more)
From:  stanford.edu/pub/tomasic/1993/
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: 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 (EDB). 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... (Update)

Active bibliography (related documents):   More   All
2.7:   Determining Correct View Update Translations via Query Containment - Tomasic (1994)   (Correct)
0.5:   Update Operations In Deductive Databases With Functional.. - Torlone   (Correct)
0.4:   Formulating View Update Translation as Constraint Satisfaction - Shu   (Correct)

Similar documents based on text:   More   All
0.3:   Lenses and View Update Translation - Pierce, Schmitt (2003)   (Correct)
0.2:   Chain Queries Expressible by Linear Datalog Programs - Afrati (1997)   (Correct)
0.2:   Equivalence, Query-Reachability, and Satisfiability in Datalog.. - Levy, al. (1993)   (Correct)

BibTeX entry:   (Update)

@techreport{ tomasicdidcorrect,
    author = "Anthony Tomasic",
    title = "Correct View Update Translations via Containment",
    number = "CS-TN-93-3",
    pages = "11",
    url = "citeseer.ist.psu.edu/98231.html" }
Citations (may not include all citations):
109   Database updates through abduction (context) - Kakas, Mancarella - 1990
96   the semantics of updates in databases (context) - Fagin, Ullman et al. - 1983
81   Update semantics of relational views (context) - Bancilhon, Spyratos - 1981
57   Intensional updates: Abduction via deduction (context) - Bry - 1990
48   the equivalence of recursive and nonrecursive datalog progra.. - Chaudhuri, Vardi - 1992
47   the correct translation of update operations on relational v.. (context) - Dayal, Bernstein - 1982
36   Algorithms for translating view updates to database updates .. (context) - Keller - 1985
27   Drawing updates from derivations (context) - Decker - 1990
25   Updates of relational views (context) - Cosmadakis, Papadimitriou - 1984
16   Contributions to the view update problem (context) - Rossi, Naqvi - 1989
16   View update translation via deduction and annotation (context) - Tomasic - 1988
14   Choosing a view update translator by dialog at view definiti.. (context) - Keller - 1986
13   Relational Database: Selected Writings (context) - Date - 1986
12   An outline of BDGEN: a deductive DBMS (context) - Nicolas, Yazdanian - 1983
10   A relational database view update translation mechanism (context) - Masunaga - 1984
9   Updating intensional predicates in deductive databases (context) - Laurent, Luong et al. - 1993
8   Understanding the implications of view update policies (context) - Medeiros, Wm - 1986
5   A logic-based language for database updates (context) - Manchanda, Warren - 1987
4   A model-theoretic approach to updating logical databases (context) - Wilkins - 1986
4   Principals of Database and Knowledge-Base Systems (context) - Ullman - 1989
3   Foundations of canonical update support for closed database .. (context) - Hegner - 1990
2   Interpreting Natural Language Database Updates (context) - Davidson - 1984
2   Application of database logic to the view update problem (context) - Jacobs - 1980

Documents on the same site (http://www-db.stanford.edu/pub/papers/):   More
Replicated Data Management in Mobile Environments.. - Barbará-Millá..   (Correct)
Extracting Semistructured Information from the Web - Hammer, Garcia-Molina, Cho, .. (1997)   (Correct)
U-PAI: A Universal Payment Application Interface, v 0.93 - Ketchpel, Garcia-Molina, .. (1996)   (Correct)

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC