An Operational Semantics for Network Datalog

Simple item page
dc.contributor.authorNigam, Vivek
dc.contributor.authorJia, Limin
dc.contributor.authorLoo, Boon Thau
dc.contributor.authorWang, Anduo
dc.contributor.authorScedrov, Andre
dc.date2023-05-17T03:32:13.000
dc.date.accessioned2023-05-22T13:01:51Z
dc.date.available2023-05-22T13:01:51Z
dc.date.issued2010-01-01
dc.date.submitted2010-02-17T06:54:26-08:00
dc.description.abstractNetwork Datalog (NDlog) is a recursive query language that extends Datalog by allowing programs to be distributed in a network. In our initial efforts to formally specify NDlog’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 NDlog 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 NDlog.
dc.description.commentsUniversity of Pennsylvania Department of Computer and Information Science Technical Report No. MS-CIS-10-09.
dc.identifier.urihttps://repository.upenn.edu/handle/20.500.14332/7885
dc.legacy.articleid1964
dc.legacy.fulltexturlhttps://repository.upenn.edu/cgi/viewcontent.cgi?article=1964&context=cis_reports&unstamped=1
dc.source.issue918
dc.source.journalTechnical Reports (CIS)
dc.source.statuspublished
dc.titleAn Operational Semantics for Network Datalog
dc.typeReport
digcom.identifiercis_reports/918
digcom.identifier.contextkey1149888
digcom.identifier.submissionpathcis_reports/918
digcom.typereport
dspace.entity.typePublication
relation.isAuthorOfPublication6f15ce3e-4317-4f64-87f3-3fa065a51924
relation.isAuthorOfPublication6f15ce3e-4317-4f64-87f3-3fa065a51924
relation.isAuthorOfPublication08abe25d-b2f2-4881-8e8d-6c251497783c
relation.isAuthorOfPublication08abe25d-b2f2-4881-8e8d-6c251497783c
relation.isAuthorOfPublication.latestForDiscovery6f15ce3e-4317-4f64-87f3-3fa065a51924
upenn.schoolDepartmentCenterTechnical Reports (CIS)
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
MS_CIS_10_09_updated_2.8.2011.pdf
Size:
211.36 KB
Format:
Adobe Portable Document Format
Download
Collection
Reports