Proceedings of the 35th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems

Abstract

This year's symposium continues this tradition and continues to explicitly invite for submission papers providing original, substantial contributions in one or more of the following categories: a) Deep theoretical exploration of topical areas central to data management; b) New formal frameworks that aim at providing the basis for deeper theoretical investigation of important emerging issues in data management; and c) Validation of theoretical approaches from the lens of practical applicability in data management. Apart from validating the practical applicability of existing theoretical approaches, submissions in this category are expected to provide a clear message to the database theory community as to which aspects need further theoretical investigation, based on the experimental findings. This volume contains the proceedings of PODS 2017, which include a paper for the keynote address by Susan Davidson (University of Pennsylvania, USA), abstracts based on two invited tutorials by Lise Getoor (University of California Santa Cruz, USA) and Dan Suciu (University of Washington, USA), and 29 contributions that were selected by the Program Committee for presentation at the symposium. In addition, this volume also contains papers from our two "Gems of PODS" speakers, Alon Halevy (Recruit Institute of Technology, USA) and Val Tannen (University of Pennsylvania, USA). The Gems of PODS is an event, started in 2016, where the goal is to promote understanding of past seminal PODS results to the general audience. The Gems of PODS papers were selected by the Gems of PODS committee consisting of Floris Geerts (chair), Christoph Koch and Pierre Senellart. This year, PODS continued with two submission cycles that were introduced two years ago. The first cycle allowed for the possibility for papers to be revised and resubmitted. For the first cycle, 28 papers were submitted, 3 of which were directly selected for inclusion in the proceedings, and 13 were invited for a resubmission after a revision. The quality of most of the revised papers increased substantially with respect to the first submission, and 9 of 13 revised papers were selected for the proceedings. For the second cycle, 73 papers were submitted, 17 of which were selected, resulting in 29 papers selected overall from a total number of 101 submissions. With respect to the three categories mentioned above, of the 101 submissions (resp., 29 accepted papers), 66 (resp., 22) were classified by the authors in category (a), 9 (resp., 1) in category (b), 2 (resp., 0) in category (c), 14 (resp., 4) in categories (a)&(b), 7 (resp., 1) in categories (a)&(c), and 3 (resp., 1) in categories (b)&(c). The authors were asked to select the most appropriate categories for their papers at submission time. An important task for the Program Committee has been the selection of the PODS 2017 Best Paper Award. The committee selected the paper "Dichotomies in Ontology-Mediated Querying with the Guarded Fragment" by Andre Hernich, Carsten Lutz, Fabio Papacchini and Frank Wolter. This year, the Program Committee also selected a PODS 2017 Best Student Paper Award. The following paper is selected. "Tight Space-Approximation Tradeoff for the Multi-Pass Streaming Set Cover Problem" by Sepehr Assadi. On behalf of the committee, we would like to extend our sincere congratulations to the authors! Since 2008, PODS assigns the ACM PODS Alberto O. Mendelzon Test-of-Time Award to a paper or a small number of papers published in the PODS proceedings ten years prior that had the most impact over the intervening decade. This year's committee, consisting of Leonid Libkin (chair) and MosheVardi, selected the following paper. Our warmest congratulations to the authors! "Provenance Semirings" by Todd J. Green, Grigoris Karvounarakis, and Val Tannen. We thank all authors who submitted papers to the symposium.