Anthony J. Bonner, Michael Kifer  Home/Search
Context Related
| toronto.edu/pub/bonner/p...chapter98.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/~bonner/papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: : We propose an extension of classical predicate calculus, called Transaction Logic, which provides a logical foundation for the phenomenon of state changes in logic programs and databases. Transaction Logic comes with a natural model theory and a sound and complete proof theory. The proof theory not only verifies programs, but also executes them, which makes this logic an ideal tool for declarative programming of database transactions and state-modifying logic programs. The semantics of... (Update)
Context of citations to this paper: More
...the different approaches using the two dimensions introduced in Section 2. 4. 1 Transaction Logic Transaction logic (or , see [44] [45]) is designed especially to deal with the dynamics of database updates and logic programming. It is an extension of predicate logic meant...
...to deal with an account of notions such as serializability and atomicity, and with ATMs which are more complex. Transaction Logic ([4]) and Statelog ( 15] are languages for database state change that include a clean model theory. However, these approaches, unlike the...
Cited by: More
CTR-S: A Logic for Specifying Contracts in Semantic Web.. - Davulcu, Kifer.. (2004) (Correct)
Logic Based Approaches to Workflow Modeling and.. - Mukherjee, Davulcu.. (2003) (Correct)
Design and Implementation of the Physical Layer in.. - Davulcu, Yang.. (2000) (Correct)
Similar documents (at the sentence level): More
61.8%: Logics for Databases and Information Systems - Chomicki, (eds.) (1998) (Correct)
19.4%: Transaction Logic Programming - Bonner, Kiffer (1993) (Correct)
18.5%: Transaction Logic Programming (or, A Logic of Procedural and.. - Bonner, Kifer (1995) (Correct)
Active bibliography (related documents): More All
0.8: Results on Reasoning about Updates in Transaction Logic - Bonner, Kifer (1998) (Correct)
0.6: A Logical Semantics For Hypothetical Rulebases With Deletion - Bonner (1997) (Correct)
0.5: Transaction Datalog: a Compositional Language for Transaction.. - Bonner (1997) (Correct)
Similar documents based on text: More All
0.2: Extension Table Built-ins for Prolog - Fan, Dietrich (1992) (Correct)
0.2: Applications of Transaction Logic to Knowledge Representation - Anthony Bonner (1994) (Correct)
0.2: Database Programming in Transaction Logic - Bonner, Kifer (1993) (Correct)
Related documents from co-citation: More All
6: Transaction logic programming - Bonner, Kifer - 1993
6: Theoretical Computer Science (context) - Bonner, Complexity - 1990
5: Concurrency and communication in transaction logic - Bonner, Kifer - 1996
BibTeX entry: (Update)
A.J. Bonner and M. Kifer. A logic for programming database transactions. In J. Chomicki and G. Saake, editors, Logics for Databases and Information Systems, chapter 5, pages 117--166. Kluwer Academic Publishers, March 1998. http://citeseer.ist.psu.edu/article/bonner98logic.html More
@inproceedings{ bonner98logic,
author = "Anthony J. Bonner and Michael Kifer",
title = "A Logic for Programming Database Transactions",
booktitle = "Logics for Databases and Information Systems",
pages = "117-166",
year = "1998",
url = "citeseer.ist.psu.edu/article/bonner98logic.html" }
Citations (may not include all citations):1838 Foundations of Logic Programming (context) - Lloyd - 1987
981 Principles of Database and Knowledge-Base Systems (context) - Ullman - 1988
858 The stable model semantics for logic programming - Gelfond, Lifschitz - 1988
775 Foundations of Databases (context) - Abiteboul, Hull et al. - 1995
444 Towards a general theory of action and time (context) - Allen - 1984
435 Towards a theory of declarative knowledge (context) - Apt, Blair et al. - 1988
413 Logical foundations of objectoriented and frame-based langua.. - Kifer, Lausen et al. - 1995
388 The frame problem in the situation calculus: A simple soluti.. (context) - Reiter - 1991
370 A Mathematical Introduction to Logic (context) - Enderton - 1972
312 The well-founded semantics for general logic programs - Van Gelder, Ross et al. - 1991
269 Golog: A logic programming language for dynamic domains - Levesque, Reiter et al. - 1997
204 the declarative semantics of deductive databases and logic p.. (context) - Przymusinski - 1988
200 the difference between updating a knowledge base and revisin.. - Katsuno, Mendelzon - 1992
189 Computable queries for relational databases - Chandra, Harel - 1980
163 Universality of data retrieval languages (context) - Aho, Ullman - 1979
149 A Logical Language for Data and Knowledge Bases (context) - Naqvi, Tsur - 1989
132 Towards a logical reconstruction of relational database theo.. (context) - Reiter - 1984
124 Datalog extensions for database queries and updates (context) - Abiteboul, Vianu - 1991
98 Proving properties of states in the situation calculus - Reiter - 1993
73 Theoretical Computer Science (context) - Bonner, Kifer et al. - 1994
71 Database updates in event calculus (context) - Kowalski - 1992
61 How to progress a database - Lin, Reiter - 1994
59 A logic-based language for database updates (context) - Manchanda, Warren - 1988
50 a new frontier (context) - Abiteboul - 1988
50 Exploiting Constraints in Design Synthesis (context) - Finger - 1986
47 Concurrency and communication in transaction logic - Bonner, Kifer - 1996
44 Procedural languages for database queries and updates (context) - Abiteboul, Vianu - 1990
41 Glue-Nail: A deductive database system - Phipps, Derr et al. - 1991
41 A unified semantics for active and deductive databases - Zaniolo - 1993
35 Process Logic: Expressiveness (context) - Harel, Kozen et al. - 1982
30 Database updates in logic programming (context) - Naqvi, Krishnamurthy - 1988
30 A logical approach to high-level robot programming--a progre.. (context) - Lesp'erance, Levesque et al. - 1994
25 Permissions and obligations (context) - McCarty - 1983
22 Process logic (context) - Pratt - 1979
21 New data models and languages---The challenge (context) - Beeri - 1992
20 A logical framework for active rules (context) - Ludascher, Hamann et al. - 1995
20 volume 68 of Lecture Notes in Computer Science (context) - Harel, Logic - 1979
19 LabFlow-1: a database benchmark for high-throughput workflow.. - Bonner, Shrufi et al. - 1996
18 Stanford Artificial Intelligence Project (context) - McCarthy, actions et al. - 1963
16 Requirements for a deductive query language in the MapBase g.. - Goodman, Rozen et al. - 1994
16 Declarative specification and evaluation of database updates (context) - Chen - 1991
13 Object-oriented cocktail (context) - Bancilhon, logic-programming - 1986
13 or a logic of declarative and procedural knowledge (context) - Bonner, Kifer et al. - 1995
11 Reasoning about indefinite actions - McCarty, van der Meyden - 1992
11 A model based approach to updating databases with incomplete.. (context) - Winslett - 1988
8 Information and Computation (context) - Grahne, Mendelzon et al. - 1995
7 Deductive and object-oriented data languages: A quest for in.. (context) - Kifer - 1995
7 A logical semantics for hypothetical rulebases with deletion - Bonner - 1997
5 Transaction Datalog: a compositional language for transactio.. - Bonner - 1997
5 The power of cooperating transactions (context) - Bonner
3 Intuitionistic deductive databases and the polynomial time h.. - Bonner - 1997
2 Reasoning about action in transaction logic (context) - Bonner, Kifer - 1996
1 A logic for reasoning with inconsistency. Journal of Automat.. (context) - Kifer, Lozinskii - 1992
1 Logic based modelling and analysis of workflows (context) - Davulcu, Kifer et al. - 1997
1 of Logic Programming, 25(1):53--91, October 1995. 50 LOGICS .. (context) - Reiter, database et al. - 1995
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)
Concurrency and Communication in Transaction Logic - Bonner, Kifer (1996) (Correct)
Using Interval Graphs for Solving Map Assembly Problems - Randall (1997) (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