Maintaining Distributed Recursive Views Incrementally

Simple item page
dc.contributor.authorNigam, Vivek
dc.contributor.authorLoo, Boon Thau
dc.contributor.authorJia, Limin
dc.contributor.authorScedrov, Andre
dc.date2023-05-24T09:51:12.807
dc.date.accessioned2023-05-24T10:01:55Z
dc.date.available2023-05-24T10:01:55Z
dc.date.issued2011-01-01
dc.date.submitted2011-02-08T07:27:51-08:00
dc.description.abstractDistributed 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.
dc.description.commentsUniversity of Pennsylvania Department of Computer and Information Science Technical Report No. MS-CIS-11-06.
dc.identifier.urihttps://repository.upenn.edu/handle/20.500.14332/49810
dc.legacy.articleid1996
dc.legacy.fulltexturlhttps://repository.upenn.edu/cgi/viewcontent.cgi?article=1996&context=cis_reports&unstamped=1
dc.source.issue950
dc.source.journalTechnical Reports (CIS)
dc.source.statuspublished
dc.titleMaintaining Distributed Recursive Views Incrementally
dc.typeReport
digcom.contributor.authorNigam, Vivek
digcom.contributor.authorJia, Limin
digcom.contributor.authorisAuthorOfPublication|email:boonloo@cis.upenn.edu|institution:University of Pennsylvania|Loo, Boon Thau
digcom.contributor.authorisAuthorOfPublication|email:scedrov@math.upenn.edu|institution:University of Pennsylvania|Scedrov, Andre
digcom.identifiercis_reports/950
digcom.identifier.contextkey1770381
digcom.identifier.submissionpathcis_reports/950
digcom.typereport
dspace.entity.typePublication
relation.isAuthorOfPublication6f15ce3e-4317-4f64-87f3-3fa065a51924
relation.isAuthorOfPublication6f15ce3e-4317-4f64-87f3-3fa065a51924
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:
ppdp_tr.pdf
Size:
547.12 KB
Format:
Adobe Portable Document Format
Download
Collection
Reports