PODS 2023: Accepted Papers
- Synthesizing nested relational queries from implicit specifications Michael Benedikt, Cécilia Pradic and Christoph Wernhard
- Static Analysis of Graph Database Transformations Sławek Staworko, Iovka Boneva, Benoit Groz, Jan Hidders and Filip Murlak
- Extremal Fitting Problems for Conjunctive Queries Balder Ten Cate, Victor Dalmau, Maurice Funk and Carsten Lutz
- Generative Datalog with Stable Negation Mario Alviano, Matthias Lanzinger, Michael Morak and Andreas Pieris
- Distributed Consistency Beyond Queries Tim Baccaert and Bas Ketsman
- Quantifying the Loss of Acyclic Join Dependencies Batya Kenig and Nir Weinberger
- Bounded Treewidth and the Infinite Core Chase -- Complications and Workarounds toward Decidable Querying Jean-François Baget, Marie-Laure Mugnier and Sebastian Rudolph
- Querying Incomplete Numerical Data: Between Certain and Possibile Answers Marco Console, Leonid Libkin and Liat Peterfreund
- SQL Nulls and Two-Valued Logic Leonid Libkin and Liat Peterfreund
- GPC: A Pattern Calculus for Property Graphs Nadime Francis, Amelie Gheerbrant, Paolo Guagliardo, Leonid Libkin, Victor Marsault, Wim Martens, Filip Murlak, Liat Peterfreund, Alexandra Rogova and Domagoj Vrgoc
- Indexing for Keyword Search with Structured Constraints Shangqi Lu and Yufei Tao
- Conjunctive Regular Path Queries under Injective Semantics Diego Figueira and Miguel Romero
- Differentially Private Data Release over Multiple Tables Badih Ghazi, Xiao Hu, Ravi Kumar and Pasin Manurangsi
- On Optimal Join Sampling and the Hardness of Output-Sensitive Join Algorithms Shiyuan Deng, Shangqi Lu and Yufei Tao
- Conjunctive Queries With Self-Joins, Towards a Fine-Grained Complexity Analysis Nofar Carmeli and Luc Segoufin
- Towards Better Bounds for Finding Quasi-Identifiers Hoa Vu, Quoc-Tung Le, Duy-Hoang Ta and Ryan Hildebrant
- Universal Private Estimators Wei Dong and Ke Yi
- Efficient Computation of Quantiles over Joins Nikolaos Tziavelis, Nofar Carmeli, Wolfgang Gatterbauer, Benny Kimelfeld and Mirek Riedewald
- Node-Differentially Private Estimation of the Number of Connected Components Iden Kalemaj, Sofya Raskhodnikova, Adam Smith and Charalampos Tsourakakis
- Allocating Isolation Levels to Transactions in a Multiversion Setting Brecht Vandevoort, Bas Ketsman and Frank Neven
- Better Differentially Private Approximate Histograms and Heavy Hitters using the Misra-Gries Sketch Christian Lebeda and Jakub Tetek
- Optimal Uncoordinated Unique IDs Peter Dillinger, Martin Farach-Colton, Guido Tagliavini and Stefan Walzer
- Space-Time Tradeoffs for Conjunctive Queries with Access Patterns Hangdong Zhao, Shaleen Deep and Paraschos Koutris
- Guaranteeing the O(AGM/OUT) Runtime for Uniform Sampling and Size Estimation over Joins Kyoungmin Kim, Jaehyun Ha, George Fletcher and Wook-Shin Han
- Probabilistic Query Evaluation: the Combined FPRAS Landscape Timothy van Bremen and Kuldeep S. Meel
- Set Cover in the One-pass Edge-arrival Streaming Model Sanjeev Khanna, Christian Konrad and Cezar Alexandru
- Weighted Minwise Hashing Beats Linear Sketching for Inner Product Estimation Aline Bessa, Majid Daliri, Juliana Freire, Cameron Musco, Christopher Musco, Aécio Santos and Haoxiang Zhang
- Better Cardinality Estimators for HyperLogLog, PCSA, and Beyond Seth Pettie and Dingyu Wang
- Coloring in Graph Streams via Deterministic and Adversarially Robust Algorithms Sepehr Assadi, Amit Chakrabarti, Prantar Ghosh and Manuel Stoeckl
