Abstract

this paper, including transaction logs and historical queries, the complexity of query evaluation, actualized transactions, logic programming approaches to updates, database views and state constraints. / This paper consolidates and expands on a variety of results, some of which have been described elsewhere (Reiter [46, 45, 44])

Citations

855	Negation as Failure - Clark - 1978
570	On the logic of theory change: Partial meet contraction and revision functions - Alchourron, Gärdenfors, et al. - 1985
345	A.: On the difference between updating a knowledge base and revising it - Katsuno, Mendelzon - 1991
134	Default reasoning, nonmonotonic logics, and the frame problem - Hanks, McDermott - 1986
132	Reasoning about actions I: a possible worlds approach - Smith - 1988
131	Database updates through abduction - Kakas, Mancarella - 1990
109	Transaction logic programming - Bonner, Kifer - 1993
86	A logical approach to high-level robot programming - a progress report - Levesque, Marcu, et al. - 1994
78	Database Updates in the Event Calculus - Kowalski - 1989
77	Theorem Proving by Resolution as a Basis for Question Answering - Green - 1969
63	Updating logical databases - Fagin, Kuper, et al. - 1988
60	Updates: a new frontier - Abiteboul - 1988
59	Exploiting Constraints in Design Synthesis - Finger - 1986
48	A simple solution to the yale shooting problem - Baker - 1989
43	On the Use of an Extended Relational Model to Handle Changing Incomplete Information - Keller, Wilkins
40	Updates and Counterfactuals - Grahne - 1991
38	Updating knowledge bases - Guessoum, Lloyd - 1990
34	The situation calculus and event calculus compared - Kowalski, Sadri - 1994
28	Updating knowledge bases II - Guessoum, Lloyd - 1991
24	Temporal projection and explanation - Baker, Ginsberg - 1989
14	Knowledgebase transformations - Grahne, Mendelzon, et al. - 1997
11	A Transaction{Based Approach to Relational Database Speci - Abiteboul, Vianu - 1989
4	The TaxisDL software description language - Borgida, Mylopoulos, et al. - 1993
2	A Family of Temporal Languages for the Description of Transition Constraints - Casanova, Furtado - 1982