Cumulative Updates.

@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

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

• Download PDF file (www.vldb.org, Darmstadt, Germany)
• Download PDF file (www.acm.org, New York, USA)

ACM SIGMOD Anthology

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the CD and click on the path of your mount point:
  /Anthology/vldb8997 or /cdrom

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the DVD and click on the path of your mount point:
  /Anthology/aDVD1 or /dvd

Printed Edition

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 BibTeX

[AGM85]

...

[BKSW91]

Thierry Barsalou, Arthur M. Keller, Niki Siambela, Gio Wiederhold: Updating Relational Databases through Object-Based Views. SIGMOD Conference 1991: 248-257 BibTeX

[Cla78]

Keith L. Clark: Negation as Failure. Logic and Data Bases 1977: 293-322 BibTeX

[Dal88]

Mukesh Dalal: Investigations into a Theory of Knowledge Base Revision. AAAI 1988: 475-479 BibTeX

[Dec90]

Hendrik Decker: Drawing Updates From Derivations. ICDT 1990: 437-451 BibTeX

[EG92]

Thomas Eiter, Georg Gottlob: On the Complexity of Propositional Knowledge Base Revision, Updates, and Counterfactuals. PODS 1992: 261-273 BibTeX

[FKUV86]

Ronald Fagin, Gabriel M. Kuper, Jeffrey D. Ullman, Moshe Y. Vardi: Updating Logical Databases. Advances in Computing Research 3: 1-18(1986) BibTeX

[Gar88]

...

[GL90]

Ahmed Guessoum, John W. Lloyd: Updating Knowledge Bases. New Generation Comput. 8(1): 71-89(1990) BibTeX

[Gra91]

Gösta Grahne: Updates and Counterfactuals. KR 1991: 269-276 BibTeX

[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) BibTeX

[IL84]

Tomasz Imielinski, Witold Lipski Jr.: Incomplete Information in Relational Databases. J. ACM 31(4): 761-791(1984) BibTeX

[Imi86]

Tomasz Imielinski: Query Processing in Deductive Databases with Incomplete Information. SIGMOD Conference 1986: 268-280 BibTeX

[KM90]

Antonis C. Kakas, Paolo Mancarella: Database Updates through Abduction. VLDB 1990: 650-661 BibTeX

[KM91]

Hirofumi Katsuno, Alberto O. Mendelzon: On the Difference between Updating a Knowledge Base and Revising It. KR 1991: 387-394 BibTeX

[Llo87]

John W. Lloyd: Foundations of Logic Programming, 2nd Edition. Springer 1987, ISBN 3-540-18199-7
BibTeX

[LLS93]

Dominique Laurent, Viet Phan Luong, Nicolas Spyratos: Updating Intensional Predicates in Deductive Databases. ICDE 1993: 14-21 BibTeX

[Mar91]

...

[Men87]

...

[ML91]

Guido Moerkotte, Peter C. Lockemann: Reactive Consistency Control In Deductive Databases. ACM Trans. Database Syst. 16(4): 670-702(1991) BibTeX

[MS86]

...

[Neb91]

Bernhard Nebel: Belief Revision and Default Reasoning: Syntax-Based Approaches. KR 1991: 417-428 BibTeX

[RB92]

Luc De Raedt, Maurice Bruynooghe: Belief Updating from Integrity Constraints and Queries. Artif. Intell. 53(2-3): 291-307(1992) BibTeX

[RdK87]

Raymond Reiter, Johan de Kleer: Foundations of Assumption-based Truth Maintenance Systems: Preliminary Report. AAAI 1987: 183-189 BibTeX

[Rei92]

...

[SI91]

Ken Satoh, Noboru Iwayama: Computing Abduction by Using the TMS. ICLP 1991: 505-518 BibTeX

[Sri88]

Suryanarayana M. Sripada: A logical framework for temporal deductive databases. VLDB 1988: 171-182 BibTeX

[Sri93]

...

[TA91]

Riccardo Torlone, Paolo Atzeni: Updating Deductive Databases with Functional Dependencies. DOOD 1991: 278-291 BibTeX

[Tom88]

Anthony Tomasic: View Update Translation via Deduction and Annotation. ICDT 1988: 338-352 BibTeX

[Ull82]

Jeffrey D. Ullman: Principles of Database Systems, 2nd Edition. Computer Science Press 1982, ISBN 0-914894-36-6
BibTeX

[Ull88-1]

Jeffrey D. Ullman: Principles of Database and Knowledge-Base Systems, Volume I. Computer Science Press 1988, ISBN 0-7167-8158-1
Contents BibTeX

[Ull88-2]

Jeffrey D. Ullman: Principles of Database and Knowledge-Base Systems, Volume II. Computer Science Press 1989, ISBN 0-7167-8162-X
Contents BibTeX

[vEK76]

Maarten H. van Emden, Robert A. Kowalski: The Semantics of Predicate Logic as a Programming Language. J. ACM 23(4): 733-742(1976) BibTeX

[Win90]

...

[Wüt93]

Beat Wüthrich: On Updates and Inconsistency Repairing in Knowledge Bases. ICDE 1993: 608-615 BibTeX