Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 235,505,240 papers from all fields of science
Search
Sign In
Create Free Account
Transaction logic
Transaction Logic is an extension of predicate logic that accounts in a clean and declarative way for the phenomenon of state changes in logic…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
9 relations
Active database
Artificial intelligence
Database
Defeasible reasoning
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
Revisiting optimistic and pessimistic concurrency control
G. Graefe
,
Hewlett Packard
2016
Corpus ID: 35972699
Optimistic concurrency control relies on end-of-transaction validation rather than lock acquisition prior to data accesses…
Expand
2015
2015
Resources Information Management Based on B/S Structure: Design and Implementation
Dinghua He
2015
Corpus ID: 106837177
With the development of information technology, network technology and communication technology, mankind has entered the…
Expand
2013
2013
External Transaction Logic with Automatic Compensations
Ana Sofia Gomes
,
José Júlio Alferes
Computational Logic in Multi-Agent Systems
2013
Corpus ID: 36819396
External Transaction Logic $\mathcal{ETR}$ is an extension of logic programming useful to reason about the behavior of agents…
Expand
2011
2011
A Formal Modeling Method for Grid Workflow Based on Concurrent Transaction Logic
Zhilin Feng
,
Yanming Ye
,
Xiaoming Liu
2011
Corpus ID: 15793836
Grid workflow is an important means to implement the cooperation of resources in the grid and becomes a key alternative to…
Expand
2008
2008
A Web Service Orchestration Model Based on Concurrent Transaction Logic
Yong Wang
,
Li Wang
,
G. Dai
Seventh International Conference on Grid and…
2008
Corpus ID: 16869339
Web services solve the problem of inter-organization business integration and are under a distributed, dynamic, autonomic and…
Expand
2007
2007
Efficient Tabling Mechanisms for Transaction Logic Programs
P. Fodor
arXiv.org
2007
Corpus ID: 27951589
In this paper we present efficient evaluation algorithms for the Horn Transaction Logic (a generalization of the regular Horn…
Expand
Review
1996
Review
1996
Implementation and Performance of Transaction Logic in Prolog
S.K. Hung
1996
Corpus ID: 59728287
Transaction Logic is a recently proposed logic which accounts for state changes in logic programs and databases. With this…
Expand
1996
1996
On the Formalization of Actions Using Transaction Logic
Marcus Vin
,
T. Dos Santos
1996
Corpus ID: 14438771
This work presents TRASYS (Transaction Logic Action System), an action formalization based on Transaction Logic (TR) which…
Expand
1994
1994
METAL: An Object Oriented Metalogic Language
C. Higgins
1994
Corpus ID: 18583199
We describe an approach to object oriented logic programming. Objects are represented as theories and executing a method of an…
Expand
1982
1982
A Horn Clause-like Logic for Specifying Concurrency
L. Monteiro
International Conference on Logic Programming
1982
Corpus ID: 31885410
In this poster we describe the tabling techniques for Sequential and Concurrent Horn Transaction Logic. Horn Transaction Logic is…
Expand