Technical Reports (CIS)
Document Type
Technical Report
Date of this Version
8-22-2010
Abstract
This paper proposes an algorithm to compute incrementally the changes to distributed recursive database views in response to insertions and deletions of base facts. Our algorithm uses a pipelined semi-näıve (PSN) evaluation strategy introduced in declarative networking. Unlike prior work, our algorithm is formally proven to be correct for recursive query computation in the presence of message reordering in the system. Our proof proceeds in two stages. First, we show that all the operations performed by our PSN algorithm computes the same set of results as traditional centralized semi-näıve evaluation. Second, we prove that our algorithm terminates, even in the presence of cyclic derivations due to recursion.
Recommended Citation
Vivek Nigam, Limin Jia, Boon Thau Loo, and Andre Scedrov, "Maintaining Distributed Recursive Views Incrementally", . August 2010.
Date Posted: 23 August 2010
Comments
University of Pennsylvania Department of Computer and Information Science Technical Report No. MS-CIS-10-26.