EasyChair Publications
Search
Paper Information
Paper:Vivek Nigam, Limin Jia, Anduo Wang, Boon Thau Loo and Andre Scedrov
An Operational Semantics for Network Datalog
Title:An Operational Semantics for Network Datalog
Authors:Vivek Nigam, Limin Jia, Anduo Wang, Boon Thau Loo and Andre Scedrov
Keyphrases:declarative networking, operational semantics, view maintenance, logic programming
Paper:
Abstract:Network Datalog (<i>NDlog</i>) is a recursive query language that extends Datalog by allowing programs to be distributed in a network. In our initial efforts to formally specify <i>NDlog</i>'s operational semantics, we have found several problems with the current evaluation algorithm being used, including unsound results, unintended multiple derivations of the same table entry, and divergence. In this paper, we make a first step towards correcting these problems by formally specifying a new operational semantics for <i>NDlog</i> and proving its correctness for the fragment of non-recursive programs. We also argue that if termination is guaranteed, then the results also extend to recursive programs. Finally, we identify a number of potential implementation improvements to <i>NDlog</i>.
Volume:Berndt Müller (editor). LAM'10. 3rd International Workshop on Logics, Agents, and Mobility
Series:EPiC Series in Computing
Volume number:7
Pages:68-81
Editors:Berndt Müller
Page views:12
Downloads:14
BibTeX entry:
@inproceedings{LAM10:An_Operational_Semantics_for_Network_Datalog,
  author    = {Vivek Nigam and Limin Jia and Anduo Wang and Boon Thau Loo and Andre Scedrov},
  title     = {An Operational Semantics for Network Datalog},
  booktitle = {LAM'10. 3rd International Workshop on Logics, Agents, and Mobility},
  editor    = {Berndt M\verb=\="uller},
  series    = {EPiC Series in Computing},
  volume    = {7},
  pages     = {68-81},
  year      = {2012},
  publisher = {EasyChair},
  bibsource = {EasyChair, http://www.easychair.org},
  issn      = {2398-7340}}