Marcdo Arenas md Leopoldo Bertossi Computer Science Department School of...  Home/Search
Context Related
| toronto.edu/~marenas/./pub...krdb98.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: This paper considers the problem of posing and answering hypothetical temporal queries to databases. The queries are hypothetical in the sense that we pose a query to a virtually updated database, and the query is answered on the basis of the initial, physical database and the list of transactions that virtually update the database. The queries are temporal in the sense that they refer to possibly all the states along which the database evolves from the initial database and the final... (Update)
Context of citations to this paper: More
...virtually updated, or only the update transaction logs are kept. This situation appear frequently in applications of Reiter s formalism [AB1]. 4) Having an explicit action effect based SSA for a view makes a materialization of the view as a physical table easy. We might be...
.... ATMs that is not verbose; this would not be the case if one appeals to a transformation of non Markovian actions into Markovian ones (See [1] for such a transformation) Transaction Logic ( 4] and Statelog ( 13] are languages for database state change that include a clean...
Cited by: More
Specifying Active Rules for Database Maintenance - Bertossi, Pinto (Correct)
Specifying Event Logics for Active Databases - Kiringa (Correct)
Towards a General Theory of Advanced Transaction Models in the.. - Kiringa (Correct)
Similar documents (at the sentence level):
52.9%: Hypothetical Temporal Queries in Databases - Arenas, Bertossi (1998) (Correct)
11.1%: Hypothetical Temporal Reasoning in Databases - Arenas, Bertossi (Correct)
7.0%: Hypothetical Database Temporal Reasoning with History Encoding - Arenas, Bertossi (Correct)
Similar documents based on text: More All
0.7: Hypothetical Temporal Reasoning with History Encoding - Arenas, Bertossi (1998) (Correct)
0.7: SCDBR: An Automated Reasoner for Specifications of.. - Bertossi, Arenas.. (1996) (Correct)
0.6: SCDBR: An Automated Reasoner for Database Updates.. - Bertossi, Arenas.. (1996) (Correct)
Related documents from co-citation: More All
2: Golog: A logic programming language for dynamic domains - Levesque, Reiter et al. - 1997
2: On specifying database updates - Reiter - 1992
2: Some philosophical problems from the standpoint of Artificial Intelligence (context) - McCarthy, Hayes - 1969
BibTeX entry: (Update)
Arenas, M., Bertossi, L.: Hypothetical temporal queries in databases. In Proc. of the ACM SIGMOD/PODS 5th Workshop on Knowledge Representation meets databases (KRDB'98), Borgida, A., Chaudhuri, V., Staudt, M. (eds.) (1998) (http://sunsite.informatik.rwthaachen. de/Publications/CEUR-WS/Vol-10/). http://citeseer.ist.psu.edu/article/arenas98hypothetical.html More
@inproceedings{ arenas98hypothetical,
author = "Marcelo Arenas and Leopoldo E. Bertossi",
title = "Hypothetical Temporal Queries in Databases",
booktitle = "Knowledge Representation Meets Databases",
pages = "4.1-4.8",
year = "1998",
url = "citeseer.ist.psu.edu/article/arenas98hypothetical.html" }
Citations not processed or no citations identified.
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