Anthony Bonner, Michael Kifer  Home/Search
Context Related
Links: DBLP | toronto.edu/pub/bonner/pa...jicslp96.ps sunysb.edu/pub/Tec...ttranslogic.ps.Z 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/~bonner/papers (more) From: sunysb.edu Homepages: A.Bonner |
Rate this article:      (best)Comment on this article |
Abstract: In previous work, we developed Transaction Logic (or T R), which deals with state changes in deductive databases. T R provides a logical framework in which elementary database updates and queries can be combined into complex database transactions. T R accounts not only for the updates themselves, but also for important related problems, such as the order of update operations, non-determinism, and transaction failure and rollback. In the present paper, we propose Concurrent Transaction Logic (or ... (Update)
Cited by: More
A Formal Framework for Agent Itinerary Specification, Security.. - Lu, Xu (Correct)
CTR-S: A Logic for Specifying Contracts in Semantic Web.. - Davulcu, Kifer.. (2004) (Correct)
YAWL: Yet Another Workflow Language - van der Aalst, Hofstede (2003) (Correct)
Similar documents (at the sentence level):
8.3%: Transaction Logic Programming (or, A Logic of Procedural and.. - Bonner, Kifer (1995) (Correct)
5.7%: A Logic For Programming Database Transactions - Bonner, Kifer (1998) (Correct)
Active bibliography (related documents): More All
0.5: Transaction Datalog: a Compositional Language for Transaction.. - Bonner (1997) (Correct)
0.5: Implementation and Performance of Transaction Logic in Prolog - Hung (1996) (Correct)
0.4: Logics for Databases and Information Systems - Chomicki, (eds.) (1998) (Correct)
Similar documents based on text: More All
0.2: A Logical Framework for Scheduling Workflows Under.. - Senkul, Kifer, Toroslu (2002) (Correct)
0.2: Database Programming in Transaction Logic - Bonner, Kifer (1993) (Correct)
0.2: Results on Reasoning about Updates in Transaction Logic - Bonner, Kifer (1998) (Correct)
Related documents from co-citation: More All
21: Theoretical Computer Science (context) - Bonner, Complexity - 1990
13: Capturing database dynamics by deferred updates - Wichert, Freitag - 1997
12: A logic-based language for database updates (context) - Manchanda, Warren - 1988
BibTeX entry: (Update)
A. Bonner and M. Kifer. Concurrency and communication in transaction logic. In Proceedings of the Joint International Conference and Symposium on Logic Programming, pages 142--156, Bonn, 1996. MIT Press. http://citeseer.ist.psu.edu/bonner96concurrency.html More
@inproceedings{ bonner96concurrency,
author = "Anthony J. Bonner and Michael Kifer",
title = "Concurrency and Communication in Transaction Logic",
booktitle = "Joint International Conference and Symposium on Logic Programming",
pages = "142-156",
year = "1996",
url = "citeseer.ist.psu.edu/bonner96concurrency.html" }
Citations (may not include all citations):982 Theoretical Computer Science (context) - Girard - 1987 ACM
854 Information and Computation (context) - Milner, Parrow et al. - 1992
854 Information and Computation (context) - Milner, Parrow et al. - 1992
413 Logical foundations of object-oriented and frame-based langu.. - Kifer, Lausen et al. - 1995 ACM DBLP
299 Conditional rewriting logic as a unified model of concurrenc.. (context) - Meseguer - 1992 ACM
247 A family of concurrent logic programming languages (context) - Shapiro - 1989
223 Linear objects: Logical processes with built-in inheritance - Andreoli, Pareschi - 1991 ACM
134 Theory of generalized annotated logic programming and its ap.. - Kifer, Subrahmanian - 1992
106 Paraconsistent logic programming (context) - Blair, Subrahmanian - 1989 ACM DBLP
101 HiLog: A foundation for higher-order logic programming - Chen, Kifer et al. - 1993 DBLP
73 Theoretical Computer Science (context) - Bonner, Complexity - 1990 ACM
73 Theoretical Computer Science (context) - Bonner, Kifer et al. - 1994 ACM
71 A logic for reasoning with inconsistency - Kifer, Lozinskii - 1992 ACM DBLP
69 calculus as a theory in linear logic: Preliminary results (context) - Miller - 1992
61 Transaction logic programming - Bonner, Kifer - 1993 ACM DBLP
35 Process Logic: Expressiveness (context) - Harel, Kozen et al. - 1982
34 Concurrent-dynamic logic (context) - Peleg - 1987
30 Formalizing database evolution in the situation calculus - Reiter - 1992
19 LabFlow-1: a database benchmark for high-throughput workflow.. - Bonner, Shrufi et al. - 1996 DBLP
16 Requirements for a deductive query language in the MapBase g.. - Goodman, Rozen et al. - 1994 DBLP
16 Multiparadigm logic programming (context) - Meseguer - 1992
13 or a logic of declarative and procedural knowledge (context) - Bonner, Kifer et al. - 1995
7 Deductive and object-oriented data languages: A quest for in.. (context) - Kifer - 1995
6 Concurrency Control and Recovery in Databases (context) - Bernstein, Hadzilacos et al. - 1987
6 Communication in concurrent dynamic logic (context) - Peleg - 1987
5 calculus---An experiment in concurrent language design (context) - Pierce, the - 1994
2 Applications of transaction logic to knowledge representatio.. - Bonner, Kifer - 1994 ACM DBLP
1 Concurrent Transaction Datalog: Complexity and expressibilit.. (context) - Bonner, Kifer - 1996
1 A logic theory of concurrent objects and its realization in .. (context) - Meseguer - 1993
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.toronto.edu/~bonner/papers.html): More
Expressing Database Queries with Intuitionistic Logic - Bonner, McCarty, Vadaparty (1989) (Correct)
Using Interval Graphs for Solving Map Assembly Problems - Randall (1997) (Correct)
Sequences, Datalog and Transducers - Mecca, Bonner (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