ACM SIGMOD Anthology VLDB dblp.uni-trier.de

Cumulative Updates.

Suryanarayana M. Sripada, Beat Wüthrich: Cumulative Updates. VLDB 1994: 534-545
@inproceedings{DBLP:conf/vldb/SripadaW94,
  author    = {Suryanarayana M. Sripada and
               Beat W{\"u}thrich},
  editor    = {Jorge B. Bocca and
               Matthias Jarke and
               Carlo Zaniolo},
  title     = {Cumulative Updates},
  booktitle = {VLDB'94, Proceedings of 20th International Conference on Very
               Large Data Bases, September 12-15, 1994, Santiago de Chile, Chile},
  publisher = {Morgan Kaufmann},
  year      = {1994},
  isbn      = {1-55860-153-8},
  pages     = {534-545},
  ee        = {db/conf/vldb/vldb94-534.html},
  crossref  = {DBLP:conf/vldb/94},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

When an update to a view is requested by a user, there may be no unique way of updating the stored relations in the database to realize the requested update. Chosing one of the alternatives for updating stored relations may not reflect the change that has actually taken place in the real world; in the presence of other derived views, the database may actually present a very wrong model of the world to the user. The problem is even more severe in the case of deductive databases. For avoiding this problem, we introduce a new notion of view updates, called cumulative updates. The key idea behind cumulative updates is that update mechanisms should wait for further update requests to resolve ambiguities. Equivalently, current update requests must also take into account previous requests made to the knowledge base. Cumulative updates, therefore, subsume conventional updates in which only the current update request is considered. In this paper, we motivate the need for cumulative updates and formally define the notion of such updates as well as the different classes therein. We then give methods for computing one particular class of cumulative updates.

Copyright © 1994 by the VLDB Endowment. Permission to copy without fee all or part of this material is granted provided that the copies are not made or distributed for direct commercial advantage, the VLDB copyright notice and the title of the publication and its date appear, and notice is given that copying is by the permission of the Very Large Data Base Endowment. To copy otherwise, or to republish, requires a fee and/or special permission from the Endowment.


Online Paper

ACM SIGMOD Anthology

CDROM Version: Load the CDROM "Volume 1 Issue 5, VLDB '89-'97" and ... DVD Version: Load ACM SIGMOD Anthology DVD 1" and ...

Printed Edition

Jorge B. Bocca, Matthias Jarke, Carlo Zaniolo (Eds.): VLDB'94, Proceedings of 20th International Conference on Very Large Data Bases, September 12-15, 1994, Santiago de Chile, Chile. Morgan Kaufmann 1994, ISBN 1-55860-153-8
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

References

[ABW88]
Krzysztof R. Apt, Howard A. Blair, Adrian Walker: Towards a Theory of Declarative Knowledge. Foundations of Deductive Databases and Logic Programming. 1988: 89-148 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[AGM85]
...
[BKSW91]
Thierry Barsalou, Arthur M. Keller, Niki Siambela, Gio Wiederhold: Updating Relational Databases through Object-Based Views. SIGMOD Conference 1991: 248-257 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Cla78]
Keith L. Clark: Negation as Failure. Logic and Data Bases 1977: 293-322 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Dal88]
Mukesh Dalal: Investigations into a Theory of Knowledge Base Revision. AAAI 1988: 475-479 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Dec90]
Hendrik Decker: Drawing Updates From Derivations. ICDT 1990: 437-451 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[EG92]
Thomas Eiter, Georg Gottlob: On the Complexity of Propositional Knowledge Base Revision, Updates, and Counterfactuals. PODS 1992: 261-273 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[FKUV86]
Ronald Fagin, Gabriel M. Kuper, Jeffrey D. Ullman, Moshe Y. Vardi: Updating Logical Databases. Advances in Computing Research 3: 1-18(1986) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Gar88]
...
[GL90]
Ahmed Guessoum, John W. Lloyd: Updating Knowledge Bases. New Generation Comput. 8(1): 71-89(1990) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Gra91]
Gösta Grahne: Updates and Counterfactuals. KR 1991: 269-276 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[GRS91]
Allen Van Gelder, Kenneth A. Ross, John S. Schlipf: The Well-Founded Semantics for General Logic Programs. J. ACM 38(3): 620-650(1991) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[IL84]
Tomasz Imielinski, Witold Lipski Jr.: Incomplete Information in Relational Databases. J. ACM 31(4): 761-791(1984) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Imi86]
Tomasz Imielinski: Query Processing in Deductive Databases with Incomplete Information. SIGMOD Conference 1986: 268-280 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[KM90]
Antonis C. Kakas, Paolo Mancarella: Database Updates through Abduction. VLDB 1990: 650-661 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[KM91]
Hirofumi Katsuno, Alberto O. Mendelzon: On the Difference between Updating a Knowledge Base and Revising It. KR 1991: 387-394 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Llo87]
John W. Lloyd: Foundations of Logic Programming, 2nd Edition. Springer 1987, ISBN 3-540-18199-7
CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[LLS93]
Dominique Laurent, Viet Phan Luong, Nicolas Spyratos: Updating Intensional Predicates in Deductive Databases. ICDE 1993: 14-21 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Mar91]
...
[Men87]
...
[ML91]
Guido Moerkotte, Peter C. Lockemann: Reactive Consistency Control In Deductive Databases. ACM Trans. Database Syst. 16(4): 670-702(1991) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[MS86]
...
[Neb91]
Bernhard Nebel: Belief Revision and Default Reasoning: Syntax-Based Approaches. KR 1991: 417-428 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[RB92]
Luc De Raedt, Maurice Bruynooghe: Belief Updating from Integrity Constraints and Queries. Artif. Intell. 53(2-3): 291-307(1992) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[RdK87]
Raymond Reiter, Johan de Kleer: Foundations of Assumption-based Truth Maintenance Systems: Preliminary Report. AAAI 1987: 183-189 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Rei92]
...
[SI91]
Ken Satoh, Noboru Iwayama: Computing Abduction by Using the TMS. ICLP 1991: 505-518 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Sri88]
Suryanarayana M. Sripada: A logical framework for temporal deductive databases. VLDB 1988: 171-182 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Sri93]
...
[TA91]
Riccardo Torlone, Paolo Atzeni: Updating Deductive Databases with Functional Dependencies. DOOD 1991: 278-291 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Tom88]
Anthony Tomasic: View Update Translation via Deduction and Annotation. ICDT 1988: 338-352 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Ull82]
Jeffrey D. Ullman: Principles of Database Systems, 2nd Edition. Computer Science Press 1982, ISBN 0-914894-36-6
CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Ull88-1]
Jeffrey D. Ullman: Principles of Database and Knowledge-Base Systems, Volume I. Computer Science Press 1988, ISBN 0-7167-8158-1
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Ull88-2]
Jeffrey D. Ullman: Principles of Database and Knowledge-Base Systems, Volume II. Computer Science Press 1989, ISBN 0-7167-8162-X
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[vEK76]
Maarten H. van Emden, Robert A. Kowalski: The Semantics of Predicate Logic as a Programming Language. J. ACM 23(4): 733-742(1976) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[Win90]
...
[WŁt93]
Beat Wüthrich: On Updates and Inconsistency Repairing in Knowledge Bases. ICDE 1993: 608-615 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Copyright © Tue Mar 16 02:22:04 2010 by Michael Ley (ley@uni-trier.de)