ICDT 2016 March 15-18, 2016 - Bordeaux, France

19th International Conference on Database Theory (ICDT 2016)



Wim Martens and Thomas Zeume (Eds.)
ISBN 978-3-95977-002-6, LIPICS Vol. 48 ISSN 1868-8969
Additional Information
License
Conference Website
Complete volume (PDF, 12 MB)
Search Publication Server

Authors
  • Abiteboul, Serge
  • Afrati, Foto N.
  • Arming, Sebastian
  • Assadi, Sepehr
  • Barany, Vince
  • Beame, Paul
  • Bourhis, Pierre
  • Calvanese, Diego
  • Czerwinski, Wojciech
  • Dasgupta, Anirban
  • David, Claire
  • Freydenberger, Dominik D.
  • Geck, Gaetano
  • Geerts, Floris
  • Golenberg, Konstantin
  • Gottlob, Georg
  • Groz, Benoit
  • Holldack, Mario
  • Joglekar, Manas R.
  • Kaminski, Mark
  • Ketsman, Bas
  • Khanna, Sanjeev
  • Kimelfeld, Benny
  • Kolaitis, Phokion G.
  • Konrad, Christian
  • Kostylev, Egor V.
  • Koutris, Paraschos
  • Kröll, Markus
  • Lang, Kevin J.
  • Levin, Ezra
  • Li, Yang
  • Marengo, Elisa
  • Martens, Wim
  • Meilijson, Isaac
  • Milo, Tova
  • Muñoz, Pablo
  • Murlak, Filip
  • Neven, Frank
  • Nutt, Werner
  • Olteanu, Dan
  • Ortiz, Magdalena
  • Parys, Pawel
  • Pichler, Reinhard
  • Ré, Christopher M.
  • Rhodes, Lee
  • Sagiv, Yehoshua
  • Sallinger, Emanuel
  • Savenkov, Vadim
  • Savkovic, Ognjen
  • Schwentick, Thomas
  • Šimkus, Mantas
  • Skritek, Sebastian
  • Suciu, Dan
  • Tannen, Val
  • Tao, Yufei
  • ten Cate, Balder
  • Thaler, Justin
  • Vagena, Zografoula
  • Vianu, Victor
  • Vortmeier, Nils
  • Woodruff, David P.
  • Zeume, Thomas
    		•

    		  
    Front Matter, Table of Contents, Preface, Conference Organization, External Reviewers, List of Authors
    Authors: Martens, Wim ; Zeume, Thomas

    Abstract | Document (336 KB) | BibTeX

    The ICDT 2016 Test of Time Award Announcement
    Authors: Afrati, Foto N. ; David, Claire ; Gottlob, Georg

    Abstract | Document (320 KB) | BibTeX

    Scale Independence: Using Small Data to Answer Queries on Big Data (Invited Talk)
    Authors: Geerts, Floris

    Abstract | Document (236 KB) | BibTeX

    Top-k Indexes Made Small and Sweet (Invited Talk)
    Authors: Tao, Yufei

    Abstract | Document (217 KB) | BibTeX

    New Algorithms for Heavy Hitters in Data Streams (Invited Talk)
    Authors: Woodruff, David P.

    Abstract | Document (442 KB) | BibTeX

    Beyond Well-designed SPARQL
    Authors: Kaminski, Mark ; Kostylev, Egor V.

    Abstract | Document (599 KB) | BibTeX

    A Framework for Estimating Stream Expression Cardinalities
    Authors: Dasgupta, Anirban ; Lang, Kevin J. ; Rhodes, Lee ; Thaler, Justin

    Abstract | Document (603 KB) | BibTeX

    Declarative Probabilistic Programming with Datalog
    Authors: Barany, Vince ; ten Cate, Balder ; Kimelfeld, Benny ; Olteanu, Dan ; Vagena, Zografoula

    Abstract | Document (589 KB) | BibTeX

    Worst-Case Optimal Algorithms for Parallel Query Processing
    Authors: Koutris, Paraschos ; Beame, Paul ; Suciu, Dan

    Abstract | Document (612 KB) | BibTeX

    Parallel-Correctness and Containment for Conjunctive Queries with Union and Negation
    Authors: Geck, Gaetano ; Ketsman, Bas ; Neven, Frank ; Schwentick, Thomas

    Abstract | Document (581 KB) | BibTeX

    A Formal Study of Collaborative Access Control in Distributed Datalog
    Authors: Abiteboul, Serge ; Bourhis, Pierre ; Vianu, Victor

    Abstract | Document (507 KB) | BibTeX

    It's All a Matter of Degree: Using Degree Information to Optimize Multiway Joins
    Authors: Joglekar, Manas R. ; Ré, Christopher M.

    Abstract | Document (584 KB) | BibTeX

    Filtering With the Crowd: CrowdScreen Revisited
    Authors: Groz, Benoit ; Levin, Ezra ; Meilijson, Isaac ; Milo, Tova

    Abstract | Document (759 KB) | BibTeX

    Streaming Partitioning of Sequences and Trees
    Authors: Konrad, Christian

    Abstract | Document (618 KB) | BibTeX

    Dynamic Graph Queries
    Authors: Muñoz, Pablo ; Vortmeier, Nils ; Zeume, Thomas

    Abstract | Document (565 KB) | BibTeX

    Verification of Evolving Graph-structured Data under Expressive Path Constraints
    Authors: Calvanese, Diego ; Ortiz, Magdalena ; Šimkus, Mantas

    Abstract | Document (1,686 KB) | BibTeX

    Query Stability in Monotonic Data-Aware Business Processes
    Authors: Savkovic, Ognjen ; Marengo, Elisa ; Nutt, Werner

    Abstract | Document (608 KB) | BibTeX

    Document Spanners: From Expressive Power to Decision Problems
    Authors: Freydenberger, Dominik D. ; Holldack, Mario

    Abstract | Document (578 KB) | BibTeX

    Algorithms for Provisioning Queries and Analytics
    Authors: Assadi, Sepehr ; Khanna, Sanjeev ; Li, Yang ; Tannen, Val

    Abstract | Document (614 KB) | BibTeX

    Limits of Schema Mappings
    Authors: Kolaitis, Phokion G. ; Pichler, Reinhard ; Sallinger, Emanuel ; Savenkov, Vadim

    Abstract | Document (549 KB) | BibTeX

    Reasoning About Integrity Constraints for Tree-Structured Data
    Authors: Czerwinski, Wojciech ; David, Claire ; Murlak, Filip ; Parys, Pawel

    Abstract | Document (599 KB) | BibTeX

    Complexity of Repair Checking and Consistent Query Answering
    Authors: Arming, Sebastian ; Pichler, Reinhard ; Sallinger, Emanuel

    Abstract | Document (528 KB) | BibTeX

    On the Complexity of Enumerating the Answers to Well-designed Pattern Trees
    Authors: Kröll, Markus ; Pichler, Reinhard ; Skritek, Sebastian

    Abstract | Document (576 KB) | BibTeX

    A Practically Efficient Algorithm for Generating Answers to Keyword Search Over Data Graphs
    Authors: Golenberg, Konstantin ; Sagiv, Yehoshua

    Abstract | Document (536 KB) | BibTeX

    		  



    DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI