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 for knowledge bases, called cumulative updates. The key idea behind cumulative updates is that in the case of ambiguities, update mechanisms should wait for further update requests to resolve them. 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 cumulative updates in relational databases as well as knowledge bases.
|
1654
|
Foundations of Logic Programming
– Lloyd
- 1984
|
|
936
|
Database and Knowledge-Base Systems, Volume II
– Ullman
- 1989
|
|
697
|
The Well-Founded Semantics for General Logic Programs
– Gelder, Ross, et al.
- 1991
|
|
615
|
The semantics of Predicate Logic as a Programming Language
– Emden, Kowalski
- 1976
|
|
557
|
Towards a theory of Declarative Knowledge
– Apt, Blair, et al.
- 1988
|
|
434
|
On the logic of theory change: partial meet contraction and revision functions
– GÄRDENFORS
- 1985
|
|
304
|
On the difference between updating a knowledge base and revising it, in P. Gärdenfors ed.: Belief Revision
– KATSUNO
- 1992
|
|
256
|
Truth maintenance systems
– Kleer, Harris
- 1979
|
|
236
|
Knowledge in Flux
– Gärdenfors
- 1988
|
|
228
|
Database Systems
– Garcia-Molina, Ullman, et al.
- 2002
|
|
212
|
Introduction to Mathematical Logic
– Mendelson
- 1997
|
|
184
|
Investigations into a theory of knowledge base revision: Preliminary Report
– Dalal
- 1988
|
|
161
|
Incomplete Information in Relational Databases
– Imielinski, Jr
- 1984
|
|
134
|
Database Updates Through Abduction
– Kakas, Mancarella
- 1990
|
|
130
|
On the complexity of propositional knowledge base revision, updates and counterfactuals
– Eiter, Gottlob
- 1992
|
|
101
|
Belief revision and default reasoning: Syntax-based approaches
– Nebel
- 1991
|
|
91
|
Updating Logical Databases
– Winslett
- 1990
|
|
63
|
Updating Logical Databases
– Fagin
- 1986
|
|
60
|
Reactive Consistency Control in Deductive Databases
– Moerkotte, Lockemann
- 1991
|
|
58
|
Updating relational databases through object-based views
– Barsalou, Keller, et al.
- 1991
|
|
44
|
Updates and counterfactuals
– Grahne
- 1991
|
|
37
|
Updating knowledge bases
– Guessoum, Lloyd
- 1990
|
|
32
|
Computing abduction using the TMS
– Satoh, Iwayama
- 1991
|
|
29
|
Drawing updates from derivations
– Decker
- 1990
|
|
26
|
Formalizing database evolution in the situation calculus
– Reiter
- 1992
|
|
18
|
Belief updating from integrity constraints and queries
– Raedt, Bruynooghe
- 1992
|
|
16
|
A Logical Framework for Temporal Deductive Databases
– Sripada
- 1988
|
|
13
|
View update translation via deduction and annotation
– Tomasic
- 1988
|
|
9
|
Theoretical Aspects of Reasoning about Knowledge
– Halpern, editor
- 1986
|
|
9
|
On Updates and Inconsistency Repairing in Knowledge Bases
– Wuthrich
- 1993
|
|
8
|
Updating intensional predicates in deductive databases
– Laurent, Luong, et al.
- 1993
|
|
7
|
The Truth, the Whole Truth, and Nothing But the Truth: An Indexed Bibliography to the Literature of Truth Maintenance Systems
– Martins
- 1990
|
|
7
|
A Metalogic Programming Approach to Reasoning about Time in Knowledge Bases
– Sripada
- 1993
|
|
6
|
Logic and Databases, chapter Negation as Failure
– Clark
- 1978
|
|
6
|
Updating deductive databases with functional dependencies
– Torlone, Atzeni
- 1991
|
|
6
|
Theoretical Foundations for Belief Revision
– Martins, Shapiro
- 1986
|
|
2
|
The well-founded semantics for general logic programs
– Schlipf
- 1991
|
|
1
|
Query Processing in Deductive Databases with Incomplete Information
– Imilienski
- 1986
|
|
1
|
Foundations of Logic Progmmming. Springer-Verlag, 2nd edition
– Lloyd
- 1987
|
|
1
|
Principles of Database Systerns
– Ullman
- 1982
|
|
1
|
The semantics of predicate logic 88 a programming language
– Emden, Kowalski
- 1976
|
