Virtual partition algorithm in a nested transaction environment and its correctness

Madria, Sanjay; Maheshwari, Sachin; Chandra, B.

doi:10.1016/s0020-0255(01)00111-6

Cited by 1 publication

(1 citation statement)

References 16 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…To prove the correctness of our transaction model, firstly, a set of principles need to be proposed to formalize the concept of correctness in our system, then formal proof need to be provided to show that our transaction process satisfies each of these principles. The proof of correctness may be constructed on the basis of some formal results of logic programming (answer set semantics) as well as the standard automata theory as investigated by Lynch et al and Madria et al [27,28] in classical environments.…”

Section: Discussionmentioning

confidence: 99%

A rule based knowledge transaction model for mobile environments

Chen

Zhang

2006

Information Sciences

View full text Add to dashboard Cite

In this paper, we propose and formalize a rule based knowledge transaction model for mobile environments. Our model integrates the features of both mobile environments and intelligent agents. We use logic programming as a mathematic tool and formal specification method to study knowledge transaction in mobile environments. Our knowledge transaction model has the following major advantages: (1) It can be used for knowledge transaction representation, formalization and knowledge reasoning in mobile environments. (2) It is knowledge oriented and has a declarative semantics inherited from logic programming. (3) It is a formalization that can be applied to general problem domains. We show that our model can be used for knowledge transaction representation, formalization and knowledge reasoning in mobile environments. Crown

show abstract

Section: Discussionmentioning

confidence: 99%