LIPIcs, Volume 48, ICDT 2016
-
Wim Martens and Thomas Zeume
LIPIcs, Volume 48, ICDT'16, Complete Volume
10.4230/LIPIcs.ICDT.2016
-
Wim Martens and Thomas Zeume
Front Matter, Table of Contents, Preface, Conference Organization, External Reviewers, List of Authors
10.4230/LIPIcs.ICDT.2016.0
-
Foto N. Afrati, Claire David, and Georg Gottlob
The ICDT 2016 Test of Time Award Announcement
10.4230/LIPIcs.ICDT.2016.1
-
Floris Geerts
Scale Independence: Using Small Data to Answer Queries on Big Data (Invited Talk)
10.4230/LIPIcs.ICDT.2016.2
-
Yufei Tao
Top-k Indexes Made Small and Sweet (Invited Talk)
10.4230/LIPIcs.ICDT.2016.3
-
David P. Woodruff
New Algorithms for Heavy Hitters in Data Streams (Invited Talk)
10.4230/LIPIcs.ICDT.2016.4
-
Mark Kaminski and Egor V. Kostylev
Beyond Well-designed SPARQL
10.4230/LIPIcs.ICDT.2016.5
-
Anirban Dasgupta, Kevin J. Lang, Lee Rhodes, and Justin Thaler
A Framework for Estimating Stream Expression Cardinalities
10.4230/LIPIcs.ICDT.2016.6
-
Vince Barany, Balder ten Cate, Benny Kimelfeld, Dan Olteanu, and Zografoula Vagena
Declarative Probabilistic Programming with Datalog
10.4230/LIPIcs.ICDT.2016.7
-
Paraschos Koutris, Paul Beame, and Dan Suciu
Worst-Case Optimal Algorithms for Parallel Query Processing
10.4230/LIPIcs.ICDT.2016.8
-
Gaetano Geck, Bas Ketsman, Frank Neven, and Thomas Schwentick
Parallel-Correctness and Containment for Conjunctive Queries with Union and Negation
10.4230/LIPIcs.ICDT.2016.9
-
Serge Abiteboul, Pierre Bourhis, and Victor Vianu
A Formal Study of Collaborative Access Control in Distributed Datalog
10.4230/LIPIcs.ICDT.2016.10
-
Manas R. Joglekar and Christopher M. Ré
It's All a Matter of Degree: Using Degree Information to Optimize Multiway Joins
10.4230/LIPIcs.ICDT.2016.11
-
Benoit Groz, Ezra Levin, Isaac Meilijson, and Tova Milo
Filtering With the Crowd: CrowdScreen Revisited
10.4230/LIPIcs.ICDT.2016.12
-
Christian Konrad
Streaming Partitioning of Sequences and Trees
10.4230/LIPIcs.ICDT.2016.13
-
Pablo Muñoz, Nils Vortmeier, and Thomas Zeume
Dynamic Graph Queries
10.4230/LIPIcs.ICDT.2016.14
-
Diego Calvanese, Magdalena Ortiz, and Mantas Šimkus
Verification of Evolving Graph-structured Data under Expressive Path Constraints
10.4230/LIPIcs.ICDT.2016.15
-
Ognjen Savkovic, Elisa Marengo, and Werner Nutt
Query Stability in Monotonic Data-Aware Business Processes
10.4230/LIPIcs.ICDT.2016.16
-
Dominik D. Freydenberger and Mario Holldack
Document Spanners: From Expressive Power to Decision Problems
10.4230/LIPIcs.ICDT.2016.17
-
Sepehr Assadi, Sanjeev Khanna, Yang Li, and Val Tannen
Algorithms for Provisioning Queries and Analytics
10.4230/LIPIcs.ICDT.2016.18
-
Phokion G. Kolaitis, Reinhard Pichler, Emanuel Sallinger, and Vadim Savenkov
Limits of Schema Mappings
10.4230/LIPIcs.ICDT.2016.19
-
Wojciech Czerwinski, Claire David, Filip Murlak, and Pawel Parys
Reasoning About Integrity Constraints for Tree-Structured Data
10.4230/LIPIcs.ICDT.2016.20
-
Sebastian Arming, Reinhard Pichler, and Emanuel Sallinger
Complexity of Repair Checking and Consistent Query Answering
10.4230/LIPIcs.ICDT.2016.21
-
Markus Kröll, Reinhard Pichler, and Sebastian Skritek
On the Complexity of Enumerating the Answers to Well-designed Pattern Trees
10.4230/LIPIcs.ICDT.2016.22
-
Konstantin Golenberg and Yehoshua Sagiv
A Practically Efficient Algorithm for Generating Answers to Keyword Search Over Data Graphs
10.4230/LIPIcs.ICDT.2016.23