Search Document
Property | Value |
Name | Netlog, a Rule-based Language for Distributed Programming |
Description | AbstractWe propose a rule-based language, Netlog, to express distributed applications such as communication protocols or P2P applications in a declarative manner. The language extends Datalog with communication primitives, as well as aggregation and non-deterministic constructs, standard in network applications. Our contribution is twofold. First we dene a sound distributed xpoint semantics, which takes explicitly into account the in-node behavior as well as the communication between nodes, and solves semantic problems raised in declarative networking. Second, we show that syntactic restrictions over the programs can ensure polynomial bounds on the complexity (time and message) of the distributed execution. The language has been implemented and runs over a virtual machine, Netquest, which relies on a DBMS. Netlog programs are partly compiled into SQL queries, which makes them portable over heterogeneous architecture. |
Filename | padl-final.pdf |
Filesize | 472.77 kB |
Filetype | pdf (Mime Type: application/pdf) |
Creator | bobineau |
Created On: | 12/20/2009 10:24 |
Viewers | Everybody |
Maintained by | Author |
Hits | 11 Hits |
Last updated on | 05/22/2013 10:27 |
Homepage | |
CRC Checksum | |
MD5 Checksum |