| Alternate document: Details On Formalizing Database Updates: Preliminary Report (92) Raymond Reiter |
Raymond Reiter  Home/Search
Context Related
Links: DBLP | uky.edu/cs/lpnmr/fgcs.ps.gz uky.edu/pub/lpnmr/fgcs.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: uky.edu/~lpnmr/papers (more) From: uky.edu (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We continue our exploration of a theory of database updates (Reiter [21, 23]) based upon the situation calculus. The basic idea is to take seriously the fact that databases evolve in time, so that updatable relations should be endowed with an explicit state argument representing the current database state. Database transactions are treated as functions whose effect is to map the current database state into a successor state. The formalism is identical to that arising in the artificial... (Update)
Context of citations to this paper: More
...it was not there already. This is straightforward to model using the language that we have described already. Indeed, following Reiter [32], each database relation is modeled as a fluent. For simplicity, we eliminate fields in the relations that are not relevant for the...
...and state constraints. This paper consolidates and expands on a variety of results, some of which have been described elsewhere (Reiter [46, 45, 44]) Address correspondence to Department of Computer Science University of Toronto Toronto, Canada M5S 1A4 email: reiter...
Cited by: More
Actions and Specificity - Hölldobler, Thielscher (1993) (Correct)
Computing Change and Specificity with Equational Logic.. - Hölldobler, Thielscher (Correct)
Objects, Specificity, Logic, and Chance - Hölldobler, Thielscher (Correct)
Similar documents (at the sentence level): More
19.4%: On Specifying Database Updates - Reiter (1992) (Correct)
15.7%: On Formalizing Database Updates: Preliminary Report - Reiter (1992) (Correct)
15.7%: The Projection Problem in the Situation Calculus: A Soundness and .. - Reiter (1992) (Correct)
Active bibliography (related documents): More All
0.3: State Constraints Revisited - Lin, Reiter (1994) (Correct)
0.1: Transaction Logic Programming (or, A Logic of Procedural and.. - Bonner, Kifer (1995) (Correct)
0.1: Temporal Reasoning in the Situation Calculus - Pinto (1994) (Correct)
Similar documents based on text: More All
0.2: Network Working Group R. Friend Request for Comments: 1974.. - Status Of This (Correct)
0.1: How to Progress a Database II: The STRIPS Connection - Lin, Reiter (1994) (Correct)
0.1: A Correction to the Algorithm in Reiter's Theory of Diagnosis - Greiner (1989) (Correct)
Related documents from co-citation: More All
17: The frame problem in the situation calculus: a simple solution (context) - Reiter - 1991
16: Negation as Failure (context) - Clark - 1978
15: Some philosophical problems from the standpoint of Artificial Intelligence (context) - McCarthy, Hayes - 1969
BibTeX entry: (Update)
R. Reiter. Formalizing database evolution in the situation calculus. In Proceedings of the Fifth Generation Computer Systems, Tokyo, Japan, June 1992. http://citeseer.ist.psu.edu/reiter92formalizing.html More
@inproceedings{ raymond92formalizing,
author = "Reiter, Raymond",
title = "Formalizing Database Evolution in the Situation Calculus",
booktitle = "Proceedings of the International Conference on Fifth Generation Computer Systems",
publisher = "Association for Computing Machinery",
address = "ICOT, Japan",
pages = "600--609",
year = "1992",
url = "citeseer.ist.psu.edu/reiter92formalizing.html" }
Citations (may not include all citations):1838 Foundations of Logic Programming (context) - Lloyd - 1987 ACM
759 Negation as failure (context) - Clark - 1978 ACM DBLP
663 Some philosophical problems from the standpoint of artificia.. (context) - McCarthy, Hayes - 1969 ACM
388 The frame problem in the situation calculus: a simple soluti.. (context) - Reiter - 1991
178 ADL: Exploring the middle ground between STRIPS and the situ.. (context) - Pednault - 1989 DBLP
160 Programs with common sense - McCarthy - 1968 ACM
112 Reasoning about actions I: A possible worlds approach - Ginsberg, Smith - 1988
98 Proving properties of states in the situation calculus - Reiter - 1992 ACM DBLP
90 Synthesizing plans that contain actions with contextdependen.. (context) - Pednault - 1988
87 Monotonic solution of the frame problem in the situation cal.. - Schubert - 1990
85 Achieving several goals simultaneously (context) - Waldinger - 1977
75 Provably correct theories of action - Lin, Shoham - 1991 ACM DBLP
74 Theorem proving by resolution as a basis for questionansweri.. (context) - Green - 1969
71 Database updates in the event calculus (context) - Kowalski - 1992 ACM DBLP
67 Foundations of Deductive Databases and Logic Programming (context) - Minker - 1988 ACM DBLP
66 and the frame problem (context) - Hanks, McDermott et al. - 1986
64 Department of Computer Science (context) - Reiter, database et al.
60 The case for domain-specific frame axioms (context) - Haas - 1987
50 Exploiting Constraints in Design Synthesis (context) - Finger - 1986 ACM
42 A simple solution to the Yale shooting problem - Baker - 1989 ACM DBLP
41 Toward a metatheory of action - Lifschitz - 1991 DBLP
29 On formalizing database updates: preliminary report - Reiter - 1992 DBLP
23 Temporal projection and explanation (context) - Baker, Ginsberg - 1989 DBLP
11 The projection problem in the situation calculus: A soundnes.. - Reiter - 1992
4 A simple solution to the frame problem (context) - Reiter
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.engr.uky.edu/~lpnmr/papers.html): More
Logic Programs as Definitions: a framework for and an.. - Denecker, De Schreye (Correct)
How to Progress a Database (and Why) I. Logical Foundations - Fangzhen Lin (1994) (Correct)
Domain Theory Meets Default Logic - Rounds, Zhang (1995) (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