Iluju Kiringa  Home/Search
Context
Related
| toronto.edu/cogrobo/Papers/krdb01.ps sunsite.informatik.rwth...10kiringa.ps 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: toronto.edu/cogrobo/publ.shtml (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We propose a theory for describing, reasoning about, and simulating transaction models that relax some of the ACID properties of classical transactions. Such models have been proposed for database applications involving long-lived, endless, and cooperative activities. Our approach appeals to non-Markovian theories, in which one may refer to past states other than the previous one. We illustrate our framework by formalizing closed nested transactions (CNTs). We first formulate CNTs as a suitable ... (Update)
Similar documents (at the sentence level):
33.5%: Simulation of Advanced Transaction Models Using GOLOG - Kiringa (2001) (Correct)
Active bibliography (related documents): More All
0.5: Specifying Active Rules for Database Maintenance - Bertossi, Pinto (Correct)
0.4: Expressing Transactions with Savepoints as Non-Markovian.. - Kiringa, Gabaldon (Correct)
0.2: Specifying Event Logics for Active Databases - Kiringa (Correct)
Similar documents based on text: More All
0.2: Exploiting Active Database Paradigm For Supporting Flexible .. - Chakravarthy, Anwar (1995) (Correct)
0.2: Transaction Datalog: a Compositional Language for Transaction.. - Bonner (1997) (Correct)
0.2: A Transaction-Oriented Workflow Activity Model - Eder, Liebhart (1994) (Correct)
BibTeX entry: (Update)
@inproceedings{ kiringa01towards,
author = "Iluju Kiringa",
title = "Towards a General Theory of Advanced Transaction Models in the Situation Calculus",
booktitle = "Knowledge Representation Meets Databases",
year = "2001",
url = "citeseer.ist.psu.edu/508838.html" }
Citations (may not include all citations):1209 Concurrency control and recovery in database systems (context) - Bernstein, Hadzilacos et al. - 1987 ACM DBLP
901 Transaction Processing: Concepts and Techniques (context) - Gray - 1995 DBLP
269 Golog: A logic programming language for dynamic domains - Levesque, Reiter et al. - 1997 DBLP
254 Database transaction models for advanced applications (context) - Elmagarmid - 1992 ACM
221 Nested Transactions: An Approach to Reliable Distributed Com.. (context) - Moss - 1985 ACM
70 Concepts and applications of multilevel transactions and ope.. - Weikum, Schek - 1992 ACM DBLP
62 Knowledge in Action: Logical Foundations for Describing and .. (context) - Reiter - 2001
61 Transaction logic programming - Bonner, Kifer - 1992 ACM DBLP
18 A Framework for Modeling and Reasoning about Extended Transa.. (context) - Chrysanthis - 1991
14 Kluwer Academic Publishers (context) - Jajodia, Kerschberg et al. - 1997
12 Nested transactions in a logical language for active rules (context) - Ludascher, May et al. - 1996 ACM DBLP
7 A theory of atomic transactions (context) - Lynch, Merritt et al. - 1988 ACM DBLP
4 and exogeneous actions in the situation calculus (context) - De Giacomo, Lesperance et al. - 1997
4 Specifying database transactions and active rules in the sit.. - Bertossi, Pinto et al. - 1999
4 Hypothetical temporal queries in databases - Arenas, Bertossi - 1998 DBLP
4 Non-markovian control in the situation calculus - Gabaldon - 2000 ACM DBLP
2 A Formal Account of Relational Active Databases in the Situa.. (context) - Kiringa
Documents on the same site (http://www.cs.toronto.edu/cogrobo/publ.shtml): More
Simulation of Advanced Transaction Models Using GOLOG - Kiringa (2001) (Correct)
On the Semantics of Deliberation in IndiGolog -.. - De Giacomo.. (2003) (Correct)
A Situation Calculus Semantics for the Prolog Cut Operator - Lin (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