Marcelo Arenas, Leopoldo Bertossi  Home/Search
Context Related
| toronto.edu/~marenas/./p...esslli98.pdf Cached: 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.
PS.gz PS Image Update HelpFrom: toronto.edu/~maren...publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Marcelo Arenas and Leopoldo Bertossi Pontificia Universidad Cat61ica de Chile, Escuela de Ingenier/a, Departamento de Ciencia de Computaci6n, Casilla 306, Santiago 22, Chile. (Update)
Context of citations to this paper: More
...state. For lack of space we do not state nor prove general theorems, but they can be found in the extended version of this paper [2]. In general, we consider our paper as a contribution in the direction of modeling and doing hypothetical reasoning in databases, a subject...
...any state term other than S 0 . This is knowledge about the initial state, and state independent knowledge; 4) 1 As shown in [Are98a], all we do here can be done directly in the SC. Nevertheless, queries in temporal logic seem to be more readable, and more importantly,...
Cited by: More
Hypothetical Temporal Queries in Databases - Arenas, Bertossi (1998) (Correct)
Hypothetical Database Temporal Reasoning with History Encoding - Arenas, Bertossi (Correct)
Similar documents (at the sentence level):
46.9%: Hypothetical Temporal Reasoning with History Encoding.. - Arenas, Bertossi (1998) (Correct)
9.3%: Hypothetical Temporal Reasoning in Databases - Arenas, Bertossi (Correct)
Active bibliography (related documents): More All
0.3: Hypothetical Temporal Reasoning with History Encoding - Arenas, Bertossi (1997) (Correct)
0.3: The Dynamics of Database Views - Arenas, Bertossi (1998) (Correct)
0.2: SCDBR: An Automated Reasoner for Specifications of.. - Bertossi, Arenas.. (1996) (Correct)
Similar documents based on text: More All
0.9: Consistent Query Answers in Inconsistent Databases - Arenas, Bertossi, Chomicki (1999) (Correct)
Related documents from co-citation: More All
2: and the frame problem (context) - Hanks, McDermott et al. - 1986
2: SCDBR: An Automated Reasoner for Specifications of Database Updates - Bertossi, Arenas et al. - 1996
2: Answering Historical Queries in Databases (context) - Siu, Bertossi - 1996
BibTeX entry: (Update)
M. Arenas and L. Bertossi. Hypothetical Temporal Reasoning with History Encoding (Extended Version). Can be found as ext-temporal.ps in http://dcc.ing.puc.cl/ ¸ bertossi/, 1997. http://citeseer.ist.psu.edu/arenas97hypothetical.html More
@misc{ arenas97hypothetical,
author = "M. Arenas and L. Bertossi",
title = "Hypothetical Temporal Reasoning with History Encoding",
text = "M. Arenas and L. Bertossi. Hypothetical Temporal Reasoning with History
Encoding (Extended Version). Can be found as ext-temporal.ps in http://dcc.ing.puc.cl/
¸ bertossi/, 1997.",
year = "1997",
url = "citeseer.ist.psu.edu/arenas97hypothetical.html" }
Citations (may not include all citations):663 Some Philosophical Problems from the Stand- point of Artific.. (context) - McCaz'thy, Hayes - 1969
388 The Frame Problem in the Situation Calculus: a Simple Soluti.. (context) - Reiter - 1991
191 Temporal Databases (context) - Snodgrass, Ahn - 1986
82 Special Issue on Action and Processes (context) - Lin, Reiter et al. - 1994
66 and the Frame Problem (context) - Hanks, McDermott et al. - 1986
61 How to Progress a Database - Lin, Reiter - 1997
60 On Specifying Database Updates - Reiter - 1995
58 Concurrency and Continuous Time in the Sit- uation Calculus (context) - Reiter - 1996
53 Automatic Verification of Database Transaction Safety (context) - Sheard, Stemple - 1989
39 Efficient Checking of Temporal Integrity Constraints Us- ing.. - Chomicki - 1995
15 SCDBR: An Automated Reasoner for Specifications of Database .. - Bertossi, Arenas et al.
13 Automating Proofs of Integrity Constraints in the Situation .. - Bertossi, Pinto et al. - 1996
9 Answering Historical Queries in Databases (context) - Siu, Bertossi - 1996
Documents on the same site (http://www.cs.toronto.edu/~marenas/publications.html): More
Scalar Aggregation in Inconsistent Databases - Arenas, Bertossi, Chomicki.. (2003) (Correct)
An Information-Theoretic Approach to Normal Forms for.. - Arenas, Libkin (2003) (Correct)
SCDBR: An Automated Reasoner for Specifications of.. - Bertossi, Arenas.. (1998) (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