Please use this identifier to cite or link to this item:
Title: Logical Aspects of Massively Parallel and Distributed Systems
Authors: NEVEN, Frank 
Issue Date: 2016
Publisher: ACM
Source: Proceedings of the 35th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, ACM,p. 303-314
Abstract: Database research has witnessed a renewed interest for data processing in distributed and parallel settings. While distributed and parallel data management systems have been around for quite some time, it is the rise of cloud computing and the advent of Big Data that presents the community with new challenges. This paper highlights recent research concerning the logical foundations of massively parallel and distributed systems. The first part of the paper concerns massively parallel systems where computation proceeds in a number of synchronized rounds. Here, the focus is on evaluation algorithms for conjunctive queries as well as on reasoning about correctness and optimization of such algorithms. The second part of the paper addresses a distributed asynchronous setting where eventual consistency comes into play. Here, the focus is on coordination-free computation and its relationship to logical monotonicity and Datalog programs.
Document URI:
ISBN: 9781450341912
DOI: 10.1145/2902251.2902307
Rights: (c) 2016 Copyright held by the owner/author(s). Publication rights licensed to ACM
Category: C1
Type: Proceedings Paper
Appears in Collections:Research publications

Files in This Item:
File Description SizeFormat 
  Restricted Access
355.16 kBAdobe PDFView/Open    Request a copy
Show full item record

Page view(s)

checked on May 21, 2022


checked on May 21, 2022

Google ScholarTM



Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.