Maintaining distributed logic programs incrementally

11 years 8 months ago
Maintaining distributed logic programs incrementally
Distributed logic programming languages, that allow both facts and programs to be distributed among different nodes in a network, have been recently proposed and used to declaratively program a wide-range of distributed systems, such as network protocols and multi-agent systems. However, the distributed nature of the underlying systems poses serious challenges to developing efficient and correct algorithms for evaluating these programs. This paper proposes an efficient asynchronous algorithm to compute incrementally the changes to the states in response to insertions and deletions of base facts. Our algorithm is formally proven to be correct in the presence of message reordering in the system. To our knowledge, this is the first formal proof of correctness for such an algorithm. Categories and Subject Descriptors F.3.2 [Semantics of Programming Languages]: Operational Semantics General Terms Algorithms, Theory, Correctness Keywords Distributed Datalog, Logic Programming, Incrementa...
Vivek Nigam, Limin Jia, Boon Thau Loo, Andre Scedr
Added 27 Sep 2012
Updated 27 Sep 2012
Type Journal
Year 2012
Where CL
Authors Vivek Nigam, Limin Jia, Boon Thau Loo, Andre Scedrov
Comments (0)