Transaction logic

Transaction logic

Transaction logic is an extension of predicate logic with both declarative and procedural semantics that describe state changes in logic programming over dynamic databases. First proposed in the early 1990s by Anthony J. Bonner and Michael Kifer, transaction logic allows for the amalgamation of features including hypothetical updating, nondeterminism, and artificial intelligence via behaviors of object-oriented databases. [Bonner and Kifer (1995), abstract]

Bonner and Kifer have offered a proof of completeness for a Serial Horn program implementation of transaction logic. [Bonner and Kifer (1995), "6. Proof Theory" and appendix E]

A prototype of transaction logic has been implemented in XSB Prolog. [ftp://ftp.cs.toronto.edu/pub/goku/transaction_logic/XSB/Prototype3/]

References

*Bonner, Anthony J. and Michael Kifer (1995) "Transaction logic programming", Computer Systems Research Institute Technical Report CSRI-323 (revision of CSRI-270 of 1992), University of Toronto.

Notes


Wikimedia Foundation. 2010.

Игры ⚽ Нужна курсовая?

Look at other dictionaries:

  • Logic simulation — is the use of a computer program to simulate the operation of a digital circuit. Logic simulation is the primary tool used for verifying the logical correctness of a hardware design. In many cases logic simulation is the first activity performed… …   Wikipedia

  • Transaction processing system — A Transaction Processing System To be considered a transaction processing system the computer must pass the ACID test.From a technical perspective, a Transaction Processing System (or Transaction Processing Monitor) monitors transaction programs …   Wikipedia

  • Microsoft Transaction Server — (MTS) was software that provided services to Component Object Model (COM) software components, to make it easier to create large distributed applications. The major services provided by MTS were automated transaction management, instance… …   Wikipedia

  • Compensating transaction — The execution of a business process consists of one or more transactions. Each transaction may consist of several individual operations yet, as a whole, it moves the system between consistent states. There are two groups of systems where… …   Wikipedia

  • F-logic — (frame logic) is a knowledge representation and ontology language.It accounts in a declarative fashion for structural aspects of object oriented and frame based languages.Features include, among others, object identity, complex objects,… …   Wikipedia

  • Hegel’s logic and philosophy of mind — Willem deVries LOGIC AND MIND IN HEGEL’S PHILOSOPHY Hegel is above all a systematic philosopher. Awe inspiring in its scope, his philosophy left no subject untouched. Logic provides the central, unifying framework as well as the general… …   History of philosophy

  • Long-lived transaction — A long lived transaction is a transaction that spans multiple database transactions. The transaction is considered long lived because its boundaries must, by necessity of business logic, extend past a single database transaction. A long lived… …   Wikipedia

  • Business Logic — Custom rules or algorithms that handle the exchange of information between a database and user interface. Business logic essentially consists of business rules, which are policies that govern various aspects of a business, and workflows, which… …   Investment dictionary

  • Customised Applications for Mobile networks Enhanced Logic — Customised Applications for Mobile networks Enhanced Logic, or CAMEL (ETSI TS 123 078) for short, is a set of standards designed to work on either a GSM core network or UMTS network. They allow an operator to define services over and above… …   Wikipedia

  • Customised Applications for Mobile networks Enhanced Logic — (Kürzel: CAMEL) ist ein vom Europäischen Institut für Telekommunikationsnormen geschaffener Standard für Mobilkommunikationsnetze. CAMEL ermöglicht erweiterte Funktionen in Mobilnetzen, so zum Beispiel Prepaid Billing im Roaming, das heißt,… …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”